trystimuli on Nostr: til that rust type aliases are not just syntactic sugar. and i wish they were. i have ...
til that rust type aliases are not just syntactic sugar. and i wish they were.
i have so much progress building this thing in rust and yet i’m still considering throwing it all out and switching to idris.
the bootstrapping situation is better.
the type system is better.
referential transparency exists.
unfortunately the libraries i depend on don’t. i can keep the cryptography (and storage/transport side generally) in rust to start with, but on the application side things like idris bindings for fuse don’t seem to exist.
i have so much progress building this thing in rust and yet i’m still considering throwing it all out and switching to idris.
the bootstrapping situation is better.
the type system is better.
referential transparency exists.
unfortunately the libraries i depend on don’t. i can keep the cryptography (and storage/transport side generally) in rust to start with, but on the application side things like idris bindings for fuse don’t seem to exist.