函数式编程参考材料,可能会加标注 https://hfpug.org/ https://wiki.haskell.org/Research_papers https://devtut.github.io/haskell/getting-started-with-haskell-language.html https://cosmius.bitbucket.io/tkhe/ https://en.m.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours https://kseo.github.io/archive.html https://www.cs.rpi.edu/academics/courses/fall00/ai/scheme/reference/schintro-v14/schintro_toc.html 这就是一个FP方面的资料汇总: https://csgordon.github.io/books.html http://www.cse.chalmers.se/edu/year/2019/course/TDA555/tourofprelude.html https://www.tweag.io/blog/tags/linear-types/ https://www.parsonsmatt.org/2017/04/26/basic_type_level_programming_in_haskell.html 程序员学范畴论：Part1: https://segmentfault.com/a/1190000003882331 Part2 : https://segmentfault.com/blog/haskellwinerly https://ncatlab.org/nlab/show/HomePage http://wall.org/~lewis/2013/10/15/asm-monad.html https://cgi.soic.indiana.edu/~c311/doku.php?id=assignments https://apfelmus.nfshost.com/articles/monoid-fingertree.html https://chrispenner.ca/posts/conways-game-of-life.html https://ocharles.org.uk/blog/pages/2014-12-01-24-days-of-ghc-extensions.html Haskell Road to Logic: https://staff.fnwi.uva.nl/d.j.n.vaneijck2/HR/ http://blog.ezyang.com/2011/06/pinpointing-space-leaks-in-big-programs/ https://aphyr.com/posts/342-typing-the-technical-interview 类型安全的Printf: https://www.brics.dk/RS/98/12/BRICS-RS-98-12.pdf Applicative Functor 的数学模型: https://openaccess.city.ac.uk/id/eprint/1141/1/Constructors.pdf haskell编译相关: https://docs.google.com/presentation/d/1g_-bHgeD7lV4AYybnvjgkWa9GKuP6QFUyd26zpqXssQ/mobilepresent?slide=id.gb337138973_0_388 软件基础: https://coq-zh.github.io/SF-zh/ https://bartoszmilewski.com/2017/12/29/stalking-a-hylomorphism-in-the-wild/ https://retro-freedom.nz/haskell-magic-hylomorphisms-and-divide-and-conquer.html https://two-wrongs.com/the-what-are-monads-fallacy.html 函数式编程历史: https://zhuanlan.zhihu.com/p/24648375 https://thzt.github.io/2019/02/26/algebraic-effects/ functional data structures for scheme: https://github.com/ijp/pfds 范畴论高速入门: http://www.cs.nott.ac.uk/~pszgmh/cat.html http://www.cse.chalmers.se/~rjmh/afp-arrows.pdf http://www.cse.chalmers.se/~peterd/papers/DependentTypesAtWork.pdf https://blog.poisson.chat/posts/2019-10-27-continuation-submonads.html https://fsharpforfunandprofit.com/rop/ https://www.andres-loeh.de/LambdaPi/ http://kmcallister.github.io/talks/rust/2015-dependent-types/slides.html https://bitemyapp.com/blog/why-are-types-useful/ 组合子逻辑: http://codex.wordpress.org.cn/%E7%BB%84%E5%90%88%E5%AD%90%E9%80%BB%E8%BE%91?tdsourcetag=s_pctim_aiomsg http://okmij.org/ftp/Scheme/monad-in-Scheme.html https://www.mew.org/~kazu/proj/red-black-tree/ http://matt.might.net/articles/red-black-delete/ http://www-formal.stanford.edu/jmc/history/lisp/lisp.html https://people.inf.elte.hu/divip/AgdaTutorial/Index.html Parser Combinator 经典论文 : http://www.cs.nott.ac.uk/~pszgmh/monparsing.pdf https://retro-freedom.nz/haskell-magic-making-hylos-faster.html https://brianmckenna.org/blog/row_polymorphism_isnt_subtyping https://spin.atomicobject.com/2012/12/08/minikanren-in-haskell/ https://cs.uwaterloo.ca/~plragde/flaneries/TYR/ https://cs.uwaterloo.ca/~plragde/flaneries/LACI/ http://yannesposito.com/Scratch/en/blog/Haskell-the-Hard-Way/ https://angelika.me/elixir-enum-cheatsheet/ Discrete Mathematics Using a Computer : 使用haskell语言讲解离散数学 http://mgampkay.github.io/archive.html https://cs.pomona.edu/~michael/courses/csci181ns20/ Wadler的论文: http://homepages.inf.ed.ac.uk/wadler/papers/ https://yi-programmer.com/2010-04-06_haskell_and_category_translate.html? https://www.metalevel.at/prolog https://github.com/BartoszMilewski/Publications http://www.willamette.edu/~fruehr/haskell/evolution.html https://markwatson.com/books/