Types 用标准ML实现的视图
是否有支持Okasaki在这里描述的视图的ML实现？Types 用标准ML实现的视图,types,sml,ml,Types,Sml,Ml,是否有支持Okasaki在这里描述的视图的ML实现？ MosML/SMLNJ中是否有类似的东西？不是真实世界的实现，但我曾经将视图合并到SML解释器中；具体来说，一种针对SML的变体（link似乎已经死了），是当时社区设想的SML的进化扩展。据我所知，SML没有其他视图的实现
MosML/SMLNJ中是否有类似的东西？不是真实世界的实现，但我曾经将视图合并到SML解释器中；具体来说，一种针对SML的变体（link似乎已经死了），是当时社区设想的SML的进化扩展。据我所知，SML没有其他视图的实现