3 ms·
Since syntax of F* looks okay to me, I am curious what particular points of syntax of F* you find terrible to read and write.
by sanxiyn 6y ago
Since syntax of F* looks okay to me, I am curious what particular points of syntax of F* you find terrible to read and write.
- idnefju 6y agoIn general I like ML based syntax, but Haskell using type signatures really helps read code easier. Wish other languages would adopt them
- paavohtl 6y agoI don't understand this critique with regards to F*. As far as I can tell it has a type signature syntax that is very similar to Haskell, and is used extensively in the linked tutorial.