id \x:T. x
(id 1)
add \x:N.\y:N. +1(+ x y)


E=P(['',//分支. P7 都看不懂，符号复用率过低 歧义也太大
  [x, 'Var k'],
  [入,x,sig(T),P, 'Fn ,k,T,e'],
  [':', T,sig(Tk),P, 'TYPE ,T,T0,e']
  [P,P, 'Fx f e'],
])
T=P(['',
  [x, 'TVar k'],
  [入,P,P, 'FnT ,A B'],
  ['变',x,sig(Tk),P, 'TFn ,k,T0,T']
  [P,P, 'TFx P T'],
  //type作为值就省了，因为类型变数间有=,|关系，不应该求值
])
sig=x=>[':',x,'.', (a,x,b)=>x]
//*->* 比如 List<_>
Tk=P(['', '*',[入,P,P, 'Kind ,A B'] ])
入='\\'

x? [1,x] x* [0,x]
x, [0,x,',',{a.push(x)}]
(x) [2,"()",x]

val start = now + 5.minutes()
    val end = now + 15.minutes()

fun lift(op:(N,N)->N): Date.(Date)->Date = { Date.from(op(this,it)) }
plus=lift(Int::plus)

Semver Cmp? Ver Semver? (|| Semver)? --N项树,不是+-*/
Cmp /\^~=|([<>]=?)/
Ver v di(. di)?(. di)?(- Str)?
di /\d+|\*/

for(x in users)
  if(x.isAdmin) print(x)

users:[x]
  x.isAdmin: say(x)

1{>2}==NO //takeIf,f

[(0~9),. (0~9 by -1),.].firsts{it==0}.N==1

for(x in users)
  if(x.isAdmin) print(x) else break

users:[x^]
  x.isAdmin { say(x) }: return

data now made type named 

- main
  at ln [1 2 3].reversed (Sum(A=NO): Link(B,A))
  traverse(ln): say("I got {it}")

data 'T'Link(x:T, xs:Link?)
-'T' traverse(xs:Link?) Seq: when xs:
  NO{}
  Link: add(x); traverse(xs)

fun Rect.Pos(
    x: Double,
    y: Double
): Pos {
    return Pos(x, y, this)
}

open class Rect(
    val width: Double,
    val height: Double
)

fun Square(dimension: Double): Rect {
    return Rect(dimension, dimension)
)

class Pos(
    val x: Double,
    val y: Double,
    rect: Rect
) : Rect(rect.width, rect.height)

max(map(sum, map(ints, puzzle_input.split("\n\n"))))
puzzle_input split "\n\n" map ints map sum then max

ask().Str.Sep("\n\n") (Ints){you(Sum).sum}.argmax
at Ints [Str Fun1]:Sep{Int()}

0 <= x < n; 0 <= x && x < n
a < b < c 
(0~n-1)/x: "good"
(0!>x, x<n): "good"
[a b c].ToNext:A<B

a (zip +)= [4, 9, 2];
at a [4 9 2](Sum(Fun:+))

x = [[0] * 10] * 10
at x Nd([10 10]).zeros

at op when Rand(0~3) in {
  0 N.!<|N.<
  1 N.+|N.*
  2 N.*|N.+
}
say:'{op.A(1,op.B(2,3))}'

[1, 2, 3] zip [4, 5, 6] zip [7, 8, 9]  =>[[1, 4], 7]

at A [
  (1~9),.
]%[3 3]
A.T 矩阵转置就是[1, 4, 7]

x := [3, 4]; x := "奇怪的作用域“优化”";

def f(x, y, z):
    print(x + y + z)
for x in xs:
    for y in ys:...

xs:[x] ys:[y] zs:[z]
  say:'{x}{y}{z}' //f的内联定义

adders = [lambda x: x + i for i in range(10)]
at addFns (0~~10):[i] [Int Fn1]:you+i

for (a <- as; b <- bs; c <- cs; d <- ds; if cond(a, b, c, d)) yield k:v
adders := for (_ <- 1 to 10) yield (
    i += 1; \x -> x + i
)

