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?
已存檔?
是復刻?
已鎖定?
是鏡像?
是私有?