Hacker News new | past | comments | ask | show | jobs | submit login

What type system do you have in mind? Haskell?



Haskell is a start but I was thinking of a system with dependent types such as Coq, Agda or Idris.




Registration is open for Startup School 2019. Classes start July 22nd.

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

Search: