Higher-Kinded Type
banner
hktpe.bsky.social
Higher-Kinded Type
@hktpe.bsky.social
Enjoy this multi-part series on builder pattern in Scala.

Intro to Builder Pattern
blog.rhetoricalmusings.com/posts/builder1

Know Your Limitations
blog.rhetoricalmusings.com/posts/builder2

Errors Are UX Too
blog.rhetoricalmusings.com/posts/builder3
Type Gymnastics with Builder Pattern - A Developer's Experience
blog.rhetoricalmusings.com
October 22, 2025 at 6:17 AM
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
October 15, 2025 at 1:41 AM
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
October 5, 2025 at 6:24 PM
Type Gymnastics with Builder Pattern
blog.rhetoricalmusings.com/posts/builde...
Type Gymnastics with Builder Pattern
blog.rhetoricalmusings.com
October 4, 2025 at 3:59 PM
Reposted by Higher-Kinded Type
Scala Times Issue #599 - scalatimes.com/54dc2dfa62
Scala Times, weekly Scala newsletter by SoftwareMill
scalatimes.com
September 24, 2025 at 5:34 AM
Reposted by Higher-Kinded Type
@scalabridgelondon.bsky.social is back in October! Here's the projects we'll be working on:

www.scalabridgelondon.org/projects/

Sign up for your choice here:

docs.google.com/forms/d/e/1F...

(All the details and much more on our website www.scalabridgelondon.org)
Learn or improve at programming in a fun and supportive environment
www.scalabridgelondon.org
September 22, 2025 at 4:13 PM
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
September 21, 2025 at 4:37 PM
Understanding Contramap
blog.rhetoricalmusings.com
September 20, 2025 at 11:03 PM
A Rogue JSON Parser - A Developer's Experience
blog.rhetoricalmusings.com
September 12, 2025 at 5:01 PM
Scala Symbols
blog.rhetoricalmusings.com/posts/scala-...

Did I miss anything?
Scala 2 Symbols - A Developer's Experience
blog.rhetoricalmusings.com
September 12, 2025 at 5:00 PM
Reposted by Higher-Kinded Type
📣 The recording of the awesome talk at our last
#BayAreaScala #SFScala is now available:

👉 Securing sensitive data in logs like a pro By @hktpe.bsky.social Vivek Ragunathan & Bahul Jain 👈

watch.softinio.com/w/6T6tpf8U5y...

An elegant solution thanks to #Scala #FunctionalProgramming
Securing sensitive data in logs like a pro By Vivek Ragunathan & Bahul Jain
Securing sensitive data in logs like a pro By Vivek Ragunathan & Bahul Jain Logging is vital for system observability and debugging, but writing sensitive data to logs poses several challenges ...
watch.softinio.com
July 29, 2025 at 8:43 PM
Gave a talk in the local Scala meetup

watch.softinio.com/w/6T6tpf8U5y...
July 29, 2025 at 10:15 PM
Implementing Top K Frequent Items
blog.rhetoricalmusings.com/posts/top-k/
Top K Frequent Items
blog.rhetoricalmusings.com
July 25, 2025 at 5:53 PM
Reposted by Higher-Kinded Type
We want to collect fun, exciting, or interesting stories that involve curl and people using curl. From everyone and anyone. For curl's **10,000 days** celebration that is coming up.

Share your story here:

https://github.com/curl/curl/discussions/17930
curl turns 10,000 days · curl curl · Discussion #17930
On August 5 2025, it is exactly 10,000 days since March 20 1998 when the first curl release was done. For this occasion we want to collect fun, exciting, or interesting stories that involve curl an...
github.com
July 15, 2025 at 9:19 AM
TimedBufferedReader in Java - A Developer's Experience
blog.rhetoricalmusings.com
June 26, 2025 at 9:56 PM
If you know Scala, you know Kotlin; or vice versa!

blog.rhetoricalmusings.com/posts/scala-...
If you know Scala, you know Kotlin - A Developer's Experience
blog.rhetoricalmusings.com
June 25, 2025 at 9:27 PM
Fresh off the press. Guest post by @bahuljain - A world without types - Part 3.

blog.rhetoricalmusings.com/posts/types-3/
A world without types - Part 3 - A Developer's Experience
blog.rhetoricalmusings.com
May 26, 2025 at 9:12 PM
The static type of this type is dynamic - Anders Hejlsberg (Nostalgic C# 4 days)
May 14, 2025 at 2:44 AM
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)
May 13, 2025 at 2:29 PM
Fantastic discussion, lot of great points. Thank you @rockthejvm.com and @runarorama.bsky.social
www.youtube.com/watch?v=kK4v...
Rúnar Bjarnason on Unison, Scala, Distributed Systems and Delightful Programming
www.youtube.com
May 11, 2025 at 7:04 AM
I don’t understand anything I can’t build - Richard Feyman

Very true for a lot of engineers!
May 10, 2025 at 6:57 PM
Alright, it’s my turn! Scala 3.7.0 released! 🚀
scala-lang.org/news/3.7.0/
Scala 3.7.0 released! | The Scala Programming Language
scala-lang.org
May 9, 2025 at 12:04 PM
Reposted by Higher-Kinded Type
Last night's @scalabridgelondon.bsky.social's session was lots of fun, working with @hktpe.bsky.social on github.com/creativescal...
Come along and join us if you want to learn or improve your Scala-foo with interesting projects
GitHub - creativescala/krop: A simple and functional web service library
A simple and functional web service library. Contribute to creativescala/krop development by creating an account on GitHub.
github.com
May 9, 2025 at 11:27 AM
But it’s a key!
May 5, 2025 at 1:10 AM
First they preached OOP now they have started preaching DOP (data oriented programming), which I feel is such a cringe term.
May 4, 2025 at 7:28 PM