Idris and Lean have a similar advantage; once you get past the general notation,... | Hacker News

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

		ykonstant on Sept 13, 2024 \| parent \| context \| favorite \| on: Why Haskell? Idris and Lean have a similar advantage; once you get past the general notation, the code syntax is very smooth and easy to follow.

tkz1312 on Sept 14, 2024 [–]

Totally. ML style syntax is just so much cleaner than the curly braces / semicolon orthodoxy.

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