In general I like ML based syntax, but Haskell using type signatures really help... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		idnefju on Jan 4, 2021 \| parent \| context \| favorite \| on: Verified Programming in F*: A Tutorial In general I like ML based syntax, but Haskell using type signatures really helps read code easier. Wish other languages would adopt them

paavohtl on Jan 4, 2021 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact