>>106127638>>106128031>>106128077cont
i bet you dont use type theory yourselves
this is so fucking retarded
>how can i reformulate programming ops into math shit so that i can use math tools to reason about themproblem is
its pretty fucking hard to map programming ops to math stuff and so we end up with aberations nobody wants to use like rust
i get it now
but i still find it retarded
if the representation youre working with doesnt fit the subjascent phenomenon
change your representation
type theoryfags:
>nah we will change the underlying phenomenon to fit out theoriesfukken lamao
and then you hear shit like "nuh worse is better"
and
"if the hardware was adapted to lisp then my shit would've been faster"