Thanks to @BrianGoetz, Java is adopting type classes! It's becoming the best mainstream functional language!
β algebraic data types with exhaustive pattern matching
β Nullable types: JSpecify now, language feature later
β Haskell's type classes π€―
https://t.co/3xTRZ31t31
@headinthebox I prefer correct-by-construction to the insertion and checking of invariants, but I imagine that it kind of ends up being the same. As a programmer, the former seems a better fit for my thinking, I suppose π€·ββοΈ
@dhh@ryanrhughes What happened to Omakub. This is one of those things with Linux, there are a lot of choices. Will next year be Debian or NixOS? I like Ubuntu + @RegolithL!
@dhh 16.93s on my aging MacBook Air M2. Will check later on Win11 work laptop with Dev Drive (ReFS), NTFS and WSL. Much later at home on my Linux desktop with ZFS. Is BTRFS optimised for small files?