Husk is a golf language related to Haskell. The language is strongly typed. Most builtins have more than one independent overload of different type. The compiler uses heuristics to make the program well-typed: it chooses between overloads of builtins, and by inserting parenthesis and default values with certain restrictions. The language uses an 8-bit source character set unique to it. It is optimized for Code Golf SE golf rules, so there are no IO operations, only pure functions.