Sign in

Higher-Kinded Type

@hktpe.bsky.social
314 followers 152 following 175 posts

blog.rhetoricalmusings.com

PostsRepliesMedia
Higher-Kinded Type @hktpe.bsky.social · 30/09/2026
Do people still use Lombok? Even if they are on Java 17+?
001
Reposted by Higher-Kinded Type
Salar Rahmanian @salarrahmanian.bsky.social · 28/09/2026
📰 New Scala News is out: the August 31, 2026 edition, with dependent types, sbt plugin classpath isolation, an sbt security fix and more. The site's had a refresh too! www.scalanews.net/Archive/2026... cc @scala-lang.org @armanbil.ge @hktpe.bsky.social @eed3si9n.com @jducoeur.bsky.social
scalanews.net
Scala News - August 31, 2026
Scala News for August 31, 2026: 8 articles from Scala bloggers, including "Dependent Types Primer in Scala".
033
Higher-Kinded Type @hktpe.bsky.social · 18/09/2026
It is a bit annoying that Slack does not support syntax highlighting for code blocks
000
Higher-Kinded Type @hktpe.bsky.social · 18/09/2026
Current state of AI: “leaders” playing catch-up with their peers. 😁
000
Higher-Kinded Type @hktpe.bsky.social · 28/08/2026
Not so long ago, you would see some IDE of their choice on every programmer’s screen. These days when you walk around you see their favorite AI on their screen. 🧐
000
Higher-Kinded Type @hktpe.bsky.social · 27/08/2026
Java records are half-a-life-saver. They are great at promoting immutability but they don't support copy method(s) is a bummer. Scala case classes are awesome in that regard.
000
Higher-Kinded Type @hktpe.bsky.social · 19/07/2026
What is there to be proud about presenting AI generated code or document as yours!
000
Higher-Kinded Type @hktpe.bsky.social · 15/07/2026
If you would like a short primer on dependent types blog.rhetoricalmusings.com/posts/dep-ty...
blog.rhetoricalmusings.com
Dependent Types Primer in Scala
A short primer on Dependent Types in Scala. What kinds of problems they solve and how they work. The different types of dependent types - path-dependent, dependent method, and dependent function types...
000
Reposted by Higher-Kinded Type
Matej Cerny @matejcerny.bsky.social · 13/07/2026
What dependent types does #Scala 3 support? This article covers them all plus adds real-world use cases like codecs and database schemas 👇 blog.rhetoricalmusings.com/posts/dep-ty...
blog.rhetoricalmusings.com
Dependent Types Primer in Scala
A short primer on Dependent Types in Scala. What kinds of problems they solve and how they work. The different types of dependent types - path-dependent, dependent method, and dependent function types...
021
Higher-Kinded Type @hktpe.bsky.social · 20/06/2026
I work with hundreds of tables most of which have over 50-100 columns. I work in big data.
000
Higher-Kinded Type @hktpe.bsky.social · 10/06/2026
No matter what you say, I consider checking for environment (isProd or the like) very bad programming style.
110
Higher-Kinded Type @hktpe.bsky.social · 06/06/2026
Whether it is Java or Python or whatever, I would say that the quality and command of the code generated by AI is average. AI may help you generate a beautiful solution to a very targeted scenario or problem.
100
Higher-Kinded Type @hktpe.bsky.social · 30/05/2026
Handling Spring Boot App Shutdown blog.rhetoricalmusings.com/posts/shutdo...
blog.rhetoricalmusings.com
Handling Spring Boot App Shutdown
While I’ve worked on a number of Spring Boot applications, I never had to personally write graceful shutdown code - it was either absent or was already in place. This post, a reference for my future s...
000
Higher-Kinded Type @hktpe.bsky.social · 28/04/2026
You make meaning through the doing
030
Higher-Kinded Type @hktpe.bsky.social · 26/04/2026
If I would pay right now for a feature in Java, it is going to be type name alias; in situations when they are types with same name from different packages. Say, ``` type ShortName = com.blah.blah.blah.MyType ```
000
Higher-Kinded Type @hktpe.bsky.social · 21/04/2026
I had someone stop by my desk, and ask me with awe “are you coding? Why are you not using AI?” It’s the brave new world we live in now.
110
Higher-Kinded Type @hktpe.bsky.social · 16/03/2026
Your Mileage May Vary blog.rhetoricalmusings.com/posts/ymmv/
blog.rhetoricalmusings.com
YMMV
I bought my car over 12 years ago and have tracked every fuel fill-up and mile since day one. For years I relied on spreadsheets to log fuel purchases and mileage. I always felt there should be a simp...
000
Higher-Kinded Type @hktpe.bsky.social · 02/03/2026
Hot take: IDEs and tooling not catching up with Scala 3 features does not bother me. They will catch up sooner or later.
000
Reposted by Higher-Kinded Type
Higher-Kinded Type @hktpe.bsky.social · 24/02/2026
Parsing from scratch blog.rhetoricalmusings.com/posts/parser1/ blog.rhetoricalmusings.com/posts/parser2/ blog.rhetoricalmusings.com/posts/parser3/ blog.rhetoricalmusings.com/posts/parser4/
blog.rhetoricalmusings.com
Parsing from scratch - Part 1
021
Higher-Kinded Type @hktpe.bsky.social · 24/02/2026
Parsing from scratch blog.rhetoricalmusings.com/posts/parser1/ blog.rhetoricalmusings.com/posts/parser2/ blog.rhetoricalmusings.com/posts/parser3/ blog.rhetoricalmusings.com/posts/parser4/
blog.rhetoricalmusings.com
Parsing from scratch - Part 1
021
Reposted by Higher-Kinded Type
noelwelsh.bsky.social @noelwelsh.bsky.social · 16/02/2026
I don't normally post my email newsletter, but I thought this one was a banger: on the dualities between constructor injection, the reader monad, comonads, and effect handlers. If that sounds like your jam: buttondown.com/functionalpr... (Or just grab the book! functionalprogrammingstrategies.com)
functionalprogrammingstrategies.com
Functional Programming Strategies
065
Higher-Kinded Type @hktpe.bsky.social · 15/02/2026
Fun with Parsing blog.rhetoricalmusings.com/posts/parser1/
blog.rhetoricalmusings.com
Parsing from scratch - Part 1 - A Developer's Experience
000
Higher-Kinded Type @hktpe.bsky.social · 06/02/2026
I don’t want to review the code AI writes instead I want AI to review the code I write.
010
Higher-Kinded Type @hktpe.bsky.social · 16/12/2025
The Builder Macro blog.rhetoricalmusings.com/posts/builde...
blog.rhetoricalmusings.com
The Builder Macro
000
Higher-Kinded Type @hktpe.bsky.social · 22/10/2025
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
blog.rhetoricalmusings.com
Type Gymnastics with Builder Pattern - A Developer's Experience
121
Higher-Kinded Type @hktpe.bsky.social · 15/10/2025
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!
blog.rhetoricalmusings.com
Type Gymnastics with Builders - Part 2 - Know Your Limitations - A Developer's Experience
110
Reposted by Higher-Kinded Type
Matej Cerny @matejcerny.bsky.social · 05/10/2025
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...
blog.rhetoricalmusings.com
Type Gymnastics with Builder Pattern - A Developer's Experience
131
Higher-Kinded Type @hktpe.bsky.social · 04/10/2025
Type Gymnastics with Builder Pattern blog.rhetoricalmusings.com/posts/builde...
blog.rhetoricalmusings.com
Type Gymnastics with Builder Pattern
121
Reposted by Higher-Kinded Type
Scala Times @scalatimes.com · 24/09/2025
Scala Times Issue #599 - scalatimes.com/54dc2dfa62
scalatimes.com
Scala Times, weekly Scala newsletter by SoftwareMill
011
Reposted by Higher-Kinded Type
noelwelsh.bsky.social @noelwelsh.bsky.social · 22/09/2025
@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)
scalabridgelondon.org
Learn or improve at programming in a fun and supportive environment
024
Reposted by Higher-Kinded Type
Matej Cerny @matejcerny.bsky.social · 21/09/2025
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...
blog.rhetoricalmusings.com
Understanding Contramap - A Developer's Experience
031
Higher-Kinded Type @hktpe.bsky.social · 21/09/2025
Understanding Contramap blog.rhetoricalmusings.com/posts/contra...
blog.rhetoricalmusings.com
Understanding Contramap
131
Higher-Kinded Type @hktpe.bsky.social · 12/09/2025
A Rogue JSON Parser blog.rhetoricalmusings.com/posts/json-p...
blog.rhetoricalmusings.com
A Rogue JSON Parser - A Developer's Experience
000
Higher-Kinded Type @hktpe.bsky.social · 12/09/2025
Scala Symbols blog.rhetoricalmusings.com/posts/scala-... Did I miss anything?
blog.rhetoricalmusings.com
Scala 2 Symbols - A Developer's Experience
000
Reposted by Higher-Kinded Type
Salar Rahmanian @salarrahmanian.bsky.social · 29/07/2025
📣 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
watch.softinio.com
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 ...
011
Higher-Kinded Type @hktpe.bsky.social · 29/07/2025
Gave a talk in the local Scala meetup watch.softinio.com/w/6T6tpf8U5y...
010
Higher-Kinded Type @hktpe.bsky.social · 25/07/2025
Implementing Top K Frequent Items blog.rhetoricalmusings.com/posts/top-k/
blog.rhetoricalmusings.com
Top K Frequent Items
000
Reposted by Higher-Kinded Type
daniel:// stenberg:// @bagder.mastodon.social.ap.brid.gy · 15/07/2025
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: github.com/curl/curl/discussions/17…
github.com
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...
0419
Higher-Kinded Type @hktpe.bsky.social · 26/06/2025
TimedBufferedReader in Java blog.rhetoricalmusings.com/posts/buf-re...
blog.rhetoricalmusings.com
TimedBufferedReader in Java - A Developer's Experience
000
Higher-Kinded Type @hktpe.bsky.social · 25/06/2025
If you know Scala, you know Kotlin; or vice versa! blog.rhetoricalmusings.com/posts/scala-...
blog.rhetoricalmusings.com
If you know Scala, you know Kotlin - A Developer's Experience
000
Higher-Kinded Type @hktpe.bsky.social · 26/05/2025
Fresh off the press. Guest post by @bahuljain - A world without types - Part 3. blog.rhetoricalmusings.com/posts/types-3/
blog.rhetoricalmusings.com
A world without types - Part 3 - A Developer's Experience
010
Higher-Kinded Type @hktpe.bsky.social · 14/05/2025
The static type of this type is dynamic - Anders Hejlsberg (Nostalgic C# 4 days)
000
Reposted by Higher-Kinded Type
noelwelsh.bsky.social @noelwelsh.bsky.social · 13/05/2025
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)
scalawithcats.com
Functional Programming Strategies in Scala with Cats
083
Higher-Kinded Type @hktpe.bsky.social · 11/05/2025
Fantastic discussion, lot of great points. Thank you @rockthejvm.com and @runarorama.bsky.social www.youtube.com/watch?v=kK4v...
youtube.com
Rúnar Bjarnason on Unison, Scala, Distributed Systems and Delightful Programming
051
Higher-Kinded Type @hktpe.bsky.social · 10/05/2025
I don’t understand anything I can’t build - Richard Feyman Very true for a lot of engineers!
000
Higher-Kinded Type @hktpe.bsky.social · 09/05/2025
Alright, it’s my turn! Scala 3.7.0 released! 🚀 scala-lang.org/news/3.7.0/
scala-lang.org
Scala 3.7.0 released! | The Scala Programming Language
011
Reposted by Higher-Kinded Type
Francesco Serra @isomorphicdude.bsky.social · 09/05/2025
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.com
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.
031
Higher-Kinded Type @hktpe.bsky.social · 05/05/2025
But it’s a key!
000
Higher-Kinded Type @hktpe.bsky.social · 04/05/2025
First they preached OOP now they have started preaching DOP (data oriented programming), which I feel is such a cringe term.
011
Reposted by Higher-Kinded Type
Wes Bos @wesbos.com · 01/05/2025
I'm a Bracket Engineer! Released a web app to generate custom 3D Printed power brick brackets. bracket.engineer
16738