Ancestors

Toot

Written by arialdo on 2025-01-06 at 21:44

Current status: reading chapter 6 of Type Driven Development with #Idris.

It is wonderful. Pure joy.

=> More informations about this toot | More toots from arialdo@mastodon.online

Descendants

Written by Dmitrii Kovanikov on 2025-01-06 at 22:01

@arialdo Ah, this looks like a great book, and I want to start reading it soon enough

=> More informations about this toot | More toots from chshersh@functional.cafe

Written by arialdo on 2025-01-07 at 06:39

@chshersh You already have professional experience with Haskell, so you won't find it hard to enjoy.

I could not recommend it more. It's really well written.

If you want to have a taste of the feeling you will get, I could recommend this video series by @edwinb

https://www.youtube.com/watch?v=zSsCLnLS1hg&list=PLV0_vtbiDWQQu_18Utm5YFwV4AgpY1ZhH

There are many more, but I like this in particular.

=> More informations about this toot | More toots from arialdo@mastodon.online

Written by Dmitrii Kovanikov on 2025-01-07 at 11:55

@arialdo @edwinb I actually have experience with Idris too, so I'm pretty sure I'll understand everything and enjoy the read! It's rare I'm so excited about reading a book.

=> More informations about this toot | More toots from chshersh@functional.cafe