Functional Programming Zulip Chat Archive
Welcome to the Functional Programming Zulip Chat Archive. You can join the chat
Some of the more scary corners of the typesystem are most eagerly taken up by, not pointy-headed academics, but by hairy-chested industrial programmers.
Neuron Zettelkasten app - https://github.com/srid/neuron
Everyone is added to this stream by default. Welcome! :octopus:
Higher-order, no-boilerplate, zero-cost monads
Discussion about Rib, the Haskell static site generator: https://github.com/srid/rib
Stream for managing video calls
Everything Nix related: nixpkgs, NixOS, the Nix language, etc.
Offtopic discussions. From cat pics to your well marbled sous vide steak.
Caterers chatting on Cats.
Cerveau Private Beta testers
Info and news about this Zulip instance
Place for rustaceans to talk about oxidized code
Guaranteed to keep it simplex
with great power comes great responsibility, this is where OO meets FP
A Q&A forum for newcomers to #purescript. Ask questions, and then pass on the knowledge! https://github.com/dwhitney/purescript-book/
Theory and implementation of programming languages
Idris 2 is available! - https://github.com/edwinb/Idris2
The Coq Proof Assistant
Erlang, Elixir, LFE, Gleam, Alpaca, Elchemy etc.
(Cubical) Agda Newbie
Powered by Haskell