Tag: functional

May 07, 2026

• research
• language-reference
• tier3
• family-index
• ml
• fp
• functional

May 06, 2026

• research
• language-reference
• scheme
• lisp
• functional
• r7rs
• minimalist

May 06, 2026

• research
• language-reference
• common-lisp
• lisp
• clos
• functional
• metaprogramming

May 06, 2026

• research
• language-reference
• racket
• scheme
• lisp
• functional
• language-oriented-programming

May 06, 2026

• research
• language-reference
• agda
• dependent-types
• functional
• theorem-prover
• hott
• cubical

May 06, 2026

• research
• language-reference
• gleam
• functional
• beam
• erlang
• javascript-target

May 06, 2026

• research
• language-reference
• roc
• functional
• ml-family
• alpha

May 06, 2026

• research
• language-reference
• lean
• dependent-types
• functional
• theorem-prover
• formal-methods

May 06, 2026

• research
• language-reference
• idris
• dependent-types
• functional
• theorem-prover

May 06, 2026

• research
• language-reference
• ocaml
• functional
• ml-family
• type-inference

May 06, 2026

• research
• language-reference
• rust
• systems
• compiled
• borrow-checked
• generic
• functional

May 06, 2026

• research
• language-reference
• csharp
• dotnet
• jit
• gc
• object-oriented
• functional

May 06, 2026

• research
• language-reference
• scala
• jvm
• functional

May 06, 2026

• research
• language-reference
• fsharp
• functional
• dotnet
• ml-family

May 06, 2026

• research
• language-reference
• clojure
• lisp
• jvm
• functional

May 06, 2026

• research
• language-reference
• r
• statistics
• data-science
• functional

May 06, 2026

• research
• language-reference
• haskell
• functional
• ghc
• types

May 06, 2026

• research
• language-reference
• elixir
• beam
• otp
• functional