doctor_n_

4 ms·

1. 1.▲
   by doctor_n_ 5y ago

   When developing an application, configuration formats and internal data-structures typically evolve between versions. However, maintaining backwards compatability between these versions requires declaring and maintaining data-structures for
2. 2.▲
   Obake v1.0.1 – Versioned data-structures for Rust(github.com)

   3 points by doctor_n_ 5y ago|1 comments
3. 3.▲
   by doctor_n_ 6y ago

   Actually, subtype-checking in Java is Turing-complete. Someone proved this and used the result to build a parser generator for fluent interfaces. [1] [1] https://arxiv.org/pdf/1605.05274.pdf
4. 4.▲
   by doctor_n_ 6y ago

   I was unaware of typenum until I started showing people this - I'm actually amazed at the level of effort that's gone into it.
5. 5.▲
   by doctor_n_ 6y ago

   You didn't need this, you didn't want this, but here we are.
6. 6.▲
   Show HN: FizzBuzz purely in Rust's trait system(github.com)

   120 points by doctor_n_ 6y ago|30 comments
7. 7.▲
   Show HN: Micro-mitten – Research language with compile-time memory management(github.com)

   236 points by doctor_n_ 6y ago|62 comments