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

Does Elixir's Set-theoretic Types support declaring restricted subset of types for modelling purposes as often done by ML programmers? The "Type-Oriented Programming" or "Domain-driven Design"?


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

Search: