Ruby Type Inference

"Ruby Hacking Guide":http://rhg.rubyforge.org/

Type Inference in Nemerle, F/OO .NET lang. "Type Inference with Deferral":http://nemerle.org/Type_inference

Lex Spoon has some rockin’ ideas ! I know I will very likely take many pages from this approach, just documenting it here for posterity ; )

Ones I have looked through briefly:

Burke-Fisher: A Practical Method for LR and LL Syntactic Error Diagnosis and Recovery

Great ideas, solid grounding for graceful handling of error diag.

LR(k) Error Diagnosis and Recovery from Jikes

Updates on Burke-Fisher, focuses on LR(k), provides a more performant algorithm.

Ones I have looked through not so much:

ANTLR error handling and recovery

ANTLR 3.0 Error Handling TJP notes

Fast, Error Correcting Parser Combinators: A Short Tutorial

Graceful Error Recovery @ LTU

Lex, Yacc, error symbols, tutorial style: Introduction to Compiler Construction With Unix

JavaCC – Syntax Error Repair for a Java­based Parser Generator

Gradual Typing for Objects (via LtU).

A bit of inquiry over at ruby-grammarians yielded some great leads.