3 ms·
So, I have recently been at Zurihac, attended by ~500 people. From what I have seen, there have been roughly 4 groups: * people running their verified-contrac
by a-saleh 7y ago
So, I have recently been at Zurihac, attended by ~500 people.
From what I have seen, there have been roughly 4 groups:
* people running their verified-contracts on blockchain strartups with haskell stack
* people interested in GHC as a compiler (i.e. developing new extensions for their phd theses)
* people doing consulting projects
* people running their company on haskell because they like the stack
Some projects were really interesting, like a a haskell-inspired language that is compiled to VHDL, or various use-cases for Dhall (typesafe alternative to i.e. yaml, that supports functions, but isn't turing complete)
I still have on my todo-list "Do at least one PR for Pandoc!" as that is a haskell project that seems to have nice entry-level issues :)
And I know there are teams in FAANG that use haskell, but I don't think they hire too many people :-)