minus-squareradiohead@lemmy.worldtoProgrammer Humor@lemmy.ml•Turing-completenesslinkfedilinkarrow-up0·1 year agoHow about a Turing-complete type system (e.g. TypeScript)? linkfedilink
How about a Turing-complete type system (e.g. TypeScript)?