undefined | Better HN

0 pointssaagarjha5y ago0 comments

Right, I'm not saying you can't put the compiler for the encoded input/outputs into the machine or that it's not expressive enough. I'm just saying that you'll have to encode stuff, it's not like traits somehow can magically give you a "compileToRust()" function that you pass the unmodified code into.

0 comments

jfkebwjsbx5y ago

Yeah, but when someone mentions some system is TC they are not claiming input/output is easy to encode.

In fact, in most cases, when you hear the TC claim it is about an exotic system :)

j / k navigate · click thread line to collapse

0 pointssaagarjha5y ago0 comments

0 comments

jfkebwjsbx5y ago

Yeah, but when someone mentions some system is TC they are not claiming input/output is easy to encode.

In fact, in most cases, when you hear the TC claim it is about an exotic system :)

j / k navigate · click thread line to collapse