Higher-Kinded Type
banner
hktpe.bsky.social
Higher-Kinded Type
@hktpe.bsky.social
310 followers 150 following 150 posts
https://blog.rhetoricalmusings.com
Posts Media Videos Starter Packs
Dear friend, Morgen Peschke, dives to the depths of the builder pattern in this multi-part guest series on my blog: blog.rhetoricalmusings.com/posts/builde...

Give it a read, it's good stuff!
Type Gymnastics with Builders - Part 2 - Know Your Limitations - A Developer's Experience
blog.rhetoricalmusings.com
Reposted by Higher-Kinded Type
In Scala, if you like the builder pattern, you can ensure the build method is available only when all mandatory fields are populated, though it involves a lot of boilerplate. #scala blog.rhetoricalmusings.com/posts/builde...
Type Gymnastics with Builder Pattern - A Developer's Experience
blog.rhetoricalmusings.com
Reposted by Higher-Kinded Type
There's a good chance you have already used contramap (e.g. when creating a Circe encoder), but understanding the concept can be challenging. This article explains it using a practical example. #scala blog.rhetoricalmusings.com/posts/contra...
Understanding Contramap - A Developer's Experience
blog.rhetoricalmusings.com
The static type of this type is dynamic - Anders Hejlsberg (Nostalgic C# 4 days)
Reposted by Higher-Kinded Type
I'm giving this workshop at Scala Days, which will cover most of the techniques I've learned over the last 15 years of building software in typed FP.

Happy to answer any questions about the workshop (which will draw from the book I'm writing: scalawithcats.com)
I don’t understand anything I can’t build - Richard Feyman

Very true for a lot of engineers!
Thanks for fixing the gradle debugging issue