Do you recommend any of the dependently typed languages more over others? | Hacker News

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

		pabs3 on Oct 14, 2022 \| parent \| context \| favorite \| on: Prusti: Static Analyzer for Rust Do you recommend any of the dependently typed languages more over others?

Yoric on Oct 15, 2022 [–]

My experience is stale by now. I'd really like to try recent versions of Idris, though.

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