Hacker News new | ask | show | jobs
by RedNifre 636 days ago
Is there an online community for this where you can ask questions? E.g. a discord server or an IRC channel?
3 comments

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.

You are welcome in the Racket Discord.

https://discord.com/invite/racket-571040468092321801

Thank you! I joined, but don't see a place for Pie, so I just asked about it in the beginner channel instead.
The Gay Haskell discord server has a channel for dependent types. There is also a discord server for Type Theory Forall, a podcast.