iiinova — where your digital self keeps evolving

Jörg Volbers @apublicimage.berlin.social.ap.brid.gy · 13/07/2026

Dabbling in #Fsharp and reading lots of online documentation, I keep coming across the attribute "non-generic" for types without parametrization. There is `Task<int>`, and there is `Task` (full stop). Why is the latter called "non-generic"? It seems to me more generic than the one specialized […]

berlin.social

Original post on berlin.social

300

Dag Brattli @dbrattli.bsky.social · 19/07/2026

I like to think about generics as the correlation / locking between two (or more) types. They must all agree on the same T, i.e if a callsite compile time "binds" T to int, then all T must be int. So less "generic" than non-generic e.g object where one object can be int and another one float.

010