Size: a a a
AB
type T = 0
type U = val == 0
type V = val <= 0 && val >= 0
p
type T = 0
type U = val == 0
type V = val <= 0 && val >= 0
e
EG
type T = 0
type U = val == 0
type V = val <= 0 && val >= 0
fn get_random_number<T: Int>() -> T { todo!() }
let x = get_random_number::«val >= 0 && val <= 10»();e
fn get_random_number<T: Int>() -> T { todo!() }
let x = get_random_number::«val >= 0 && val <= 10»();EG
EG
p
fn get_random_number<T: Int>() -> T { todo!() }
let x = get_random_number::«val >= 0 && val <= 10»();EG
EG
EG
enum X { A(bool), B(bool) }p
EG
showEG
EG
λ => fmap (\a -> (show a) ++ "bar") [1..10]
["1bar","2bar","3bar","4bar","5bar","6bar","7bar","8bar","9bar","10bar"]
e
var a = 0такую?
var b = 99
fn get_rnd(from: int, to: int): result from ... to
get_rnd(a, b) match {
0: ..
1: ..
..
..
99: ..
}
EG
var a = 0такую?
var b = 99
fn get_rnd(from: int, to: int): result from ... to
get_rnd(a, b) match {
0: ..
1: ..
..
..
99: ..
}
p
var a = 0такую?
var b = 99
fn get_rnd(from: int, to: int): result from ... to
get_rnd(a, b) match {
0: ..
1: ..
..
..
99: ..
}
e
EG
T: Finite