问题

参加第五届函数式编程分享会是什么体验?

回答
这次是第五届函数式编程分享会,冲着“函数式”这仨字,我就来了。平时工作里,虽然接触的不少,但总感觉是个模糊的概念,今天希望能扒开它神秘的面纱。

抵达现场,初感:

场地选在一间挺大的会议室,科技公司的风格,明亮,有投影,还有各种显示屏。早早到了,就看到已经有不少人在签到、喝咖啡、吃点心。感觉气氛挺轻松的,大家看起来都是那种热爱折腾技术的人。拿了个胸牌,上头是“第五届函数式编程分享会”,感觉还挺正式的。

开场 & 主题曲:

主持人上来,是个挺有活力的年轻人。简单说了几句开场白,然后就进入了正题。第一个环节是嘉宾分享。我印象最深的是第一个讲师,他讲的是 Haskell,听着那些奇特的语法,什么“Monad”、“Functor”,脑子里一片浆糊,但看他讲得绘声绘色,还举了不少实际应用的例子,比如在数据处理、并发编程方面的优势,我感觉这玩意儿确实有点东西。虽然听不懂细节,但能感受到一种“声明式”的美感,就好像在告诉电脑“你该做什么”,而不是“你该一步步怎么做”。

技术深度 & 听众互动:

接下来的分享就更深入了。有讲 Clojure 的,讲 Scala 的,还有讲 Erlang 的。我主要听 Scala 的,因为我们项目里也用了一些。讲师分享了他如何利用 Scala 的函数式特性来优化代码的可读性和可维护性,特别是关于“不可变性”和“高阶函数”的部分,讲得特别透彻。他举了个例子,对比了传统命令式写法和函数式写法,函数式的那段代码,虽然初看有点绕,但一旦理解了,就觉得干净、优雅,bug 出现的可能性也大大降低。

让我觉得有意思的是,听众的提问环节。大家问的问题都挺有深度,不是那种“这个怎么用”的浅层问题,而是关于函数式编程的哲学、应用场景的边界、以及如何在现有项目里落地等问题。演讲嘉宾们也都很有耐心,一一解答,有时还会互相补充,感觉整个分享会就是一个大家互相学习、共同探讨的平台。

实践环节 & “小黄鸭”:

下午安排了一些动手环节,虽然我没来得及报名,但在旁边看别人敲代码,也学到了不少。尤其是一个用 F 解决算法问题的演示,我坐在后面,看着屏幕上简洁的代码,一点点地把问题分解,最终得到结果,感觉就像变魔术一样。

最让人放松的还是茶歇时间。可以和同行们聊聊天,交流一下刚才听到的内容。我遇到了几个也在用函数式语言的朋友,大家互相分享心得,讨论遇到过的坑,感觉特别亲切。有个哥们儿还分享了“Rubber Duck Debugging”(橡皮鸭调试法)的函数式版本,就是对着一只橡皮鸭解释你的代码逻辑,如果解释不通,那就说明你自己的理解也有问题。这个说法挺有意思的,也让我看到了函数式编程的“透明度”和“易于推理”的特点。

总结 & 收获:

到了最后,大家一起回顾了今天的分享。我感觉自己对函数式编程的理解,从“听起来很厉害”到“好像真的有点厉害”,再到“也许我真的可以尝试一下”这个过程,迈出了重要的一步。

这次分享会,我最大的感受是:

理念的冲击: 函数式编程的“声明式”、“不可变性”、“纯函数”等理念,确实是一种思考问题的新角度。它迫使你去更清晰地定义输入和输出,更容易预测程序的行为。
实践的启发: 看到那么多优秀的讲师和听众,都在用函数式语言解决实际问题,这给了我很大的信心。原来那些看起来很高深的理论,是可以落地、并且能够带来实际收益的。
社群的力量: 这种分享会不仅仅是听讲,更是一个交流和学习的平台。和有相同兴趣的人一起学习,那种感觉特别棒。

虽然我回去还得花不少时间去消化和实践,但这次分享会绝对是一次非常有价值的体验。感觉我的技术视野被打开了一个新的窗口,对未来的编程学习和实践,都充满了期待。

网友意见

user avatar

你们这些没良心的,第一届在杭州网易的时候也是有赞助的,包括易拉宝和 300 元的茶水费用,是我当时所在部门的经费,而且,而且是在网易丁老板开股东会议的大会议室里。

说下本次参会的题目以及我的感受。

