Functional Programming Zulip Chat Archive

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

4898 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.
1687 messages
General
Everyone is added to this stream by default. Welcome! :octopus: (See #META for more info)
1589 messages
Neuron
Neuron Zettelkasten app - https://github.com/srid/neuron
1206 messages
Polysemy
Higher-order, no-boilerplate, zero-cost monads
633 messages
Rib
Discussion about Rib, the Haskell static site generator: https://github.com/srid/rib
521 messages
Nix
Everything Nix related: nixpkgs, NixOS, the Nix language, etc.
417 messages
VideoChat
Stream for managing video calls
236 messages
Random
Offtopic discussions. From cat pics to your well marbled sous vide steak.
116 messages
Algebra Driven Design
[READ ME FIRST](https://docs.google.com/document/d/10nv07KW3Cqx3xIB3_KDJvTBwo6oheCCBJNmKTkZ4NHU/edit?usp=sharing)
115 messages
115 messages
Category Theory
Caterers chatting on Cats.
90 messages
PureScript
purescript.org
8 messages
Announcements
Info and news about this Zulip instance
5 messages
5 messages
Rust
Place for rustaceans to talk about oxidized code
5 messages
5 messages
F#
Fsharp
1 messages
Type Theory
Guaranteed to keep it simplex
1 messages
Elm
elm-lang.org/
Scala
with great power comes great responsibility, this is where OO meets FP
Sandbox
It's sandbox
PureScript Beginners
A Q&A forum for newcomers to #purescript. Ask questions, and then pass on the knowledge! https://github.com/dwhitney/purescript-book/
Programming Languages
Theory and implementation of programming languages
OCaml
https://ocaml.org/
Nim
nim-lang
Idris
Idris 2 is available! - https://github.com/edwinb/Idris2
HaskellMAD (ES)
HaskellMAD chat (EspaƱol)
Coq
The Coq Proof Assistant
Biparsing
https://github.com/BebeSparkelSparkel/biparsing
BEAM Languages
Erlang, Elixir, LFE, Gleam, Alpaca, Elchemy etc.
Agda
(Cubical) Agda Newbie