Well-Typed
Well-Typed
Well-Typed are a software consultancy company that want to help make Haskell great! We aim to build and maintain a strong Haskell community and an excellent software development platform.
We support companies that are already using Haskell, and help and encourage companies moving to Haskell. We provide application development, library and tool maintenance, project advice, and training.
-
Teaching Haskell...To High Schoolers!
Featuring Rohan Mehta
The story of a high school student who organized the Paradigm Conference — a conference hosted by a team of high schoolers from around the world, completely for high schoolers and all about FP programming languages that are underrepresented in high school CS curriculums.
software-development learning functional-programming haskell -
Teaching Haskell...To High Schoolers!
Featuring Rohan Mehta
The story of a high school student who organized the Paradigm Conference — a conference hosted by a team of high schoolers from around the world, completely for high schoolers and all about FP programming languages that are underrepresented in high school CS curriculums.
software-development learning functional-programming haskell -
Haskell and Category Theory at Vodafone
Featuring Rob Harrison
We're using Haskell to revolutionise Vodafone's invoice verification and saving millions of Euros in the process. We use parallel and auto-scaling infrastructure to deliver results quicker and more importantly safer.
parallel-processing auto-scaling category-theory software-development haskell-in-industry safety financial-transactions haskell -
Live Coding a Roguelike Game
Featuring Michał J. Gajda
Michal J Gajda shares a simple way to do live coding and event sourcing for the development of a game using Haskell. This method is the product of a long effort to reduce the effort and complexity of debugging and writing interactive software, and it is recommended for all Haskell beginners!
software-development event-sourcing roguelike game-development haskell -
Should I Build My Project with rules_haskell?
Featuring Georgi Lyubenov
Has your project outgrown cabal-install or stack? Do your Haskell builds need precise integration with other build systems? Learn when rules_haskell might be the right choice for you.
software-development build-system bazel haskell -
How We Haskell: Enterprise Edition
Featuring Trevis Elser
For teams using Haskell in enterprise, the story doesn't stop at adoption. This talk looks at questions these teams may face: What choices are being made to facilitate mainstream development? What are the pain points? What tools are used? Do enterprise organizations expect things that are...
software-development haskell-ecosystem haskell -
Haskell and Category Theory at Vodafone
Featuring Rob Harrison
We're using Haskell to revolutionise Vodafone's invoice verification and saving millions of Euros in the process. We use parallel and auto-scaling infrastructure to deliver results quicker and more importantly safer.
software-development haskell financial-transcations safety haskell-in-industry category-theory auto-scaling parallel-processing -
Live Coding a Roguelike Game
Featuring Michał J. Gajda
Michal J Gajda shares a simple way to do live coding and event sourcing for the development of a game using Haskell. This method is the product of a long effort to reduce the effort and complexity of debugging and writing interactive software, and it is recommended for all Haskell beginners!
software-development event-sourcing game-development roguelike haskell
