talks:我提供的公开演讲的幻灯片，笔记和海报的集合

【文件属性】：
文件名称：talks:我提供的公开演讲的幻灯片，笔记和海报的集合
文件大小：23.52MB
文件格式：ZIP
更新时间：2021-05-01 10:09:12
HTML 会谈 我提供的公开演讲的幻灯片，笔记和海报的集合，并在可能的情况下进行注释。 *结构-包括*Monoids和*Monads-是数学工具的一个很好的例子，已证明它在Haskell中作为概念非常有用。 各种*结构为您提供了程序组成，实施和安全保证方面的强大工具。 这篇演讲展示了在编程中使用正则表达式时，无处不在的工具的实现如何在使用经常被忽视的*结构Free Alternative时变得微不足道。 通过这个易于访问的示例，我们探索了选择使用*结构进行实施而不是其他潜在方法的特殊好处，并探讨了使（所有类型的）*结构成为强大的编程工具的哲学。 在纽约市上的。 2017年8月16日在Kievfprog上发表的关于如何查看依赖类型如何在您的日常实用代码中提供帮助的演讲！ 根据我的演讲。 LambdaConf 2017 在科罗拉多州博尔德举行的函数式编程会议。 单身人士和你 幻灯片

【文件预览】：
talks-master
----lambdaconf-2016()
--------FCDIP-LambdaConf16.pdf(869KB)
--------README.md(488B)
--------FCDIP-LambdaConf16.pptx(480KB)
----_config.yml(27B)
----.gitignore(48B)
----aogs-2016()
--------README.md(622B)
--------RNN_ElNino_Drought-AOGS2016.pptx(4.8MB)
--------RNN_ElNino_Drought-AOGS2016.pdf(1.83MB)
----README.md(8KB)
----csgc-2016()
--------README.md(700B)
--------NeuralNetwork-ENSO-Precipitation.pdf(2.57MB)
--------NeuralNetwork-ENSO-Precipitation.pptx(7.28MB)
----.gitmodules(576B)
----composeconf-2019()
--------free-alternative.pdf(246KB)
--------README.md(1KB)
--------free-alternative.md(11KB)
--------reveal.js()
--------img()
--------free-alternative.html(52KB)
----CNAME(12B)
----descriptions.yaml(7KB)
----csgc-2015()
--------README.md(773B)
--------csgc-functors-comonads-dip-poster.pdf(603KB)
--------csgc-functors-comonads-dip-slides.pdf(1.24MB)
--------csgc-functors-comonads-dip-slides.pptx(3.7MB)
----lambdaconf-2017()
--------dependent-types()
--------README.md(3KB)
--------singletons()
----Build.hs(4KB)
----Script()
--------Descriptions.hs(5KB)
----kievfprog()
--------dependent-types.html(54KB)
--------typed-networks.hs(4KB)
--------README.md(779B)
--------dependent-types.pdf(259KB)
--------reveal.js()
--------img()
--------dependent-types.md(13KB)
--------untyped-networks.hs(3KB)