История изменений

Можно упороться и представить инт функцией, которая принимает номер бита (короткое перечисление, не число) и возвращает бул.

enum Bool { false, true }
enum Bit64 { _0, _1, ..., _63 }
type Int64 = Bit64 -> Bool

Тогда, например число 5 - это будет функция, которая принимая _0 и _2 возвращает  true, а на все остальное false.

Можно упороться и представить инт функцией, которая принимает номер бита (короткое перечисление, не число) и возвращает бул.

enum Bool { false, true }
enum Bit64 { _0, _1, ..., 63 }
type Int64 = Bit64 -> Bool

Тогда, например число 5 - это будет функция, которая принимая _0 и _2 возвращает  true, а на все остальное false.