A functional language with unboxed types that are usually boxed, and thus "Because of these optimizations, in many cases Roc code already compiles to the same m

A functional language with unboxed types that are usually boxed, and thus "Because of these optimizations, in many cases Roc code already compiles to the same machine instructions that the equivalent code written in one of these systems languages would." Interesting.