How Does Your Business/Employer Contribute Back To Haskell?

I know about these financial contributions to the Haskell Foundation…

IOHK - $125,000
GitHub - $70,000 *Note: This contribution is earmarked for GHC developer support
Well Typed - $25,000
Mercury - $12,000
Flipstone - $20,000
Tweag - $25,000
Obsidian - $25,000
EMQ - $25,000
Digtal Asset - $70,000
Exfreight - $25,000
TripShot - $10,000
HERP - $10,000

I believe Serokell is paying 3 people to work on dependent types for Haskell.
https://serokell.io/blog/developing-ghc-for-a-living

…That made me wonder in what ways other companies are contributing back to Haskell?

2 Likes

Tweag pays me to continue my Haskell research, provide leadership in the Haskell sphere, and work on GHC. We also have several other employees working on open contributions to GHC, including @TerrorJack’s work on Asterius (now aided by Norman Ramsey), Arnaud Spiwack and Krzysztof Gogolewski’s (aka monoidal) work on linear types and other GHC activities, intern Jeff Young’s (aka doyougnu) work on optimizing GHC runtimes, intern Sam Derbyshire’s (aka sheaf) work in GHC’s type checker, @facundominguez’s work on implementing -XQualifiedDo, Dominic Steinitz (aka idontgetoutmuch) and Leo Markert’s work (with collaborators) on the new random, and probably others that I’ve missed.

Tweag also was instrumental in forming the ideas that eventually became the Haskell Foundation: https://www.tweag.io/blog/2021-03-26-haskell-foundation-backstory/.

Though definitely not a company, I also want to highlight that the US’s National Science Foundation has been generous in offering grants for Haskell-related research. The linked grants https://www.nsf.gov/awardsearch/showAward?AWD_ID=1703835 and https://www.nsf.gov/awardsearch/showAward?AWD_ID=1704041 were directly about developing the design and implementation of dependent types in GHC.

5 Likes

IOG/IOHK has a few full time employees working on GHC, GHCJS, and haskell.nix, and similar tooling. That includes @hsyl20, Luite, Josh, Hamish, and me for now; and will likely grow a bit. Work has included items like:

  • making GHC capable of cross compiling to windows
  • ghc-bignum
  • aarch64 native codegen backends for ELF and Mach-O
  • adding unboxed tuple and sum support to ghc’s interpreter
  • helping with darwin issues
  • untangling ghc, and making plugins work in ghc (ongoing)
  • merging ghcjs into ghc (ongoing)
  • designing and building haskell.nix, glue to make cabal and stack projects (relatively easy) consumable by nix; with extensive cross compilation support (based on nixpkgs cross compilation support).

I’m also running a cardano stake pool (ZW3RK), to fund a bunch of CI machines for GHC. This includes right now 5 linux machines, 3 m1 mac minis, and 2 windows build machines.

4 Likes

FP Complete: made Stack, released open source, maintained for years.

5 Likes