[Haskell-cafe] linear and dependent types

Dan Doel dan.doel at gmail.com
Sat Feb 19 14:03:43 CET 2011


On Saturday 19 February 2011 1:11:23 AM Vasili I. Galchin wrote:
>  BTW I was thinking of http://www.ats.org when I asked this question.

Technically speaking, if one considers ATS to be dependently typed, then one 
might as well also consider GHC to be dependently typed (with the right 
extensions enabled). ATS would easily be a nicer language in that respect, 
though.

-- Dan



More information about the Haskell-Cafe mailing list