Seq: (0~9): add you //这不比推导式强多了
(0~9).KV: you|you+1

if (a) for (b <- c) if (d) e;
if a { for b in c { if d { e }}};
print(if (a < b) "a is less" else "b is less or equal")
say:'{(a<b)("a is less", "b is less or equal")}'

a: c:[b]
  d: e //无语意的命名会让语法显得难看
a.n<5: a:[x]
  x!=NO: x //结构相同，但换掉ijk变量名

xs := [2, 7]; switch (xs)
case 1 < 2*a < 2*b + 1 < literally 3*3 ->

名 启动类
^名
  - main
    说，'祖国您好！'

将123写到屏幕
100.123，[x]
  (将x)写到屏幕
回

名 'T' `将`(：T) “名记平权”
- [文 将]`写到屏幕` 说，'{它}'

典 游戏
  - 猜
猜 猜数字().[游戏 也]
猜去猜

(0~10)(x)， “如果(0 < x < 10)”。
(0~~10)(x)， “如果(0 < x \< 10)”
(0的右~10的左)(x)， “如果(0 \< x \< 10) ，因为数学(>18) 不自然，我换了”

这时，a 1；b 2
变数去换(a、b)
""{a==2, b==1}!


''名龄=[文 计 俩项]
''合法名=文{平台(有关领导)去请示 }
- 华夏 ("中国"~~5_000)

华夏()，[名~~龄]
  名去[合法名 也]“require”
  "🐭"{=="🦆"}! 

^name
  os sys random:rand
  cmd Cmd
猜数字().cmdloop

data Cmd 猜数字(x=rand(1_000)/10)
  now:
    数 0; 最接近 100
    历史 [数 ]!
  - `$default ` 'ln'
    ln.Int?{数=me} \: say()
    历史 add 数; on(数)
  - on'num'
    num==x { say(); sys.exit() } :
      say:'太${(num>x)("大","小")}了'
      接近了(): say:'不过接近咯'

  - 接近了 历史.argmin{(x-A).abs}: Var.ifPut(最接近,me)

名 猜数字 内(内定数字 = 66) 游戏
  - 猜数字() 做，
    在n=获取数()
    说(n、 NL="")
    内定数字 .:
      ==n，说，'猜对了，恭喜'；$Y
      \<n，说，'太大了'；$N
      \>n，说，'太小了'；$N
^典
  - 获取数 听("请猜1-100中的一个数：")去数
^典 函定
  - 猜 做，
    这时 猜数字() 不“停”，。

物 猜数字 全自动猜数字 内(这时、n=1)
  - 获取数 n去右移

典 游戏
  - 猜数(听用户：函.[数 a0]) 


name BaseModel
  - main /??/TODO "explain why 'Base' is a good class name"
  - badFloats(:[Str [N Pairs] KV])
  - main'abc' as:
    a+b.[N too]

  - someJob(x=NO)
    x? {say:'1'} \: return
  - guessNum(ask: Fn.[Int a0]) Try:
    return Error("{aNum} 后置")
  ^name
    - aNum 0
^name
  - goodBoy(vecs:[N2 Ln])

- UserInfo(name,nickname,birth)
user UserInfo("Jason5Lee","Jason Lee",NO)
{{user}, birthday:Date(1997, 12, 17)}

?? Info Column
  User'name nickname birth'(_:Str, birth \: Date) //歪嘴表情

copied user.as() :.
  -birthday Date(1997, 12, 17) //bash格式的apply{}

?? Animal //行=多态  列=字典
  Cat(name:Str)
  Dog(name:Str, owner:Str)
  Animal() //可是，你不能这么做

?? HasName
  name Str
  - funnyID askGPT(name..)
  Cat()
  Dog(owner:Str)
  Animal()

User(x), x.name=Jack, sort(x.id), [x]

[Add x 0]=1 {x:1}
[Add x y]=1 {x1y0} {x0y1}

x0y1