Antti Holvikari

[Antti Holvikari @antti]

@PeripheryBand Where's the CD? :(

[Antti Holvikari @antti]

So you add a fancy effect system to your functional programming language. Now it's all too easy to write everything in imperative style. And imperative style doesn't encourage good functional design.

[Antti Holvikari @antti]

Now when I see a new software product announced I always think "slop", and I hate it.

[Antti Holvikari @antti]

"Nothing in the world is worth having or worth doing unless it means effort…"

Where's the effort in AI?

[Antti Holvikari @antti]

Seems like jujutsu is good for stacked PRs where you mutate (rebase) your changes between these PRs. But I always felt like rebasing & force pushing is an anti pattern.

[Manuel Simoni @msimoni]

Looking forward to be proven wrong but for now I'm still filing anyone who claims "code is cheap/free now" under "has no idea what they're doing".

[Ryan Rasti @ryantypes]

Announcing TypeNix: full typing for Nix, based on TypeScript.

The trick: map Nix AST -> TS AST: the typechecker never knows it's looking at Nix.

Types all 42K nixpkgs files, 13s locally. Fixed-point patterns (`makeExtensible`, etc.) typed.

Early PoC: https://t.co/4lXz8OxCJK
@typescript @grhmc @tweagio

[Antti Holvikari @antti]

@debasishg Yes, although type classes (ala Haskell) and a good property test suite might do the trick as well.

[Paul Snively @JustDeezGuy]

Assuming anyone cares about quality.

[Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg]

https://t.co/dB4v0YpEiW

[Aliaksandr Valialkin @valyala]

Agreed with Rob Pike on the AI hype - https://t.co/Blc1ZBh0T7

[Antti Holvikari @antti]

Time will tell if the new language features will prompt new frameworks that adopt a different approach.

[Antti Holvikari @antti]

What's holding back Java as a modern language is the culture around dynamic meta programming, like use of annotations and reflection.

[effectfully @effectfully]

When you finish reading the Golang spec and there is no revelation of it being an elaborate computer science joke.

[Magatte Wade @magattew]

This fishing village became wealthier than entire African nations in 40 years.

One thing changed everything:

[Antti Holvikari @antti]

@awesomekling Basically any persistent data structures. HAMTs, RRB-trees etc.

[Antti Holvikari @antti]

Better variance is probably not coming any time soon, and neither is checked exceptions for lambdas.

[Antti Holvikari @antti]

Java has become quite ok as a language mainly because of sealed interfaces and records.

[Antti Holvikari @antti]

My biggest grievances are:
- lack of declaration-site variance
- checked exceptions don't work well with lambdas
- lack of "withers" for records
- lack of pattern matching for literals/enums