DConf 2014 Day 2 Talk 7: Tiny, Ubiquitous Machines Powered by D by Michael D. Franklin

bearophile via Digitalmars-d-announce digitalmars-d-announce at puremagic.com
Tue Jul 15 11:47:27 PDT 2014


The talk was nice, and it's the chance I was waiting to ask a 
question to the speaker.

I've read a very nice paper (+ slides) about using some 
specialized but simple type system rules to make less bug-prone 
the bit-twiddling kind of code, "Bit-Level Types for High-Level 
Reasoning" by Ranjit Jhala, Rupak Majumdar:

http://goto.ucsd.edu/~rjhala/papers/bit_level_types_for_high_level_reasoning.html

I'd like to use those ideas in D, they are useful for low-level 
or embedded programming.

The D type system (and D syntax) seem enough to implement most of 
them without changes to the D language (or with small changes, 
but you can't tell before you have tried implementing them with 
the current language).

So are those things a good addition to Phobos for your kind of 
programming? (additions to the language can be discussed later).

Bye,
bearophile


More information about the Digitalmars-d-announce mailing list