strong properties in certain domains, weak properties everywhere
Conversation
I honestly don't know what this would look like. Refinement types? How do you avoid shoving the whole complexity of the type system on all the users?
2
1
Rust shows notions like linearity/ownership/borrowing could go mainstream; there’s a lot of use cases for refinement types that are simpler (IMO).
1
4
Yeah, I wish we had some way to fund teams to work on the intermediate step of turning stuff from academia into nicely designed/built production grade tools, based on the on-the-ground learnings from industry.
2
6
This is where I was going with the "problem statement" thing. If you want to spin up a team with 10 senior engineers to produce nothing for three years, you need something to sell mgmt. The CLR was, "stop devs writing memory corruption bugs that threaten MSFT survival."
2
3
Java was "make it easier for people to run code on Sun with no modifications." I presume Rust was something like, "we can't reasonably write parallel code in Firefox." I don't know what the next problem is.
2
the legislation I plan to propose which results in companies being burned down will provide some problems :)
2
1
I would love this, but can't allow myself to get my hopes up
1
well we can dream
1
2