polymorphic-types

Here are 7 public repositories matching this topic...

thma / WhyHaskellMatters

Star

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.

monads haskell functional-programming mapping pattern-matching anonymous-functions algebraic-data-types functor higher-order-functions polymorphic-types lazy-evaluation folding function-composition foldable list-comprehension type-classes declarative-programming partial-application first-class-functions explicit-side-effects

Updated Oct 26, 2020
Haskell

kickstarter / ruby-maybe

Star

A Ruby implementation of the Maybe type

ruby optional option maybe polymorphic-types

Updated Jul 11, 2017
Ruby

tonyelewis / clone-tools

Star

A small, header-only C++ library to make it easy to clone (ie copy polymorphic types)

linux semantic library clone cpp travis-ci semantics modern-cpp clang comparison header-only copy-construction copy-assignment polymorphic-types

Updated Jul 27, 2017
C++

gfngfn / poly-shift-reset

Star

An implementation of λ_{let}^{s/r} [Asai & Kameyama 2007]

ocaml continuation polymorphic-types type-system delimited-continuation type-checker

Updated Mar 24, 2017
OCaml

fixxxedpoint / hou

Star

A type inference algorithm for SystemF/polymorphic lambda calculus (undecidable problem) and an experimental playground for methods based on the higher-order unification for type inference and type checking of formal systems defined by the lambda cube concept.

lambda-calculus polymorphic-types type-inference funcional-programming systemf