搜索结果: 1-2 共查到“计算机科学技术基础学科 side-effects”相关记录2条 . 查询时间(0.079 秒)
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with “witnesses,” which is based on an arguably more pragmatic mo...
We present a new approach to the old problem of adding global mutable state to purely functional languages. Our idea is to extend the language with “witnesses,” which is based on an arguably more prag...