3 ms·

If the author really wants Dependent Haskell to be the future, maybe he should use Pyhon and JavaScript speak to spread concepts. A world with little handles a

• Sharlin 7y ago
  The title notwithstanding, this article is definitely aimed at Haskellers, or at least people who have more than rudimentary knowledge of Haskell and type systems. Anyway, it's rather difficult to talk about advanced type systems in terms of languages that have no type system at all :)