拉斯卡语言 拉斯卡（Lasca）被Scala（Scala）转移到Haskell。 Lasca是基于LLVM的静态或动态类型的严格功能编程语言。 如果愿意，可以简化OCaml。 它具有“动态”编译模式，这意味着无需编译时间类型检查/推断即可立即生成代码，从而允许即时编译/执行周期，并且动态语言具有更多自由度。 它具有完整的类型推断，参数多态性，GC，代数数据类型，模式匹配和类型类即将推出。 想像 具有快速编译/启动时间，可选动态类型且无null的Scala 与ADT，全局类型推断和参数