纯学着玩的，只挑好用对味口的写些玩具，不用来就业。 
基本情况就是 

平时在用Scala写玩具，CE配上fs2写得很舒服，但是jvm在1c1g的机器上实在太为难，而且Scala在类型上的限制其实挺大的（狗屎jvm会擦掉泛型参数
学过haskell（刚学会用mtl堆Monad变形金刚的水平？）
学过clojure（好像是lisp系的？吸参数吐参数很爽、什么都建模成map很爽、完全动态放弃类型很爽）
学过python但是不喜欢，不是很对味口（有种把各家缺点都学过来了的感觉？
学过rust，但是看到那一大堆的智能指针就放弃了

希望能有typeclass、有gadt和模式匹配、像scala的given-using之类的机制（不行的话ReaderT之类的也行？）和hkt就更好了，最好是有点生态、能编译成可执行文件直接跑的那种？ 
已经可以料想到只有rust了、不能吧