[LLVMdev] Advice on CFG pre-analysis

[Pertti Kellomäki]

Talin wrote:
> The overall motivation for this, BTW, is my attempt to prove a personal 
> theory, which is that most static type systems are guarding against the 
> wrong things. Type mismatch errors don't keep programmers up at night; 
> null pointers, deadlocks and race conditions do. So my language tries to 
> check for null pointer errors at compile time using static types.

In addition to Haskell that Joachim suggested, you might also want to
look at predicate subtypes in the PVS theorem prover for inspiration.
-- 
Pertti