Hacker News Reader

Comment by yakubin | Hacker News Reader

Unfortunately.

Similar to Haskell. While with Rust it can be justified by its novelty and status as a meme, Haskell has been here since 1990.

Maybe it's because it's hard to attract talent in that space without offering niche, cool tools that are hard to find elsewhere?

View on HN

Maybe it’s because crypto actually needs the advanced features and correctness that Rust provides, while language doesn’t matter for most of your basic CRUD jobs so people use JS or whatever

doesn't seem like Rust is a silver bullet for preventing crypto hacks

(Ethereum) Smart Contracts are usually written in Solidity, not Rust...

Solana uses Rust/C++ to compile to an ebpf target, fwiw.

Is it a hack if the contract programmatically allows you to do it?

Or is it a hack if you didn't understand the scope of your contract as you wrote it, and are now upset someone executed on it in a way you didn't expect?

If you choose to go through the effort, Haskell can be shown to be provably correct -- that is in a mathematical sense of the term "prove" -- similar to Ada/SPARK.

https://stackoverflow.com/questions/4077970/can-haskell-func...

AIUI, similar work is being made to Rust to make it have similar provable properties.

Thing is, in Rust, you can't choose not to go through the effort. The borrow checker forces you to do so.

crypto gets hacked much too often to pretend that pointer safety somehow does something useful for them

I think Haskell jobs aren't common because Haskell isn't widely used. Rust is much more widely used but it's also much newer so most uses are from people already in companies starting new projects. Most of those projects are probably still minor and haven't got to the point of needing whole new employees to work just on them.

Where I work we started a fairly big Rust project a couple of years ago and only recently put "Rust" on a job advert.

also coq, from what charles hoskinson says

Reply on news.ycombinator.com