Lightnews — Scholar-powered news

Type Gymnastics with Builder Pattern - A Developer's Experience

Reposted by Higher-Kinded Type

Matej Cerny @matejcerny.bsky.social · 10d

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

1 3

Higher-Kinded Type @hktpe.bsky.social · 11d

Type Gymnastics with Builder Pattern
blog.rhetoricalmusings.com/posts/builde...

Scala Times, weekly Scala newsletter by SoftwareMill

1 1 1

Reposted by Higher-Kinded Type

Scala Times @scalatimes.com · 21d

Scala Times Issue #599 - scalatimes.com/54dc2dfa62

scalatimes.com

Learn or improve at programming in a fun and supportive environment

Reposted by Higher-Kinded Type

noelwelsh.bsky.social @noelwelsh.bsky.social · 23d

@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)

www.scalabridgelondon.org

4 2

Reposted by Higher-Kinded Type

Matej Cerny @matejcerny.bsky.social · 24d

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

1 3

Higher-Kinded Type @hktpe.bsky.social · 24d

Understanding Contramap

blog.rhetoricalmusings.com/posts/contra...

Understanding Contramap

A Rogue JSON Parser - A Developer's Experience

1 1 3

Higher-Kinded Type @hktpe.bsky.social · Sep 12

A Rogue JSON Parser
blog.rhetoricalmusings.com/posts/json-p...

Scala 2 Symbols - A Developer's Experience

Higher-Kinded Type @hktpe.bsky.social · Sep 12

Scala Symbols
blog.rhetoricalmusings.com/posts/scala-...

Did I miss anything?

Securing sensitive data in logs like a pro By Vivek Ragunathan & Bahul Jain

Reposted by Higher-Kinded Type

Salar Rahmanian @salarrahmanian.bsky.social · Jul 29

📣 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 Logging is vital for system observability and debugging, but writing sensitive data to logs poses several challenges ...

watch.softinio.com

Higher-Kinded Type @hktpe.bsky.social · Jul 29

Gave a talk in the local Scala meetup

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

Higher-Kinded Type @hktpe.bsky.social · Jul 25

Implementing Top K Frequent Items
blog.rhetoricalmusings.com/posts/top-k/

Top K Frequent Items

curl turns 10,000 days · curl curl · Discussion #17930

Reposted by Higher-Kinded Type

daniel:// stenberg:// @bagder.mastodon.social.ap.brid.gy · Jul 15

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

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

19 4

Higher-Kinded Type @hktpe.bsky.social · Jun 26

TimedBufferedReader in Java

blog.rhetoricalmusings.com/posts/buf-re...

TimedBufferedReader in Java - A Developer's Experience

If you know Scala, you know Kotlin - A Developer's Experience

Higher-Kinded Type @hktpe.bsky.social · Jun 25

If you know Scala, you know Kotlin; or vice versa!

blog.rhetoricalmusings.com/posts/scala-...

A world without types - Part 3 - A Developer's Experience

Higher-Kinded Type @hktpe.bsky.social · May 26

Fresh off the press. Guest post by @bahuljain - A world without types - Part 3.

blog.rhetoricalmusings.com/posts/types-3/

Rúnar Bjarnason on Unison, Scala, Distributed Systems and Delightful Programming

Higher-Kinded Type @hktpe.bsky.social · May 14

The static type of this type is dynamic - Anders Hejlsberg (Nostalgic C# 4 days)

Reposted by Higher-Kinded Type

noelwelsh.bsky.social @noelwelsh.bsky.social · May 13

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)

3 8

Higher-Kinded Type @hktpe.bsky.social · May 11

Fantastic discussion, lot of great points. Thank you @rockthejvm.com and @runarorama.bsky.social
www.youtube.com/watch?v=kK4v...

www.youtube.com

1 5

Higher-Kinded Type @hktpe.bsky.social · May 10

I don’t understand anything I can’t build - Richard Feyman

Very true for a lot of engineers!

Higher-Kinded Type @hktpe.bsky.social · May 9

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

Higher-Kinded Type @hktpe.bsky.social · May 9

Thanks for fixing the gradle debugging issue

GitHub - creativescala/krop: A simple and functional web service library

Reposted by Higher-Kinded Type

Francesco Serra @isomorphicdude.bsky.social · May 9

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

A simple and functional web service library. Contribute to creativescala/krop development by creating an account on GitHub.

github.com

1 3

Higher-Kinded Type @hktpe.bsky.social · May 5

But it’s a key!

Higher-Kinded Type @hktpe.bsky.social · May 4

First they preached OOP now they have started preaching DOP (data oriented programming), which I feel is such a cringe term.