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.
Everyone is added to this stream by default. Welcome! :octopus: (See #META for more info)
Stream closed; See https://neuron.zettel.page/ for discussion options
Higher-order, no-boilerplate, zero-cost monads
Everything Nix related: nixpkgs, NixOS, the Nix language, etc.
Discussion about Rib, the Haskell static site generator: https://github.com/srid/rib
Stream for managing video calls
Caterers chatting on Cats.
Algebra Driven Design
[READ ME FIRST](https://docs.google.com/document/d/10nv07KW3Cqx3xIB3_KDJvTBwo6oheCCBJNmKTkZ4NHU/edit?usp=sharing)
Want to write a log of your programming related (but necessarily FP) learning / experiments? Use this stream!
Place for rustaceans to talk about oxidized code
(Cubical) Agda Newbie
Guaranteed to keep it simplex
Info and news about this Zulip instance
in other words
A higher-order effect system where the sky's the limit
with great power comes great responsibility, this is where OO meets FP
This stream is archived. See #Purescript instead.
Theory and implementation of programming languages
Lisp and friends
Parenthetical languages and their derivatives
Idris 2 is available! - https://github.com/edwinb/Idris2
HaskellMAD chat (Español)
Tiny little Haskell impl: https://github.com/TheMatten/hask
The Coq Proof Assistant
Erlang, Elixir, LFE, Gleam, Alpaca, Elchemy etc.
Powered by Haskell
| Questions? Contact