https://tonybai.com/tags/haskell/Recent content in Haskell on Tony BaiHugozh-cn2004-2026 Tony Bai. 版权所有.Mon, 09 Mar 2026 00:00:00 +0800https://tonybai.com/2026/03/09/hardcore-review-13-languages-ai-favorite-go-performance/Mon, 09 Mar 2026 00:00:00 +0800https://tonybai.com/2026/03/09/hardcore-review-13-languages-ai-favorite-go-performance/本文永久链接 – https://tonybai.com/2026/03/09/hardcore-review-13-languages-ai-favorite-go-performance 大家好，我是Tony Bai。 随着 Claude Code、Gemini Cli、Codex 等 AI 编程工具的全面普及，“让 AI 写代码”已经从极客的玩具变成了日常的生产力。随之而来的是一个触及灵魂的...https://tonybai.com/2025/10/30/type-theory-intro-for-gopher/Thu, 30 Oct 2025 00:00:00 +0800https://tonybai.com/2025/10/30/type-theory-intro-for-gopher/本文永久链接 – https://tonybai.com/2025/10/30/type-theory-intro-for-gopher 大家好，我是Tony Bai。 你是否曾有过这样的经历：在浏览一个关于 Go 泛型或接口设计的 GitHub issue 或技术提案时，评论区里的大佬们突然开始讨论 “Sum Type”、“Product Type”、“Parametric Polymorphi...https://tonybai.com/2024/08/11/understand-functional-programming-in-go/Sun, 11 Aug 2024 00:00:00 +0800https://tonybai.com/2024/08/11/understand-functional-programming-in-go/本文永久链接 – https://tonybai.com/2024/08/11/understand-functional-programming-in-go > 一个孩子要尝试10次、20次才肯接受一种新的食物，我们接受一种新的范式，大概不会比这个简单。– 郭晓刚 《函数式编程思维》译者 函数式编程(Functional Programming, 简称fp)是一种编程范式，与命令式编程(Impe...https://tonybai.com/2022/07/07/gocn-community-go-book-club-issue2-go-programming-from-beginner-to-master/Thu, 07 Jul 2022 00:00:00 +0800https://tonybai.com/2022/07/07/gocn-community-go-book-club-issue2-go-programming-from-beginner-to-master/本文永久链接 – https://tonybai.com/2022/07/07/gocn-community-go-book-club-issue2-go-programming-from-beginner-to-master 本文是2022年6月26日我在**GoCN社区的Go读书会第二期《Go语言精进之路》直播的文字稿**。本文对直播的内容做了重新整理与修订，供喜欢阅读文字的朋友们在收看直播后...https://tonybai.com/2022/04/23/taking-a-closer-look-at-programming-thinking-in-go/Sat, 23 Apr 2022 00:00:00 +0800https://tonybai.com/2022/04/23/taking-a-closer-look-at-programming-thinking-in-go/本文永久链接 – https://tonybai.com/2022/04/23/taking-a-closer-look-at-programming-thinking-in-go 经过十几年的演化和发展，Go语言在全世界范围内已经拥有了百万级别的拥趸，在这些开发者当中，除了一部分新入行的编程语言初学者之外，更多的是从其他编程语言阵营转过来的开发者。由于Go语言上手容易，在转Go的初期大家很快就掌...https://tonybai.com/2021/02/18/typing-generic-go-by-griesemer-at-gophercon-2020/Thu, 18 Feb 2021 00:00:00 +0800https://tonybai.com/2021/02/18/typing-generic-go-by-griesemer-at-gophercon-2020/> 注：本文是首发于笔者微信公众号“iamtonybai”上的付费文章，这里免费分享给大家！ 在2020.11.9~11.13举行的全球最具影响力的Go语言技术大会GopherCon 2020上，Go语言之父之一的Robert Griesemer为全世界Gopher们带来了本次大会最重量级的演讲**“Typing \[Generic\] Go”**。 图：Robert Griesemer带来的有关...https://tonybai.com/2017/10/24/go-evolution-for-ten-years-an-interview-by-osc/Tue, 24 Oct 2017 00:00:00 +0800https://tonybai.com/2017/10/24/go-evolution-for-ten-years-an-interview-by-osc/在参加源创会沈阳站分享之前，接受了开源中国社区编辑王练的文字专访，以下是我针对专访稿的内容。 同时该专访稿首发于开源中国开源访谈栏目，大家可以点击这里看到首发原稿。 1、首先请介绍一下自己 大家好！我叫白明（Tony Bai），目前是东软云科技的一名架构师，专职于服务端开发，日常工作主要使用Go语言。我算是国内较早接触Go语言的程序员兼Advocater了，平时在我的博客、微博和微信公众号”iam...https://tonybai.com/2017/04/20/go-coding-in-go-way/Thu, 20 Apr 2017 00:00:00 +0800https://tonybai.com/2017/04/20/go-coding-in-go-way/本篇文章是我在2017年第三届GopherChina大会上所作talk：”Go coding in go way)“的改编和展开版，全文如下。 一、序 --- 今天我要分享的题目是**“Go coding in go way”**，中文含义就是用**“Go语言编程思维去写Go代码”**。看到这个题目大家不禁要问：究竟什么是Go语言编程思维呢？关于什么是Go语言变成思维其实并没有官方说法。这里要和大...https://tonybai.com/2017/04/06/an-interview-with-me-as-a-lecturer-of-gopherchina-2017/Thu, 06 Apr 2017 00:00:00 +0800https://tonybai.com/2017/04/06/an-interview-with-me-as-a-lecturer-of-gopherchina-2017/今年有幸收到GopherChina大会的组织者、beego开源项目的owner、《Go Web编程》的作者谢孟军童鞋的邀请，以讲师身份参加今年的GopherChina大会。下面是GopherChina对我这个讲师的专访稿^0^。该专访稿将同时被发布在公众号“Go中国(微信号：golangchina)”上面，可点击这里&version=11020201&pass_ticket=ubemadJo5Ju...https://tonybai.com/2013/10/22/some-experience-about-learning-programming-language/Tue, 22 Oct 2013 00:00:00 +0800https://tonybai.com/2013/10/22/some-experience-about-learning-programming-language/_Learn at least one _new language every year_.                                               — Andy Hunt and Dave Thomas_ 自己一直是“每年学习一门新语言”的忠实拥趸，曾先后认真地学习了Haskell、Common Lisp、Python、Go等语言，对Prolog、Scala、...https://tonybai.com/2012/10/08/the-new-age-of-programming-language/Mon, 08 Oct 2012 00:00:00 +0800https://tonybai.com/2012/10/08/the-new-age-of-programming-language/近期看到一则新闻，说是Microsoft推出了一门开源的编程语言叫TypeScript，该Project的主要负责人是大名鼎鼎的Anders Hejlsberg，就是那个Turbo Pascal 、Delphi以及C#)之父。结合近几年来出现的颇受关注的其他几门编程语言，如Go、Rust、Dart)等，让我感觉到编程语言似乎进入了"拼爹"时代。 我们来列举一下这几门新兴语言的“老爹”(设计者)： ...https://tonybai.com/2012/08/17/hello-go/Fri, 17 Aug 2012 00:00:00 +0800https://tonybai.com/2012/08/17/hello-go/_**Go is expressive, concise, clean, and efficient. Its concurrency mechanisms make it easy to write programs that get the most out of multicore and networked machines, while its novel type system ena...https://tonybai.com/2012/05/08/translate-seven-languages-in-seven-weeks/Tue, 08 May 2012 00:00:00 +0800https://tonybai.com/2012/05/08/translate-seven-languages-in-seven-weeks/今天在互动出版网看到《七周七语言：理解多种编程范型》一书已经开卖了。看到自己参与翻译的第一本书出版了，心中还是很愉悦的，因为自己的辛苦付出终于有了结果。 **一、缘起** 能够参与到这本书的翻译完全是机缘巧合。记得2011年初我启动了一个《Programming in Haskell》的公共翻译项目，可是由于欠缺版权的考虑，中途不得不终止了该书的翻译。当时经dreamhead介绍联系到图灵的刘江总...https://tonybai.com/2011/08/05/some-experience-of-common-lisp-beginner/Fri, 05 Aug 2011 00:00:00 +0800https://tonybai.com/2011/08/05/some-experience-of-common-lisp-beginner/Common Lisp是一门Interactive语言，比较容易上手。无论你是用CLISP，SBCL还是Clozure CL，你都可以很快地写出一个"Hello, World"程序出来。不过千万不要因此低估了Common Lisp，前人的经验表明：Common Lisp是门庞大且复杂的语言，其学习曲线可并不低。要想真正掌握它，需要你有持续的热情、足够的耐心和不断的练习。我接触Common Lisp...https://tonybai.com/2011/06/21/hello-common-lisp/Tue, 21 Jun 2011 00:00:00 +0800https://tonybai.com/2011/06/21/hello-common-lisp/Paul Graham不愧被誉为Lisp)的超级推手，他的煽动力真的是很强悍。这不才刚刚看完一遍他编写的《黑客与画家》后，我就决定将Common Lisp作为今年计划学习的那门新语言，而且从现在就开始。 去年曾囫囵吞枣般的学习过Haskell，一门通用且庞大的纯函数式编程语言。在惊叹于Haskell如此与众不同且功能强大的同时，也为Haskell Monad那魔鬼般的蹩脚语法所苦恼，而Monad的...https://tonybai.com/2010/11/14/the-chinese-translation-project-for-programming-in-haskell/Sun, 14 Nov 2010 00:00:00 +0800https://tonybai.com/2010/11/14/the-chinese-translation-project-for-programming-in-haskell/_"A language that doesn't affect the way you think about programming， is not worth knowing"._ — Alan Perlis(ACM 第一任主席，图灵奖得主，1922-1990) 《程序员修炼之道》这本书建议程序员每年应至少学习一门新的语言，以拓宽思维，避免墨守成规。今年我选择了函数式编程语言Haskell。...