Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
I put this together but i'm just a student myself. I have a background in application development mostly through the Clojure community. I'm hoping to finally be able to speak type theory with ppl on some level.
Hey, I'm an undergrad student and tutor. No real background in dev yet, I'd consider myself an early intermediate haskeller
Hello all! o/ I'm a web developer, typically using Ruby at work and Elixir for fun. I recently started playing with Haskell, and I'm really enjoying the experience. Looking forward to diving into this book with all of you.
Hi all! My name is Rashad. I'm an intermediate Haskeller and I'm looking forward to going through this book with y'all. The Sunday time works perfectly for me.
Hi I'm Eric. I'm a beginner Haskeller. I've a few false starts through the years and I'm working through the Haskell Book now. I'm really excited to dive deep into Algebraic design.
Hi! I've been writing haskell professionally for about a year. I binged _Algebra Driven Design_ a few weekends ago and am looking forward to a detailed pass.
Hi, I am Ahmed. Complete noob at Haskell, mostly just read stuff about it online (and functional programming in general). I am looking forward to diving into the _Algebra Driven Design_ book
Hi, I'm Christian; I've worked professionally with Haskell (with @Fintan Halpenny and Sandy), currently picking up Clojure and working on compilers and transpilers. My interests lie around provably correct software, starting from formal methods en passant by advanced testing techniques all the way to, apparently, Algebra Driven Design ;)
Hey @Christian Lavoie !! Good to see you :)
Likewise Fintan, glad to hear from you :)
Hey @Christian Lavoie , when you say your “interests lie around provably correct software, starting from formal methods,” does it include program derivation a la Bird-Meertens?
Haven't had any luck with program derivation in general, tbh. I also tend to look more into real world (aka "painfully messy") software than academic, and I haven't found good examples of program derivation that have enough breadth :/
Hi, I'm Sandy!
And I'm an Algebra-holic