各位电视机前的朋友,港澳同胞们!海外侨胞们!今天下午,在上海,有一场函数式编程的盛会。
会议的议程如下图图一所示,地点和在线视频链接见图二。
演讲者都是该领域的华人大腕儿(主要是程序员,也有Researcher)。
会议发起者寒冬是国内Haskell社区最著名的KOL,魔力哈一书的作者,目前在带领一群Haskell程序员构建物联网的基础设施(杭州映云科技)。
张寅森(Tesla Zhang,网名:千里冰封,ice1000)是类型系统专家;他是JetBrain推出的实现HoTT类型系统的Arend语言的开发者之一;你可以在这个页面看到他 https://t.cn/A6f9nRMz
其他人的背景我不熟。
@爱可可-爱生活 @蚁工厂 @网路冷眼
会议的议程如下图图一所示,地点和在线视频链接见图二。
演讲者都是该领域的华人大腕儿(主要是程序员,也有Researcher)。
会议发起者寒冬是国内Haskell社区最著名的KOL,魔力哈一书的作者,目前在带领一群Haskell程序员构建物联网的基础设施(杭州映云科技)。
张寅森(Tesla Zhang,网名:千里冰封,ice1000)是类型系统专家;他是JetBrain推出的实现HoTT类型系统的Arend语言的开发者之一;你可以在这个页面看到他 https://t.cn/A6f9nRMz
其他人的背景我不熟。
@爱可可-爱生活 @蚁工厂 @网路冷眼
用了它,程序员不是一定就是地中海的
作为一名程序员感觉被别人问的最多的问题就是你们公司是不是都是地中海呀之内的问题,我都要被问哭了,不过说实话变成一个程序员之后真的是掉头发的问题真的越来越严重了,头发也越来越少了,生怕到时候还没有结婚的先变成一名大叔了。Lescolton生发仪还是在大V那里种草的,入手了一个没想到效果还真的是挺不错的呢,掉发越来越少了,而且感觉长出了不少若隐若现的毛绒了呢,过不了多久我也是一个头发茂密的人了,想想都笑出声来。#生发仪#
作为一名程序员感觉被别人问的最多的问题就是你们公司是不是都是地中海呀之内的问题,我都要被问哭了,不过说实话变成一个程序员之后真的是掉头发的问题真的越来越严重了,头发也越来越少了,生怕到时候还没有结婚的先变成一名大叔了。Lescolton生发仪还是在大V那里种草的,入手了一个没想到效果还真的是挺不错的呢,掉发越来越少了,而且感觉长出了不少若隐若现的毛绒了呢,过不了多久我也是一个头发茂密的人了,想想都笑出声来。#生发仪#
适合学生用的防脱洗发水?作为一个程序员的秃头少女,脱发真的让我备受打击,相亲失败 后来听说山中草防脱洗发水超级好用就买来试试??喜欢这个侧柏叶的味道,很好闻,洗后头发感觉很蓬松,现在基本不脱发了 之前头屑很多,头皮发痒,用了山中草防脱洗发水,都有了很好的控制泡沫细腻且丰富,推荐这款宝贝。
✋热门推荐