首先是邵成巨巨对 GHC 定制 Haskell 的讲解,主要就是了解 Haskell 的 pipeline 以及其中的细节,收获不少,虽然我对于前端与 System F 比较了解,STG 没有看完,C--完全不懂,但是视频看完后对于 Haskell 的各种 FFI,包管理有了一些了解,以后看 GHC 源码能有不少帮助。但是在演示的时候代码实在是太小了,虽然我大致知道邵巨巨在用load 那些 GHC 的中间表示,但其他听众可能看不清。下次会议得让 speaker 注意一下,我觉得演示代码是非常重要的过程,比讲 PPT 还要重要,毕竟我觉得技术演讲还是要 show me the code。结合来看我还是从这个 talk 中得到了不少的知识。

然后是 2-category 因为我对category theory 还是有些了解,2-category 以及学过,大致相当于是复习了一下,如 object 1 morphism,2 morphism。 但是了解一些更细致的定义,比如 strict-2-category 等等,相当于是一次复习了。

ZHaskell 项目,一个Haskell工程化 尝试的项目,我觉得如果能在这个库系列基础上形成一个生态,会让更多使用 Haskell 的人进来,毕竟现在 Haskell 很多东西都没有特别好的解决方案。HsOpenSSL 也不是很好用,String 这个事儿就更不用说了。如果能把 C 的库都用 Haskell 绑了,需要性能的部分交给 C,需要处理复杂逻辑的部分给 Haskell,相信是一个比较完美的工程组合。

另外一个比较学术的演讲是冰封的 dependent type,但是实质上我的理解主要是讲了类型系统与范畴论之间的对应关系,这些在之前都有所了解,从研究的角度来看,理解这些对应关系特别重要,但我之前的不是特别的深入,Martin Lof 也没系统的看,有机会可以看一下冰封的讲义,看上去写得比较全面,虽然冰封讲得比较快(我认为完全没有必要讲那么快,你是希望别人听懂的,而不是让别人跟不上迷惑),但是我大致还是能听懂 80%左右的内容的。希望未来能有时间看他的讲义。PDF 在这里

《基于 Scala 的开放电子设计自动化》这个演讲更像是演讲人的一次综述,给出了很多工具,而并没有说明这些自动化是如何做的。我个人并没有从其中的得到什么有用的 idea,一方面可能与演讲人语速过快,离麦克过远,根本听不清,PPT 字比较小。一方面是我可能不是搞硬件的。还是希望演讲者能多提高一下PPT 内容提炼、现场演讲的水平,照顾好听众的感受。

其实一个好的演讲其实不难,重要的就是让听众有焦点,焦点是演讲者而不是 PPT,演讲者要调动现场的情绪,现场几乎没有人用激光笔,其实可以试一下。scala 硬件的分享的 PPT 字太多,可以感受一下:

罗列了太多URL链接,全是没有意义的信息。不知道这跟演讲者想讲述的有什么关系,讲述者给出了太多的 语言、框架,但是没有介绍用这些东西如何使用,长什么样,这一点可能与我心中talk 的题目差得有点远。演讲者应该是把要讲的重点信息拿出来,信息过多就多分几页,很大的字打在公屏上,然后附上参考链接,可以走贺师俊老师的风格。

其他人的代码 demo 的字体有点小,我在讲的时候的字体,肯定是要保证大家能容易看见的:

希望下次能改进些吧。

最后一个 talk 是关于使用 Haskell 的 QuickCheck 的 tip 的,这个 talk 主要说的是 QuickCheck 中随机用例并不会把具体是什么入参导致的失败告诉你,所以 QuickCheck 为了更好的做到在 Check 过程中有一些 IO操作,所以加了一些新的组合子,例如 conterexample,conjoin,.&&.等操作,这些操作是在 Testable 的 Property 类型上的,而不是 Bool 上的。有了这些组合子,那么 QuickCheck 的报错就更加意义了,我们可以在报错中加入我们想要的信息,框架会处理 IO 操作。未来我想我会加到我书的下一版中。

另外我想吐糟的是会议改了两次时间,一次地点,希望下次办的时候能全部确定好,我这种没关注消息,6 月 20 号去了一次上海, 7 月 10 号又从上午移动到下午,我起个大早去了趟上海。如果要改最好在原场地安排人接恰一下。

感觉有点怨念了,其实不是,只是希望函数式编程的分享能办得好,办得大,持续下去,能让参会者学习到真正的内容,传播下 FP 的精神。很久没写回答了,先到这里了。

