Hacker News new | ask | show | jobs
by ernst_klim 2829 days ago
>only two implementations exist that are anywhere near "practical"

Out of curiosity, why F* or Idris are not practical?
1 comments
KirinDave 2829 days ago
F* and Idris are precisely the ones I had in mind, although I guess you could make an argument for Agda.

What did you think I was imagining? I can only name 5 DT languages off the top of my head.

link
ernst_klim 2829 days ago
So, why are they not practical in your opinion?
link