Functional Programming Zulip Chat Archive

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

6970 messages
Haskell
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.
2369 messages
General
Everyone is added to this stream by default. Welcome! :octopus: (See #META for more info)
1620 messages
Neuron
Stream closed; See https://neuron.zettel.page/ for discussion options
1422 messages
Polysemy
Higher-order, no-boilerplate, zero-cost monads
649 messages
Nix
Everything Nix related: nixpkgs, NixOS, the Nix language, etc.
633 messages
Rib
Discussion about Rib, the Haskell static site generator: https://github.com/srid/rib
488 messages
VideoChat
Stream for managing video calls
173 messages
Category Theory
Caterers chatting on Cats.
148 messages
PureScript
purescript.org
136 messages
116 messages
Algebra Driven Design
[READ ME FIRST](https://docs.google.com/document/d/10nv07KW3Cqx3xIB3_KDJvTBwo6oheCCBJNmKTkZ4NHU/edit?usp=sharing)
79 messages
Hacker Log
Want to write a log of your programming related (but necessarily FP) learning / experiments? Use this stream!
35 messages
Rust
Place for rustaceans to talk about oxidized code
22 messages
F#
Fsharp
12 messages
12 messages
Agda
(Cubical) Agda Newbie
10 messages
Type Theory
Guaranteed to keep it simplex
9 messages
8 messages
Announcements
Info and news about this Zulip instance
1 messages
Elm
elm-lang.org/
in other words
A higher-order effect system where the sky's the limit
Scala
with great power comes great responsibility, this is where OO meets FP
Sandbox
It's sandbox
PureScript Beginners
This stream is archived. See #Purescript instead.
Programming Languages
Theory and implementation of programming languages
OCaml
https://ocaml.org/
Nim
nim-lang
Lisp and friends
Parenthetical languages and their derivatives
Idris Beginners
Idris Beginners
Idris
Idris 2 is available! - https://github.com/edwinb/Idris2
HaskellMAD (ES)
HaskellMAD chat (Español)
Hask
Tiny little Haskell impl: https://github.com/TheMatten/hask
Coq
The Coq Proof Assistant
Biparsing
https://github.com/BebeSparkelSparkel/biparsing
BEAM Languages
Erlang, Elixir, LFE, Gleam, Alpaca, Elchemy etc.
ADD
foobar