minus-squaremitchty@lemmy.sdf.orgtoProgrammer Humor@lemmy.ml•The C++ learning processlinkfedilinkarrow-up0·3 months agoYeah this only really applies to Algol style imperative languages. Dependent types and say stack languages like idris and apl are dramatically different in their underlying axioms. linkfedilink
Yeah this only really applies to Algol style imperative languages. Dependent types and say stack languages like idris and apl are dramatically different in their underlying axioms.