[idnefju]

In general I like ML based syntax, but Haskell using type signatures really helps read code easier. Wish other languages would adopt them

[paavohtl]

I 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.