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