Higher-Kinded Type
@hktpe.bsky.social
📤 312
📥 152
📝 162
https://blog.rhetoricalmusings.com
You make meaning through the doing
add a skeleton here at some point
26 days ago
0
3
0
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 ```
27 days ago
0
0
0
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.
about 1 month ago
1
1
0
Your Mileage May Vary
blog.rhetoricalmusings.com/posts/ymmv/
loading . . .
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...
https://blog.rhetoricalmusings.com/posts/ymmv/
2 months ago
0
0
0
Hot take: IDEs and tooling not catching up with Scala 3 features does not bother me. They will catch up sooner or later.
3 months ago
0
0
0
reposted by
Higher-Kinded Type
Parsing from scratch
blog.rhetoricalmusings.com/posts/parser1/
blog.rhetoricalmusings.com/posts/parser2/
blog.rhetoricalmusings.com/posts/parser3/
blog.rhetoricalmusings.com/posts/parser4/
loading . . .
Parsing from scratch - Part 1
https://blog.rhetoricalmusings.com/posts/parser1/
3 months ago
0
2
1
Parsing from scratch
blog.rhetoricalmusings.com/posts/parser1/
blog.rhetoricalmusings.com/posts/parser2/
blog.rhetoricalmusings.com/posts/parser3/
blog.rhetoricalmusings.com/posts/parser4/
loading . . .
Parsing from scratch - Part 1
https://blog.rhetoricalmusings.com/posts/parser1/
3 months ago
0
2
1
reposted by
Higher-Kinded Type
3 months ago
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
)
loading . . .
Functional Programming Strategies
https://functionalprogrammingstrategies.com/
0
6
5
Fun with Parsing
blog.rhetoricalmusings.com/posts/parser1/
loading . . .
Parsing from scratch - Part 1 - A Developer's Experience
https://blog.rhetoricalmusings.com/posts/parser1/
3 months ago
0
0
0
I don’t want to review the code AI writes instead I want AI to review the code I write.
4 months ago
0
1
0
The Builder Macro
blog.rhetoricalmusings.com/posts/builde...
loading . . .
The Builder Macro
https://blog.rhetoricalmusings.com/posts/builder-macro/
5 months ago
0
0
0
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
loading . . .
Type Gymnastics with Builder Pattern - A Developer's Experience
https://blog.rhetoricalmusings.com/posts/builder1
7 months ago
1
2
1
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!
loading . . .
Type Gymnastics with Builders - Part 2 - Know Your Limitations - A Developer's Experience
https://blog.rhetoricalmusings.com/posts/builder2/
7 months ago
1
1
0
reposted by
Higher-Kinded Type
Matej Cerny
8 months ago
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...
loading . . .
Type Gymnastics with Builder Pattern - A Developer's Experience
https://blog.rhetoricalmusings.com/posts/builder1/
1
3
1
Type Gymnastics with Builder Pattern
blog.rhetoricalmusings.com/posts/builde...
loading . . .
Type Gymnastics with Builder Pattern
https://blog.rhetoricalmusings.com/posts/builder1/
8 months ago
1
2
1
reposted by
Higher-Kinded Type
Scala Times
8 months ago
Scala Times Issue #599 -
scalatimes.com/54dc2dfa62
loading . . .
Scala Times, weekly Scala newsletter by SoftwareMill
https://scalatimes.com/54dc2dfa62
0
1
1
reposted by
Higher-Kinded Type
8 months ago
@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
)
loading . . .
Learn or improve at programming in a fun and supportive environment
https://www.scalabridgelondon.org/
0
2
4
reposted by
Higher-Kinded Type
Matej Cerny
8 months ago
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...
loading . . .
Understanding Contramap - A Developer's Experience
https://blog.rhetoricalmusings.com/posts/contramap/
0
3
1
Understanding Contramap
blog.rhetoricalmusings.com/posts/contra...
loading . . .
Understanding Contramap
https://blog.rhetoricalmusings.com/posts/contramap/
8 months ago
1
3
2
A Rogue JSON Parser
blog.rhetoricalmusings.com/posts/json-p...
loading . . .
A Rogue JSON Parser - A Developer's Experience
https://blog.rhetoricalmusings.com/posts/json-parser/
8 months ago
0
0
0
Scala Symbols
blog.rhetoricalmusings.com/posts/scala-...
Did I miss anything?
loading . . .
Scala 2 Symbols - A Developer's Experience
https://blog.rhetoricalmusings.com/posts/scala-symbols/
8 months ago
0
0
0
reposted by
Higher-Kinded Type
Salar Rahmanian
10 months ago
📣 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
loading . . .
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 ...
https://watch.softinio.com/w/6T6tpf8U5yLLCaxMpLv55Z
0
1
1
Gave a talk in the local Scala meetup
watch.softinio.com/w/6T6tpf8U5y...
10 months ago
0
1
0
Implementing Top K Frequent Items
blog.rhetoricalmusings.com/posts/top-k/
loading . . .
Top K Frequent Items
https://blog.rhetoricalmusings.com/posts/top-k/
10 months ago
0
0
0
reposted by
Higher-Kinded Type
daniel:// stenberg://
10 months ago
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
loading . . .
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...
https://github.com/curl/curl/discussions/17930
0
4
19
TimedBufferedReader in Java
blog.rhetoricalmusings.com/posts/buf-re...
loading . . .
TimedBufferedReader in Java - A Developer's Experience
https://blog.rhetoricalmusings.com/posts/buf-reader-java/
11 months ago
0
0
0
If you know Scala, you know Kotlin; or vice versa!
blog.rhetoricalmusings.com/posts/scala-...
loading . . .
If you know Scala, you know Kotlin - A Developer's Experience
https://blog.rhetoricalmusings.com/posts/scala-kotlin/
11 months ago
0
0
0
Fresh off the press. Guest post by @bahuljain - A world without types - Part 3.
blog.rhetoricalmusings.com/posts/types-3/
loading . . .
A world without types - Part 3 - A Developer's Experience
https://blog.rhetoricalmusings.com/posts/types-3/
12 months ago
0
1
0
The static type of this type is dynamic - Anders Hejlsberg (Nostalgic C# 4 days)
about 1 year ago
0
0
0
reposted by
Higher-Kinded Type
about 1 year ago
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
)
add a skeleton here at some point
0
8
3
Fantastic discussion, lot of great points. Thank you
@rockthejvm.com
and
@runarorama.bsky.social
www.youtube.com/watch?v=kK4v...
loading . . .
Rúnar Bjarnason on Unison, Scala, Distributed Systems and Delightful Programming
https://www.youtube.com/watch?v=kK4vGU3iz9Y&t=24s
about 1 year ago
0
5
1
I don’t understand anything I can’t build - Richard Feyman Very true for a lot of engineers!
about 1 year ago
0
0
0
Alright, it’s my turn! Scala 3.7.0 released! 🚀
scala-lang.org/news/3.7.0/
loading . . .
Scala 3.7.0 released! | The Scala Programming Language
https://scala-lang.org/news/3.7.0/
about 1 year ago
0
1
1
reposted by
Higher-Kinded Type
Francesco Serra
about 1 year ago
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
loading . . .
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.
https://github.com/creativescala/krop
0
3
1
But it’s a key!
about 1 year ago
0
0
0
First they preached OOP now they have started preaching DOP (data oriented programming), which I feel is such a cringe term.
about 1 year ago
0
1
1
reposted by
Higher-Kinded Type
Wes Bos
about 1 year ago
I'm a Bracket Engineer! Released a web app to generate custom 3D Printed power brick brackets.
bracket.engineer
loading . . .
16
73
8
Between Kotlin and Rust which one would you learn as a new language? 😁
about 1 year ago
1
0
0
reposted by
Higher-Kinded Type
Pere Villega
about 1 year ago
Backend engineer · 20+ yrs delivering products.
#Rust
,
#Scala
, Go, Python,
#TypeScript
— recently building ultra‑low‑latency data systems. Looking for a remote contract or hybrid (Barcelona). Known for fast, reliable delivery & product mindset. DMs open.
#OpenToWork
#BarcelonaTech
#Remote
1
19
20
reposted by
Higher-Kinded Type
Miles Sabin
about 1 year ago
Pere is awesome ... hire him while you can ...
add a skeleton here at some point
0
3
2
I really wish SQL was like FROM table t WHERE … SELECT
t.name
, t.age, … 🙄
about 1 year ago
1
1
0
Fantastic Scalar 2025 talk by
@noelwelsh.bsky.social
is up! Tagless final for humans:
youtu.be/nyMwp7--rY4
loading . . .
Tagless Final for Humans by Noel Welsh
https://youtu.be/nyMwp7--rY4
about 1 year ago
0
2
0
Agentic code editing vs thinking and resolving the problem … they are not same.
about 1 year ago
0
0
0
I am mad that @intellij does not list Scala 3 updates in the list 😀
about 1 year ago
0
0
0
scala-cli and JVM Install Location
blog.rhetoricalmusings.com/posts/scala-...
loading . . .
scala-cli's JVM Install Location - A Developer's Experience
https://blog.rhetoricalmusings.com/posts/scala-cli-jvm/
about 1 year ago
0
0
0
Named tuples in Scala FTW. Tempted to ditch case classes 😀
about 1 year ago
0
0
0
reposted by
Higher-Kinded Type
about 1 year ago
Just added slides for my talk "Tagless Final for Humans" to my page of talks:
noelwelsh.com/landing/talks/
I gave this talk today at
@scalar-conf.com
. The core is a new encoding for tagless final in Scala, which makes much better use of Scala's features than the standard encoding.
loading . . .
Noel Welsh: Talks
https://noelwelsh.com/landing/talks/
1
29
11
TIL you can do .match like chaining as opposed match keyword in Scala 3
about 1 year ago
0
2
0
Why Functional Programming Matters
https://blog.rhetoricalmusings.com/posts/why-fp-matters/
loading . . .
Why Functional Programming Matters - A Developer's Experience
https://blog.rhetoricalmusings.com/posts/why-fp-matters/
about 1 year ago
0
1
1
reposted by
Higher-Kinded Type
Why Functional Programming Matters
https://blog.rhetoricalmusings.com/posts/why-fp-matters/
loading . . .
Why Functional Programming Matters - A Developer's Experience
https://blog.rhetoricalmusings.com/posts/why-fp-matters/
about 1 year ago
0
0
1
Load more
feeds!
log in