うろ覚えですが，自作版を作った時にヒントになりそうと思って以前 Rust との違いを見ていたんですが，型チェックの違いももちろんあるとは思いますが，Rust の方には byte string リテラル (b"hoge") があるというのとそれがそのまま uint8 配列の値として使えるのが (いろいろスキップできるという意味で) 強いなと思いました．(そもそも type-check を迂回する方法とかがあるなら考えなくても良い部分ではありますが) (edited)