Comment on F*: A general-purpose proof-oriented programming languageparentComments−bmitc1moThat language is basically F#, except for perhaps the performance claims. But F# is definitely not a slow language.−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
That language is basically F#, except for perhaps the performance claims. But F# is definitely not a slow language.
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