HKTs - Haskell

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

TheMatten

Are Haskell, Purescript and Scala the only languages used in production with higher-kinded types? Not sure if C++ templates count :big_smile:

Luc Tielen

I heard Idris was used in a few companies?

TheMatten

Hmm, I guess it was for some very specific purposes though - I think it's fair to ignore languages used for theorem proving in this case

Georgi Lyubenov // googleson78

agda is also technically used - in one place, afaik - IOHK

Georgi Lyubenov // googleson78

TheMatten said:

Hmm, I guess it was for some very specific purposes though - I think it's fair to ignore languages used for theorem proving in this case

oops, missed this msg

TheMatten

One more option may be https://github.com/koka-lang/koka, but once again, it's more of a research language

Koka language compiler and interpreter. Contribute to koka-lang/koka development by creating an account on GitHub.