Functional programming 以类型作为一级值的语言？
是否有一种语言，即： 1） 功能性 2） 有类型推断 3） 有咖喱 4） 并将类型作为一级值 还希望从它编译到JVM和/或CLR，首先从开始。这个问题的答案似乎是Haskell或OCaml。F#是功能性的，并且具有类型推断、curry和类型作为一级值，从这个意义上讲，您可以通过反射在运行时解析类型。它编译到CLR，在Mono上运行良好 示例：摘自我在中的（非免费）文章： 下面的Functional programming 以类型作为一级值的语言？,functional-programming,Functional Programming,是否有一种语言，即： 1） 功能性 2） 有类型推断 3） 有咖喱 4） 并将类型作为一级值 还希望从它编译到JVM和/或CLR，首先从开始。这个问题的答案似乎是Haskell或OCaml。F#是功能性的，并且具有类型推断、curry和类型作为一级值，从这个意义上讲，您可以通过反射在运行时解析类型。它编译到CLR，在Mono上运行良好 示例：摘自我在中的（非免费）文章： 下面的createType函数创建给定名称的新.NET程序集、新模块和新公共类类型： > let createType
createType> let createType typeName =
let name = System.Reflection.AssemblyName(Name="tmpAssembly")
let run = System.Reflection.Emit.AssemblyBuilderAccess.Run
let builder = System.Threading.Thread.GetDomain().DefineDynamicAssembly(name, run)
let mdl = builder.DefineDynamicModule "tmpModule"
let attrs = TypeAttributes.Public ||| TypeAttributes.Class
mdl.DefineType(typeName, attrs);;
val createType : string -> TypeBuilder
我刚开始学，但可能对你有用 很可能有一个函数接收一个类型（是的，是一个原始类型，不是该类型的实例）并返回另一个类型（同样，只是类型，不是实例）。如果您对程序的正式验证感兴趣，那么值得一看 它还有一点好处，那就是能够将其代码转换为Haskell/OCaml/Scheme，这样您就可以使用它们的IO/库，因为Coq往往缺少它们
它有类型推断和咖喱，但类型推断并不完美，因为该语言的类型系统远远超过（并且比）标准的Milner-Hindley类型系统更具表现力。看看，它在JVM和.NET上都能工作。这里有一些功能，包括您要查找的内容、查看“Scala是功能性的”部分、“本地类型推断”、“Currying”和“预定义的函数类”文章，还有顶级类型、值和类型的模式匹配、包。Java支持反射，所以……是的，但是它没有类型推断和咖喱。你可以用任何有闭包的语言轻松地咖喱：
curry（f，x）=>（（y）=>f（x，y））反射F#AB