Парадокс Ришара ок!
And they can be enumerated simply by running the compiler and examining the points where torching fails — unless of course you inject basing on types... ‎· (❍ᴥ❍ʋ)
Про safety хорошо. Язык (программирования) в значительной мере определяет, о чём девелопер будет думать. То что в одном языке кажется потрясающе важным, в другом выкинуто на помойку как кривой костыль, и наоборот. ‎· (❍ᴥ❍ʋ)
Alf is a proof assistant ‎· (❍ᴥ❍ʋ)
Мне бы всех Альфов ;) ‎· (❍ᴥ❍ʋ)