3 ms·

Is there an online community for this where you can ask questions? E.g. a discord server or an IRC channel?

• nextos 2y ago
  I don't think there's a centralized community for the Little Series. I think this is unfortunate. With a community, some great titles like The Little MLer (typed FP) and A Little Java, a Few Patterns (OOP) would be much better known. I found those two outstanding. I think A Little Java has been reprinted. But last time I checked, The Little MLer was bloody expensive. Standard ML, OCaml and F# need a lot more exposure. They are simple and practical. The Little MLer does a great job introducing the basics. To close the circle, the Little Series is missing a book about concurrent and distributed paradigms à la Erlang. They already have functional programming, typed functional programming, declarative programming, dependent types, theorem proving, object-oriented programming and machine learning.
• soegaard 2y ago
  You are welcome in the Racket Discord. https://discord.com/invite/racket-571040468092321801 https://discord.com/invite/racket-571040468092321801
  • RedNifre 2y ago
    Thank you! I joined, but don't see a place for Pie, so I just asked about it in the beginner channel instead.
• ysangkok 2y ago
  The Gay Haskell discord server has a channel for dependent types. There is also a discord server for Type Theory Forall, a podcast.