Comment on F*: A general-purpose proof-oriented programming languageparentComments−grndn1moMatthew Crews has a done a number of videos on high-performance F# and there are some things you can do that give a big boost over the default coding approach.Why F# for Performance -- https://www.youtube.com/watch?v=EIBRoNEpg6cF# for Performance-Critical Code -- https://www.youtube.com/watch?v=NZ5Lwzrdoe8
Comments
Matthew Crews has a done a number of videos on high-performance F# and there are some things you can do that give a big boost over the default coding approach.
Why F# for Performance -- https://www.youtube.com/watch?v=EIBRoNEpg6c
F# for Performance-Critical Code -- https://www.youtube.com/watch?v=NZ5Lwzrdoe8