archives

Programming languages with higher kinds?

Are there languages other than Haskell and Scala that have higher kinded type systems? Does O'Caml count now?

By Steven Shaw II at 2010-10-15 04:23 | LtU Forum | 4 comments | other blogs | 7950 reads