type-classes

Here are 27 public repositories matching this topic...

felix-lang / felix

The Felix Programming Language

programming-language c-plus-plus programming code-generator compiler functional-programming static-analysis ocaml coroutines scripting-language compiled polymorphism platform-independent performant coroutine-framework type-classes parametric-polymorphism

Updated Jul 16, 2022
C

funfix / funfix

Star

Functional Programming Library for JavaScript, TypeScript and Flow ✨

⚡️

javascript typescript functional-programming async es2015 concurrency fp flowtype futures type-classes

Updated Jul 7, 2022
TypeScript

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 Jun 26, 2022
Haskell

funfix / funland

Star

Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow

javascript typescript functional-programming fp flowtype fantasy-land type-classes

Updated Mar 1, 2019
TypeScript

maxadamski / vitamin

Star

The Vitamin programming language

programming-language dependent-types compiler functional-programming static-analysis metaprogramming polymorphism type-classes procedural-programming

Updated Feb 12, 2022
Nim

ThoughtWorksInc / bindable.scala

Star

User-friendly Binding.scala components

scala data-binding functional-reactive-programming scala-js type-classes

Updated Jul 12, 2022
Scala

hongchangwu / ocaml-type-classes

Star

OCaml Type Classes

ocaml type-classes

Updated Apr 28, 2021
OCaml

BlackMATov / fun.hpp

Star

My old crazy idea about functional programming in C++

c-plus-plus haskell cpp functional-programming cpp17 c-plus-plus-17 type-classes

Updated Oct 29, 2020
C++

Primetalk / typed-ontology

Star

A unique fusion of ontology ideas, strong Scala type system and Json flexibility

scala ontology type-classes

Updated Apr 25, 2022
Scala

joroKr21 / flink-shapeless

Star

ADT support for Flink with Shapeless

serialization algebraic-data-types shapeless flink type-classes

Updated Jan 11, 2020
Scala

williamareynolds / ts-cat

Star

A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.

typescript typescript-library monad functor category-theory fantasy-land maybe applicative type-classes higher-kinded-types maybe-monad fantasy-land-spec static-land static-land-spec

Updated Feb 12, 2022
TypeScript

RafalSumislawski / swaggerify

Star

Deriving swagger files from Scala code

scala swagger rho type-classes

Updated Dec 2, 2021
Scala

petur-a / masters

Star

Developing a type system for a minimal reversible functional language.

functional-programming master-thesis semantics type-theory reversible-programming-language diku operational-semantics type-classes program-transformations linear-logic first-match-policy

Updated Aug 30, 2018
TeX

coord-e / ad-hoc-poly

Star

Implementation of type classes

transpiler type-inference type-classes ad-hoc-polymorphism

Updated Dec 15, 2019
Haskell

danielkreck / Analysis-of-PureScripts-Compilation-Process

Star

Understanding concepts of functional languages (ADT's, type classes, functors, monads, ...) by looking at how they are implemented. The source language is PureScript which compiles to JavaScript. The paper was written in German during a semester university project. Maybe it helps anyone on his road to functional programming as well.