Very good post. Related discussion of how close different groups are to SSC-ness (or not): ML, haskell, scala, and the typechecker component (OP likes coq htt

Very good post. Related discussion of how close different groups are to SSC-ness (or not): ML, haskell, scala, and the typechecker component (OP likes coq http://www.reddit.com/r/dependent_types/comments/r61wo/bring_dependent_types_into_practical_programming/ http://www.reddit.com/r/dependent_types/comments/r61wo/bring...