C'Dent is Strongly Typed # python if x == 'foo' or y == 42: print "Hello", #perl if ($x eq 'foo' or $y == 42) { print "Hello"; } * You need type info for code generation * Acmeist languages are not strongly type * Haskell shows that "type inference" is possible * C'Dent uses a tight subset of the Acmemist languages