←back to thread

Nominal for Storing, Structural for Manipulating

(welltypedwitch.bearblog.dev)
42 points todsacerdoti | 2 comments | 20 Nov 24 02:50 UTC | HN request time: 0.001s | source
Show context
PaulHoule ◴[20 Nov 24 02:56 UTC] No.42190446[source]▶
I think is forgotten here that one of the benefits of nominal typing is that the compiler can know that data layout at run time so performance benefits.

There has been so much ink spilled on the question of what kind of type systems help programmers be productive but there is not such controversy on the performance side.

replies(3): >>42190752 #>>42191794 #>>42199051 #
lmm ◴[20 Nov 24 08:22 UTC] No.42191794[source]▶
Premature optimisation is the root of all evil. If you get the semantics right then good performance will generally follow, if you make the wrong thing then it doesn't matter how fast it is.
replies(4): >>42191922 #>>42192250 #>>42192332 #>>42194078 #
1. fanf2 ◴[20 Nov 24 09:57 UTC] No.42192332[source]▶
Good data layout is the root of all optimization.
replies(1): >>42192934 #
2. thesz ◴[20 Nov 24 11:39 UTC] No.42192934[source]▶
Worst-case optimal join algorithm [1] might have a different opinion.

[1] https://en.wikipedia.org/wiki/Worst-case_optimal_join_algori...