HN user
Are there any good starting places for learning the necessary type theory to understand this stuff? I really like the idea of extensible row types, but struggle with trying to understand the research papers.
We keep hearing that 5G isn't dangerous, but it looks like there is science showing 3G-5G is bad for our health:
https://www.ncbi.nlm.nih.gov/pubmed/31514029
https://www.ncbi.nlm.nih.gov/pubmed/29332300
This looks pretty cool. It's nice to have an open source Rust game. Getting started developing a game in Rust is a bit rough, so having a reference like this is very helpful.
This is one of those things that will make Rust "feel" much more pleasant to work with. More ergonomic, I guess.
It often feels like you're fighting with the Rust compiler, and I think NLL will do a lot to reduce that friction.
Previous discussion: https://news.ycombinator.com/item?id=15921692
Yes, this seems to be the right behavior for case-insensitive things like DNS names as well. If a user inputs one, preserve the case when you store it, but do case-insensitive comparisons.
This is really cool. It's surprisingly hard to find good examples of how to implement type inference.
Does anyone know of a similar tool for XML? In particular, it would be cool to have a useful way to run xpath, and maybe xquery, from the command line. The tools I've found have unfortunate interfaces, e.g. they won't read XML from stdin.
Hopefully Rust's approach to zero-overhead abstractions will alleviate a lot of the problems you run into in C++.