News for hackers. Stuff that matters.

edgarbob

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.
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.
Re:Rust MIR-based borrow check (NLL) status update on Wednesday June 20, 2018 @03:53PM (#17359110)
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.

Re:Hostnames and usernames to reserve on Friday November 27, 2015 @09:27PM (#10639758)
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.
Re:Grow Your Own Type System on Friday November 27, 2015 @09:22PM (#10639744)
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.
Re:Things from Python I'd miss in Go on Tuesday June 10, 2014 @11:02AM (#7872891)
Hopefully Rust's approach to zero-overhead abstractions will alleviate a lot of the problems you run into in C++.