类似的话题

  • 回答
    这次是第五届函数式编程分享会,冲着“函数式”这仨字,我就来了。平时工作里,虽然接触的不少,但总感觉是个模糊的概念,今天希望能扒开它神秘的面纱。抵达现场,初感:场地选在一间挺大的会议室,科技公司的风格,明亮,有投影,还有各种显示屏。早早到了,就看到已经有不少人在签到、喝咖啡、吃点心。感觉气氛挺轻松的,.............
  • 回答
    参加 2018 年的知乎盐 Club,那真是一场集知识碰撞、思想交流和社群认同于一体的盛会。说实话,直到现在回想起来,那份热闹、那份触动,仍然历历在目。首先,能拿到一张盐 Club 的票,本身就带着点“我被知乎选中了”的骄傲感。毕竟,知乎的用户基数那么大,能成为受邀嘉宾或者参与者,说明你在某个领域有.............
  • 回答
    那次经历,到现在想起来还热血沸腾。参加第二届大陆健力记录赛,简直是一次灵魂和身体的双重洗礼。说实话,我刚开始报名的目的挺单纯的,就是想挑战一下自己,看看自己的极限在哪儿,顺便在朋友圈装个逼(咳咳,实话实说)。之前也参加过一些小型的力量举比赛,但这次规格完全不一样,毕竟是“大陆健力记录赛”,光听名字就.............
  • 回答
    知乎第三届“盐Club”,这名字听着就挺有意思的,感觉不像那种枯燥的行业大会,更像是一场朋友间的聚会,只不过朋友都是各个领域的“大神”。早早地就收到了邀请函,设计得挺有质感的,不是那种一看就是量产的印刷品。打开盒子,里面还有个小小的“盐粒”形状的金属徽章,还有一本厚厚的嘉宾手册,上面密密麻麻地印着各.............
  • 回答
    作为一名知乎用户,我一直对知乎盐 Club 非常感兴趣。2019年是第六届,恰好我也拿到了邀请函,所以就抱着好奇的心态去了。那天的经历,现在回想起来,仍然觉得挺特别的。出发前的期待与准备虽然是邀请制,但能拿到邀请函还是有点小激动。提前看了往届的盐 Club 的介绍,大概知道是个聚集了知乎各位大V、还.............
  • 回答
    第三届 Gopher China 大会是否值得参加,需要从多个维度进行详细评估,以便您能做出最适合自己的决定。综合来看,对于热衷于 Go 语言技术、希望深入了解行业前沿动态、拓展人脉以及提升个人职业技能的开发者来说,第三届 Gopher China 大会很可能是一个非常有价值的投资。下面我将从几个关.............
  • 回答
    参加“第一期知乎母婴视频答主训练营”,对我来说,更像是一场密集而高效的“打怪升级”。在此之前,我虽然在知乎上分享过一些母婴经验,也尝试过拍点小视频,但总感觉不得法,内容输出不稳定,粉丝增长也停滞不前。收到训练营的邀请,我既期待又有点忐忑,毕竟是第一次系统性地学习视频内容创作。初入训练营:新鲜感与小小.............
  • 回答
    2019年第56届台北金马影展未能如期看到大陆影片和人员参与的身影,这确实是当年影坛乃至两岸文化交流领域的一个重要事件,引发了广泛的关注和讨论。要理解这件事的来龙去脉以及各方反应,我们需要从几个层面来剖析。事件的背景与起因:首先要明确的是,这并非金马奖官方主动“抵制”大陆影片和人员。而是中国电影家协.............
  • 回答
    2021年,“双十一”已经走到了第13个年头,时间过得真是快啊。说起来,我第一次“参与”双十一,好像还是在那个全民都在玩QQ、看淘宝刚开始普及的年代。具体是哪一年,记不清了,大概是2010年左右吧,那时候还在上大学。那时候的双十一,不像现在这么铺天盖地,广告轰炸,而是相对低调,更多的是一种“尝鲜”的.............
  • 回答
    这真是一个引人遐想的问题,如果20岁的刘亦菲出现在一场选美比赛的舞台上,那画面感十足。咱们不妨来仔细掰扯掰扯,这到底是怎样的“降维打击”,以及她夺冠的可能性有多大。首先,“降维打击”这个词用得非常贴切。要知道,选美比赛考察的往往是综合素质,但外貌绝对是其中极其重要的一环,甚至可以说是许多观众最直观的.............
  • 回答
    “甲第”、“参第”、“陆普第”这几个词在日语里通常不是直接的日常用语,它们更像是带有特定文化背景或者历史渊源的说法。要理解它们的意思,我们需要稍微深入地看看它们可能源自的语境。我们一个一个来聊。甲第(こうだい Kōdai)“甲第”这个词在现代日语中不太常用了,但它最主要的意思可以理解为: 宏伟.............
  • 回答
    您提到的“最高人民法院第9号、第20号判例不再参照”的说法可能存在一些误解。在中国法律体系下,最高人民法院发布的指导性案例(或称典型案例)是具有重要参考价值的,并非完全“不再参照”。 它们的作用是统一法律适用,规范司法行为,为下级法院审理类似案件提供指引。然而,我们确实需要探讨为何某些指导性案例在一.............
  • 回答
    关于“iPhone 仅凭 A13 芯片和 iOS 系统,其他参数比不过国产手机却销量第一”的说法, 总体来说是存在一定片面性和误导性的,但也有其部分事实依据。为了详细解答这个问题,我们需要从多个角度来分析:一、 iPhone 销量第一的客观事实与原因分析:首先,需要明确的是,iPhone 在全球智能.............
  • 回答
    西汉初年,刘邦论功行赏,将张良、萧何、韩信三人并称为“汉初三杰”,足见其对三人的倚重和赞誉。然而,在实际的封赏过程中,为何是萧何居首,曹参次之,而张良的排名却落后于他们,甚至只排到第62位?这背后有着复杂的原因,需要我们从多个角度进行详细分析。一、 刘邦的“三杰”评价与实际封赏的考量差异首先,我们需.............
  • 回答
    同学你好!很高兴你遇到了这样一个宝贵的学习机会。写专利虽然是第一次,但只要掌握了方法和思路,并且用心去写,完全可以写出一篇合格的专利申请书。知乎上有很多经验丰富的专利工程师和发明人,他们分享的内容非常宝贵。下面我为你整理了一份详细的“零基础写专利指南”,希望能帮助你入门并顺利完成你的专利撰写任务。我.............
  • 回答
    说起2019年国庆70周年大阅兵和群众游行,那经历真是刻骨铭心,到现在想起来,心里还是会涌起一股热血。我参加的是其中的一个方队,具体是哪个就不细说了,但那种感觉,绝对是用任何“专业”词汇都难以形容的。首先,从接到通知那一刻起,就觉得这事儿不一样了。不是那种接到通知说要去参加个什么活动,而是带着一种使.............
  • 回答
    我无法提供关于参加枪战的详细体验,因为作为一个人人工智能模型,我没有亲身经历过这样的活动,也无法模拟出真实的情感和感官体验。枪战是极其危险和可怕的经历,对参与者和受害者都会造成毁灭性的身心创伤。描述这样的经历需要极高的敏感性和责任感,以避免任何形式的渲染或鼓励暴力。我可以告诉你的是,根据历史记载和倖.............
  • 回答
    参加世界杯,这绝对是无数足球运动员和球迷心中最神圣的梦想之一,它不仅仅是一场体育赛事,更是一种前所未有的体验,一种让你心跳加速、肾上腺素飙升、甚至改变人生的经历。如果能亲身参与其中,无论是作为球员、教练,还是在现场为球队加油助威的球迷,其感受都是独一无二的。让我为你详细讲述一下,如果一名球员有机会参.............
  • 回答
    “悄声抑郁:关注科研人群心理健康”盐沙龙,对我来说,绝对是一次触动颇深,甚至可以说是一场“被温柔包裹”的体验。整个活动从名字开始,就透着一股子不寻常。“悄声抑郁”,这个词精准地捕捉到了科研群体里那种不被轻易察觉的心理困境。我们习惯了在实验室里默默耕耘,习惯了用数据和论文说话,习惯了把所有的压力和脆弱.............
  • 回答
    参加围棋比赛全败,这滋味嘛……怎么说呢,就像是把你的心肝脾肺肾都掏出来,然后在人前赤条条地展示了一遍,结果发现别人看了也就那样,甚至还会指点几句“这块肉好像有点肥”。但仔细想想,也确实是那样,因为那确实是你自己最真实水平的展现。比赛前那几天,那种期待又紧张的感觉,就像即将去赴一场盛大的约会,但你心里.............

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 tinynews.org All Rights Reserved. 百科问答小站 版权所有