I've written code with dependently typed languages. It's very powerful, but it r... | Hacker News

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

		Yoric on Oct 13, 2022 \| parent \| context \| favorite \| on: Prusti: Static Analyzer for Rust I've written code with dependently typed languages. It's very powerful, but it really is time-consuming. That won't be appropriate for all developments/developers.

pabs3 on Oct 14, 2022 [–]

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.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact