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