世界上是否有任何编译器为简单的函数式语言,如定义的,或可能只是方案,甚至是ML本身?也就是说,编译器将分析上述简单函数语言的代码,执行复杂的优化,如流融合并返回优化的代码?我需要这样做的原因是,我正试图将我的简单的玩具语言(几乎是lambda演算+数字和数组)编译成JavaScript,但由于天真的编译器完全没有优化,所以编译速度非常慢。函数没有被取消,像(map f (map g h))这样的东西没有融合到(map (f . g) h)中</
我是tensorflow的新手,正在尝试弄清楚tensorflow中的自动区分功能是否可以解决我的问题。所以我有两个网络,每个网络输出一个潜在的向量。因此,假设我的网络A输出潜在向量-La(Hxr) -其中(H,r)表示输出潜在向量La的维度。类似地,net B输出Lb(Wxr)。因此,我的目标函数将这两个延迟都作为输入,并将它们组合在一起,如(La.Lb') where (.)是点积,(')表示转置。我将使用交叉熵来优化这个目标函数。现在我的问题是