Post #2752591
2026-05-10 09:30 UTC
I'm especially interested in research on libraries in functional or dependently typed languages
Replies (2)
-
@dpk@chaos.social 2026-05-10 10:27
@Taneb@hacksrus.xyz @sperbsen@discuss.systems may (or may not) be able to help
-
@JacquesC2@types.pl 2026-05-10 11:56
@Taneb@hacksrus.xyz Whatever you find, I'm interested too! Beyond Parnas' principle of information hiding (i.e. each module keeps a set of secrets that no other module can have), I don't know of anything useful. The OO crowd has written all sorts of stuff, but it all seems either 'meh' or a corollary of Information Hiding.