awesome-functional-programming

Yet another resource for collecting articles, videos etc. regarding functional programming

Github星跟踪图

Awesome Functional Programming Awesome

Contents

Tutorials and Articles

Lenses

Monads

Purescript

Elm


Awesome


Books


Resources


Combinators


Presentations


Videos


Youtube channels


Libraries

Javascript


Livescript


Java


Clojure/ClojureScript


ClojureScript


Scala


Kotlin


F#


C#


Swift


Python


PHP


Rust


Julia


Go


Haskell


Elixir


Erlang


OCaml


Racket


Languages

  • Pyret - A programming language designed to serve as an outstanding choice for programming education while exploring the confluence of scripting and functional programming
  • Ela - A dynamic functional language
  • Eta - A powerful language for building scalable systems on the JVM
  • Koka - A function-oriented language with effect inference
  • Ditto - A super kawaii dependently typed language for you!
  • F* - (pronounced F star) An ML-like functional programming language aimed at program verification
  • Idris - A general purpose pure functional programming language with dependent types
  • Agda - A dependently typed functional programming language
  • Coq - A formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs

主要指标

概览
名称与所有者xgrommx/awesome-functional-programming
主编程语言
编程语言 (语言数: 0)
平台
许可证
所有者活动
创建于2015-11-14 22:19:43
推送于2024-01-16 08:10:48
最后一次提交2024-01-16 10:10:47
发布数0
用户参与
星数3.5k
关注者数149
派生数304
提交数225
已启用问题?
问题数9
打开的问题数6
拉请求数44
打开的拉请求数6
关闭的拉请求数6
项目设置
已启用Wiki?
已存档?
是复刻?
已锁定?
是镜像?
是私有?