|
|
|
|
|
|
by mcguire
3337 days ago
|
|
|
For some extra dependently typed fun, check out ATS and Dafny. ATS is aimed at system programming, and if you think Idris has a steep learning curve, you'll need belaying for ATS. And, the language is horrible. But it's really mind expanding to see it in action. Dafny is a really basic language with support for Hoare/Dijkstra verification. It's completely unlike the type system model. |
|
|