Haskell

Хочется верить что после завтипов можно будет удобнее писать всякие статические проверки для работы с ресурсами. А то комптайм на type family это один сплошной костыль, а TH слишком мета уровень