标签: types sml ml
是否有任何支持视图的ML实现,如Okasaki所述http://www.cs.tufts.edu/~nr/cs257/archive/chris-okasaki/views.pdf? MosML / SMLNJ中有类似的东西吗?
答案 0 :(得分:1)
不是真实世界的实现,但我曾经将视图合并到HaMLet SML解释器中;具体而言,一个针对"Successor ML"的变体(链接似乎已经死亡),是当时社区所设想的SML的进化扩展。据我所知,SML没有其他视图实现。