effectful-explanations-talk:“解释其效果的程序”演讲材料

【文件属性】：
文件名称：effectful-explanations-talk:“解释其效果的程序”演讲材料
文件大小：1.27MB
文件格式：ZIP
更新时间：2021-05-11 14:02:26
Haskell 解释其效果的程序 演讲材料： 查默斯功能编程小组，哥德堡，2018年3月2日。 伦敦Haskell用户组演讲，2018年1月24日。 HaskellX Bytes（SkillsMatter），伦敦，2017年11月9日。 此处的示例应该是自容的，但可以根据库进行重写： Control.Monad.Effect（ ） Data.Type.Map（ ） 本演讲中的想法包含在各种论文中，最相关的是： 在Haskell中嵌入效果系统（Orchard，Petricek 2014）（ ） 参数化的计算概念（Atkey 2006，2009）（ ）

【文件预览】：
effectful-explanations-talk-master
----foo(26B)
----GradedMonad.hs(981B)
----UnsafeFiles.hs(99B)
----AtomicState.hs(1KB)
----README.md(872B)
----slides.pdf(341KB)
----TypeLevelMaps.hs(2KB)
----GradedState.hs(1KB)
----State.hs(555B)
----SafeFiles.hs(3KB)
----Count.hs(2KB)
----slides-chalmers.pdf(1.27MB)
----Security.hs(1KB)
----ExtensibleState.hs(2KB)
----intro.hs(339B)
----AtomicStateAlt.hs(1KB)
----ParameterisedMonad.hs(952B)