logoalt Hacker News

totalperspectivtoday at 4:54 PM1 replyview on HN

This is really exciting. I've been using Mojo off and on for side projects over the last two years.

(copying from some previous Mojo threads) It's got an ownership system adjacent to Rust, comptime similar to Zig, and a first class dependent type system. Even more exciting, is that uses LLVM (to the best of my understanding) in some novel ways and for more optimizations.


Replies

dlahodatoday at 6:31 PM

Hm, in docs they say that dependent type system is not first class seems.

Is it even dependent? More like refinement types, which seems will be in Rust too.Also HN recently mentioned Rust building similar llvm based integration with GPU.

But compared with Python, Julia, Matlab, R, Rust, C, C++ - Mojo feel relief for working with numerics.