2018年4月月度技术分享会
大家好,4月21日(星期六) SHLUG 将会举办 2018 年度第三次技术交流聚会。感谢 Zippia 为本次活动提供场地支持.
地址: 上海市杨浦区锦建路99号,腾讯众创空间 5 楼 (走法:面对腾讯众创空间的牌子,楼下是杨浦幼稚园。右手边有一条 3 米宽的路,进来上楼即可。) 百度地图
时间: 2018年4月21日(星期六) 14:00 - 16:30
报名: 不需要
费用: 不需要
本月聚会内容:
-
主题:《Testing with QuickCheck 》 演讲者:喻昌远
-
主题:《Introduction to Cluster Scheduler Nomad》 演讲者:Su Yan
-
自由交流
-
会后AA聚餐
我们热烈欢迎任何对于 Linux 以及自由和开源软件感兴趣的朋友前来参加!
主题详细信息:
主题1
《Testing with QuickCheck》
演讲者
喻昌远,数字集成电路设计工程师,自由软件爱好者,对函数式编程、智能家居感兴趣。
简介
QuickCheck是一个Haskell的测试库,用于测试函数是否满足某些特性。通过自动生成随机测试,QuickCheck尝试找到不满足特性的输入,并尽可能的进行简化。本次分享首先会简单的介绍一下Haskell的相关语法,然后通过几个例子对QuickCheck的用法进行说明。
需要的基础知识
- 简单的函数编程知识,了解Haskell更佳
- 了解C语言
预计时长
60分钟
主题2
《Introduction to Cluster Scheduler Nomad》
演讲者
Su Yan,实践纯函数式编程,对 Type Theory 及 Category Theory 感兴趣,目前失业。
简介
Nomad 是 HashiCorp 推出的一个集群调度器,与其他同类工具相比非常不知名,本次简单介绍一下相关概念以及 Nomad 本身。
预计时长
~40分钟
需要的基础知识
无