Uwaga wstępna: To pytanie zostało zamknięte po kilku edycjach, ponieważ brakowało mi odpowiedniej terminologii, aby dokładnie określić, czego szukałem. Sam Tobin-Hochstadt opublikował następnie komentarz, dzięki któremu rozpoznałem dokładnie, co to było: języki programowania obsługujące typy...