Announcement: amc-prove, a small prover for quantifier-free FOL.
@hydraz It's the transfer of ownership. Under RAII, resource (e.g. heap memory, file handle) cleanup is tied to the lifetime of an object. When you move an object, the object gives up its ownership (responsibility) of the resource and another object takes it.
@hydraz TL;DR: AFAIU, x := y means not that x and y now have the same value, but that x now has the value of y, and y… who knows, it can't be read anymore.
Oh no, I blogged again! It keeps happening.
A novice of the temple once approached the Master Programmer with a question: “Master, does #Emacs have the Buddha nature?” the novice asked.
The Master Programmer had been in the temple for many years and could be relied upon to know these things. He thought for several minutes before replying: “I don’t see why not. It’s bloody well got everything else.”
Amulet's New Type Checker
(submitted by hydraz)
Precisely one month after my last blog post, https://hydraz.semi.works/posts/2018-02-18.html
Sometimes (very rarely) I write things in my blag. This is one of those times. https://hydraz.semi.works/posts/2018-01-18.html
Wrangling performance out of a functional language (by stealing tactics pioneered by GHC!): https://hydraz.semi.works/txt/match-opts.ml.html
When a joke is far too overused.
Wrote an ML, lost sanity. Would recommend.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!