The Curious Engineer

All blogs / Functional / PL theory

kubuszok.com

kubuszok.com

Personally, just a

Functional / PL theoryJava / JVMMath

’16’17’18’19’20’21’22’23’24’25’26
Posts
32 from 12 May 2016 to 3 Nov 2025
Posting
now and then (1 in the last year)
Kind
personal blog
Feed
https://kubuszok.com/feed.xml

2025 1

  1. Sanely-automatic derivation - or how type class derivation works and why everyone else is doing it wrong

2024 1

  1. Modeling in Scala, part 1: modeling your domain

2019 3

  1. IO monad: which, why and how
  2. AST playground: recursion schemes and recursive data
  3. From String to AST: parsing

2018 21

  1. ADT through the looking glass - lenses, prims and other optics
  2. Different ways to understand a monad
  3. The F-words: functor and friends
  4. Algebras we love
  5. It's all about relations
  6. In the beginning, there was the empty set
  7. Kinds of types in Scala, part 3: embedding some more info in a type
  8. Kinds of types in Scala, part 2: take type, return type or type parameters
  9. Kinds of types in Scala, part 1: types, what are they?
  10. My issues with Swagger
  11. Implicits, type classes, and extension methods, part 4: understanding implicits
  12. next post
  13. Implicits, type classes, and extension methods
  14. Implicits, type classes, and extension methods, part 2: implicit derivation
  15. previous post
  16. Reflections on using Typelevel Scala
  17. sbt tips and tricks
  18. Speed up things in scalac and sbt
  19. Relearn your sbt
  20. Cake antipattern
  21. Scala FUD FAQ for newbies

2017 3

  1. Adventures with custom Predef
  2. Tagged or AnyVal?
  3. Ammonite + Uberjar = Domain Shell

2016 3

  1. Setting up Mattermost
  2. Reflections on starting Android project with Scala
  3. Improving your project with SBT