About a year ago I made an off by one error in memory allocation in some C. I only know this because today I encountered the first (to my knowledge) segfault it caused. brb rewriting everything in Rust
-
-
-
Replying to @_m_b_j_
It'd be interesting to see it done. I wonder how much of it would need to be 'unsafe' in practice though.
1 reply 0 retweets 1 like -
Replying to @edwinbrady
I'd love to answer this with "none". Also I wounder if there are areas that are currently C, that could be done in Idris.
2 replies 0 retweets 0 likes -
Replying to @_m_b_j_
I'm mostly wondering if there's too much of a mismatch between "safe sharing by no mutation" and "safe mutation by no sharing". But maybe with enough creativity it's fine.
1 reply 0 retweets 3 likes -
Replying to @edwinbrady
Interesting. Odd partially related question: Is there linear types in Idris (or can I represent them with DTs)?
1 reply 0 retweets 1 like -
Replying to @_m_b_j_
There are in the new version I'm working on now... They are sort of in Idris 1, but with lots of annoying problems that are hard to fix.
1 reply 0 retweets 1 like -
Replying to @edwinbrady
Feel free to ping me when you have something to share, I want to invest more time into such ideas.
1 reply 0 retweets 2 likes
Will do! Don't hold your breath though :)
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.