这个问题已经解决了,它是一个从字符串到“可能a”的映射,具有下面定义的空、插入、查找函数,我无法理解解决方案。守则:empty = \x -> Nothing
insert (s, a) m = \x -> if x == s then Just a else m x
lookup :: String
我正在读modify ce i c = ce{classes=\j→if I==j then Just c else classes ce j}
J是从哪里来的?在第13页上有一个关于modify的简短介绍,但根本没有提到j。在p14上,有一个对addClass下的return (modify ce i ( is,[]))的调用。这就是我不明白的地方。谢谢你的帮助。
我想知道在这个程序中,revert关键字是如何工作的。在我对函数“寄存器”的解释中,if语句询问查找名字是否等于0地址(该地址是契约地址?)。然后,如果该地址不等于合同地址,则还原(与所需的类似吗?)该程序运行良好,但我知道我不能正确理解这里的还原。mapping(string => address) public lookup;
/// @notice Registers a new name, and points it to your= address(