The Little Calculist
Dave Herman's research blog.
Friday, April 23, 2010
Effective ML
Yaron Minsky has giving great advice on
effective ML
lately. For my money, the single most important lesson is #3:
make illegal states unrepresentable
. There are so many benefits-- and I've seen the awful drawbacks of not following it.
0 comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
Blog Archive
►
2011
(1)
►
December
(1)
I've moved!
▼
2010
(12)
►
June
(1)
RAII vs finally
►
May
(1)
A Theory of Typed Hygienic Macros
▼
April
(7)
Effective ML
Cyclic reference graphs FTW
Single-frame continuations for Harmony, ctd
Harmony first-class activations
Thinking about continuations
The design space of continuations
Delimited continuations? In ECMAScript?
►
February
(2)
Generalizing Javadot
Eich's Law
►
January
(1)
Wading into the C
►
2009
(44)
►
December
(1)
Computer Science Education Week
►
November
(1)
Ezra: Function calls are not stack frames
►
September
(2)
Proposed json.plt change
Mitchfest blog
►
August
(4)
Quote of the day
Mitchfest program
Call for Participation: Scheme Workshop 2009
Selectively disabling tail recursion
►
July
(4)
Linguistic tools for diagnostics
Contractiveness not required for regularity
Regular => Subtree set finiteness => Termination o...
Call for Participation: Symposium in Honor of Mitc...
►
May
(5)
Lexical syntax thought
Follow-up on effect masking and backtracking
Continuation marks in exceptions
Effect masking vs. purity
Representing failure
►
April
(5)
Typed closure conversion
PLT System Facilities (Software Components): Modul...
Matthew Flatt running for SIGPLAN member-at-large
Memo to myself: directions for `svn unfail'
Dear David Herman
►
March
(6)
Your lambda-cube is puny.
Hand-writing derivations
Make a miniature model first
PLT System Facilities (Software Components): Names...
Cognitive dissonance and correctness
's Birthday is Coming Up...
►
February
(11)
Whoa
PLT System Facilities (Software Components): Modul...
Ooh, that's pretty
PLT System Facilities (Software Components): Lexic...
The PLT Scheme Operating System
I feel much better about myself
My first PLT patch
The C Typedef Parsing Problem
History lesson
►
January
(5)
►
2008
(60)
►
December
(5)
►
October
(11)
►
September
(7)
►
August
(3)
►
June
(4)
►
May
(7)
►
April
(10)
►
March
(10)
►
February
(1)
►
January
(2)
►
2007
(32)
►
November
(1)
►
October
(2)
►
September
(2)
►
August
(3)
►
July
(1)
►
June
(1)
►
May
(4)
►
April
(2)
►
March
(8)
►
February
(5)
►
January
(3)
►
2006
(53)
►
November
(7)
►
October
(3)
►
August
(8)
►
June
(5)
►
May
(9)
►
April
(5)
►
March
(9)
►
February
(4)
►
January
(3)
►
2005
(122)
►
December
(7)
►
November
(4)
►
October
(5)
►
September
(3)
►
August
(7)
►
July
(14)
►
June
(23)
►
May
(8)
►
April
(15)
►
March
(20)
►
February
(16)
Recommended Reading
The Little Books
The Lambda Calculus
HTDP
SICP
EOPL
PLAI
TAPL
Haunts
Dominique Boucher
Avi Bryant
Ezra Cooper
Brendan Eich
Lambda the Ultimate
Jacob Matthews
PLT Scheme
Jens Axel Søgaard
Joel Spolsky
Untyped
Phil Wadler
John Wiseman
About Me
Dave Herman
San Francisco, California, United States
View my complete profile
Technorati Profile
0 comments:
Post a Comment