Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Are Haskell, Purescript and Scala the only languages used in production with higher-kinded types? Not sure if C++ templates count :big_smile:
I heard Idris was used in a few companies?
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
agda is also technically used - in one place, afaik - IOHK
TheMatten said:
oops, missed this msg
One more option may be https://github.com/koka-lang/koka, but once again, it's more of a research language
Are Haskell, Purescript and Scala the only languages used in production with higher-kinded types? Not sure if C++ templates count :big_smile:
I heard Idris was used in a few companies?
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
agda is also technically used - in one place, afaik - IOHK
TheMatten said:
oops, missed this msg
One more option may be https://github.com/koka-lang/koka, but once again, it's more of a research language