type-classes

There are 0 repository under type-classes topic.

• felix-lang / felix

  The Felix Programming Language

  programming-languageprogrammingc-plus-plusocamlcompilercoroutinescoroutine-frameworkfunctional-programmingperformantscripting-languagecompiledplatform-independentcode-generatorstatic-analysispolymorphismtype-classesparametric-polymorphism
  Language:C 790

• funfix / funfix

  Functional Programming Library for JavaScript, TypeScript and Flow ✨⚡️

  fpfunctional-programmingjavascripttypescriptflowtypees2015type-classesasyncconcurrencyfutures
  Language:TypeScript 632

• thma / WhyHaskellMatters

  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.

  algebraic-data-typesanonymous-functionsdeclarative-programmingexplicit-side-effectsfirst-class-functionsfoldablefoldingfunction-compositionfunctional-programmingfunctorhaskellhigher-order-functionslazy-evaluationlist-comprehensionmappingmonadspartial-applicationpattern-matchingpolymorphic-typestype-classes
  Language:Haskell 461

• funfix / funland

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

  fantasy-landflowtypefpfunctional-programmingjavascripttype-classestypescript
  Language:TypeScript 47

• maxadamski / vitamin

  The Vitamin programming language

  programming-languagefunctional-programmingdependent-typesprocedural-programmingmetaprogrammingtype-classesstatic-analysiscompilerpolymorphism
  Language:Nim 23

• ThoughtWorksInc / bindable.scala

  User-friendly Binding.scala components

  data-bindingfunctional-reactive-programmingscalascala-jstype-classes
  Language:Scala 23

• hongchangwu / ocaml-type-classes

  OCaml Type Classes

  ocamltype-classes
  Language:OCaml 17

• Primetalk / typed-ontology

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

  ontologyscalatype-classes
  Language:Scala 17

• BlackMATov / fun.hpp

  My old crazy idea about functional programming in C++

  cppcpp17c-plus-plusc-plus-plus-17functional-programmingtype-classeshaskell
  Language:C++ 15

• joroKr21 / flink-shapeless

  ADT support for Flink with Shapeless

  flinkshapelessalgebraic-data-typestype-classesserialization
  Language:Scala 12

• petur-a / masters

  Developing a type system for a minimal reversible functional language.

  semanticsmaster-thesistype-theoryfunctional-programmingreversible-programming-languagelinear-logicfirst-match-policydikuoperational-semanticstype-classesprogram-transformations
  Language:TeX 7

• williamareynolds / ts-cat

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

  category-theorytypescript-librarytypescriptmaybemaybe-monadfunctorapplicativemonadfantasy-landfantasy-land-specstatic-landstatic-land-spectype-classeshigher-kinded-types
  Language:TypeScript 7

• coord-e / ad-hoc-poly

  Implementation of type classes

  type-inferencetype-classestranspilerad-hoc-polymorphism
  Language:Haskell 6

• RafalSumislawski / swaggerify

  Deriving swagger files from Scala code

  rhoscalaswaggertype-classes
  Language:Scala 5

• danielkreck / Analysis-of-PureScripts-Compilation-Process

  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.

  algebraic-data-typesanalysisapplicative-functorsfunctional-languagesfunctorshigher-order-functionsjavascriptmonadspurescriptrecursionside-effectstype-classes
  Language:TeX 3

• RemuLang / hybrid-type-system

  Row + Implicit arguments + MLF.

  type-systemtype-classesrow-polymorphismtraitstype-inference
  Language:Python 3

• zarinfam / java-type-classes-sample

  This is a sample project to describe and implement type classes functional programming concept in Java. You can find complete article in this link:

  functional-programmingtype-classesjavascalajava8
  Language:Java 3

• AmbientTea / prolog-schemes

  Optics and data transformation library

  prologopticsdata-transformationpolymorphismtype-classes
  Language:Prolog 2

• michalkonecny / mixed-types-num

  Alternative to Haskell Prelude.Num, deriving types bottom-up

  haskellnumerictype-classes
  Language:Haskell 2

• blockspacer / flex_typeclass_plugin

  typeclasses. Supports combinations of multiple typeclasses and out-of-source method definitions (data and logic separation).

  typeclassestraitstepsvirtual-conceptsruntime-conceptstype-classesclangcppmetaclassesllvmsource-to-sourcecpp17cpp20cpluspluscmakeconanlibtoolingclingreflectionrefactoring
  Language:C++ 1

• dabliuw22 / scala-http4s

  scalahttp4scatscircefs2doobieskunkmonixmonix-tasktype-classespostgresqldockertagless-final
  Language:Scala 1

• mgajda / difficultTypeClasses

  Working examples of Haskell typeclasses with both Haskell and JavaScript code

  haskelltype-classestutorial
  Language:HTML 1

• unitb / axiomatic-classes

  Specify axioms for type classes and quickCheck all available instances

  quickcheckaxiomtype-classes
  Language:Haskell 1

• vi-kas / experimental

  just for fun

  type-classesshapelessaux-pattern
  Language:Scala 1

• danielegiulianini / evo-sim

  A basic evolution simulator aimed at showcasing advanced design and programming tecniques through scala

  advanced-programmingcode-qualityfunctional-programminggenericsio-monadmonadspatternstype-classes
  Language:Scala 0

• AndrasE / TypeScript-tutorial

  TypeScript basics

  chainingdebuggingenumintersection-typesnarrowingtuplestype-aliasestype-classestypescriptunion-types
  Language:TypeScript

• dabliuw22 / doobie-db

  scaladoobiecatsmonixmonix-taskmonadtype-classesfunctional-programmingreactive-streamsnatural-transformationsdockerdocker-composepostgresql
  Language:Scala

• dabliuw22 / scala-cats

  scalacatsmonixreactive-streamsfunctional-programmingtype-classesfunctornomadfuturecats-effect
  Language:Scala

• developerKhusanjon / scala-cats-intro

  Introduction to Cats using Scala programming language.

  catsscalascala-catstype-classesscala-cats-introduction
  Language:Scala

• marcoantoniocorallo / MSet

  Haskell implementation of MultiSet - Advanced Programming Assignment

  baghaskellmonadmultisettype-classesadvanced-programmingunipiunipisa
  Language:Haskell

• moosch / js-type-classes

  Extending the range of data types in JavaScript...for fun

  type-classes
  Language:JavaScript