corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a08726-197e-7324-86ae-0dff47fd3fb7

Roadmap of Concepts in Functional Programming

alperenkeles.com · published 20 January 2023

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at alperenkeles.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
56
Words captured
156

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://en.wikipedia.org/wiki/Immutable_object
en.wikipedia.org
https://www.baeldung.com/cs/referential-transparency
baeldung.com
https://reasonml.github.io/docs/en/let-binding
reasonml.github.io
https://en.wikipedia.org/wiki/Recursion_(computer_science
en.wikipedia.org
https://en.wikipedia.org/wiki/Tail_call
en.wikipedia.org
https://en.wikipedia.org/wiki/First-class_function
en.wikipedia.org
https://en.wikipedia.org/wiki/Currying
en.wikipedia.org
https://en.wikipedia.org/wiki/Partial_application
en.wikipedia.org
https://en.wikipedia.org/wiki/Higher-order_function
en.wikipedia.org
https://en.wikipedia.org/wiki/Product_type
en.wikipedia.org
https://en.wikipedia.org/wiki/Algebraic_data_type
en.wikipedia.org
https://dev.to/nexxeln/expressive-code-with-pattern-matching-3de6
dev.to
https://en.wikipedia.org/wiki/Type_class
en.wikipedia.org
https://www.haskell.org/tutorial/classes.html
haskell.org
https://v2.ocaml.org/manual/moduleexamples.html
v2.ocaml.org
https://doc.rust-lang.org/book/ch10-02-traits.html
doc.rust-lang.org
https://alvinalexander.com/scala/fp-book/benefits-of-pure-functions/
alvinalexander.com
https://blog.bitsrc.io/functional-programming-part-2-pure-functions-85491f3d7190
blog.bitsrc.io
https://medium.com/swlh/functional-programming-memoization-c2af275a0b1d
medium.com
https://elm-lang.org/news/time-travel-made-easy
elm-lang.org
https://en.wikipedia.org/wiki/Purely_functional_data_structure
en.wikipedia.org
https://en.wikipedia.org/wiki/Persistent_data_structure
en.wikipedia.org
https://en.wikipedia.org/wiki/Lambda_calculus
en.wikipedia.org
https://en.wikipedia.org/wiki/Simply_typed_lambda_calculus
en.wikipedia.org
https://en.wikipedia.org/wiki/System_F
en.wikipedia.org
https://en.wikipedia.org/wiki/Type_system
en.wikipedia.org
https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system
en.wikipedia.org
https://en.wikipedia.org/wiki/Polymorphism_(computer_science
en.wikipedia.org
https://en.wikipedia.org/wiki/Type_inference
en.wikipedia.org
https://en.wikipedia.org/wiki/Dependent_type
en.wikipedia.org
https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
en.wikipedia.org
https://goto.ucsd.edu/~ucsdpl-blog/liquidtypes/2015/09/19/liquid-types/
goto.ucsd.edu
https://ucsd-progsys.github.io/liquidhaskell/
ucsd-progsys.github.io
https://github.com/flux-rs/flux
github.com
https://en.wikipedia.org/wiki/Monad_(functional_programming
en.wikipedia.org
https://en.wikipedia.org/wiki/Functor
en.wikipedia.org
https://en.wikipedia.org/wiki/Formal_verification
en.wikipedia.org
https://en.wikipedia.org/wiki/Abstract_interpretation
en.wikipedia.org
https://en.wikipedia.org/wiki/Symbolic_execution
en.wikipedia.org
https://en.wikipedia.org/wiki/Proof_assistant
en.wikipedia.org
https://coq.inria.fr
coq.inria.fr
https://idris2.readthedocs.io/en/latest/proofs/index.html
idris2.readthedocs.io
https://leanprover.github.io
leanprover.github.io
https://www.schoolofhaskell.com/user/pbv/an-introduction-to-quickcheck-testing
schoolofhaskell.com
https://medium.com/learning-from-learners/learners-guide-to-property-based-testing-1-ce979c1a58a1
medium.com
https://www.youtube.com/watch?v=gAZMnAncvas&t=4274s
youtube.com
https://en.wikipedia.org/wiki/Effect_system
en.wikipedia.org
https://www.haskell.org
haskell.org
https://wiki.haskell.org/Lazy_evaluation
wiki.haskell.org
https://www.fpcomplete.com/haskell/library/stm/
fpcomplete.com
https://en.wikipedia.org/wiki/Lisp_(programming_language
en.wikipedia.org
https://en.wikipedia.org/wiki/Standard_ML
en.wikipedia.org
https://www.w3schools.com/python/python_lambda.asp
w3schools.com
https://docs.python.org/3/library/functools.html
docs.python.org
https://docs.pydantic.dev/latest/
docs.pydantic.dev
https://pypi.org/project/pyrsistent/
pypi.org