78 karma · joined June 13, 2023
Having seen that kind of opinion stated elsewhere, it seems what most people would like is rust minus borrowing, and I feel I would get behind that too.
[1] https://docs.juliahub.com/Gtk4/rFcBQ/0.5.0/ [2] https://juliagizmos.github.io/GtkObservables.jl/stable/
Afaik "category theory [as an] underpinning of type theory" is quite far from true: you can model some type theory with category theory, but it's mostly about modelling, the correspondence is very finicky once you get to the details, and it doesn't help _that much_ for practice. Then, knowing the bit of CT that a typical mathematician knows is not going to amount to much or anything very helpful, in practice, and for the things it will help with (probably going to be quite theoretical cutting edge research), you'll have plenty of people that studied exactly that working on it…
I'd like it to be the case, but being able to describe Yoneda and knowing about assembler is, I think, a far cry from getting you anywhere near these jobs.
Edit: People being arrogant or know-it-all is probably not especially correlated with having obtained a PhD, but more with overall frame of mind, and I find this comment to be a uselessly negative ad-hominem.
I saw the construction of this thing by chance the other day. Is it so obvious it's a "shenanigan" if they're still researching it?
I'd be interested to know what people have to say about that translation, and the one of the Odyssey by Green too.