Replying to
@rnd@toot.cat use a language with type inference. e.g. type ascriptions in Haskell are very rare, although it is obviously statically typed. it's also extremely concise to begin with.
mastodon 4.7.3+glitchBlack Lives Matter | Vidas Indígenas Importam | Trans Lives Matter | politics, profanity, analog electronics, retrocomputing, coffee, typography | DISOBEY DOUG FORD
Also symbo1ics on Twitter ; and BlueSky https://bsky.app/profile/symbo1ics.bsky.social