parametric-polymorphism

There are 0 repository under parametric-polymorphism topic.

• felix-lang / felix

  The Felix Programming Language

  c-plus-pluscode-generatorcompiledcompilercoroutine-frameworkcoroutinesfunctional-programmingocamlparametric-polymorphismperformantplatform-independentpolymorphismprogrammingprogramming-languagescripting-languagestatic-analysistype-classes
  Language:C 794

• seagreen / plate

  Algebraic type based schema system

  schemaparametric-polymorphismalgebraic-data-types
  Language:Haskell 128

• kongware / ftor

  ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

  functional-programmingjavascriptcurryingcompositioncombinatorsrecursionhigher-order-functionssum-typespolymorphismlazy-evaluationtuplesimmutabilityparametric-polymorphismtype-systempuritytagged-unionsscott-encodingrow-polymorphismunificationhindley-milner
  Language:JavaScript 44

• Hirevo / koak

  A compiler for a little statically-typed language implemented in Haskell.

  compilerprogramming-languagetype-inferencellvmparametric-polymorphism
  Language:Haskell 13
• symbola

  symbola / symbola

  Native JavaScript prototype extension with symbol protocols

  protocol-oriented-programmingsymbol-protocolsjavascriptprotocol-orientedrust-traitstypeclassestypescriptcpp-conceptsswift-protocolsad-hoc-polymorphismparametric-polymorphismpolymorphismmetaprogramming
  Language:TypeScript 11

• PetarMihalj / AGT

  A novel, compiled programming language with a strong and static type system, parametric polymorphism and other features, developed as my master thesis.

  compilersprogramming-languageparametric-polymorphismstatic-typing
  Language:Python 10

• JakubGrobelny / aurox-lang

  Interpreter written for Prolog course.

  prologinterpreterfunctional-programmingparsinglogical-programmingprogramming-languageslogic-programmingdcgmlstatically-typedtoy-languageuniversity-projectparametric-polymorphismcompilerstranspilercpp
  Language:Prolog 8

• d-plaindoux / rust-traits

  [Talk] Programmation par Traits sous l'influence de la gestion mémoire

  ad-hocmemoryparametric-polymorphismrusttalktrait
  Language:Rust 6

• athanclark / pred-trie

  predicative lookup container

  haskellpredicateslookuptrieparametric-polymorphism
  Language:Haskell 5

• israel-lugo / tsarray

  Generic type-safe dynamic array library for C

  carraydynamic-arraytype-safetymacroslibrarygeneric-arraygeneric-typesparametric-polymorphism
  Language:C 5

• Zeta611 / type-safe-programming

  SLConf 2024: 타입으로 안전하게 프로그래밍하기

  ad-hoc-polymorphismalgebraic-data-typesbeamerparametric-polymorphismpolymorphismsimply-typed-lambda-calculussubtype-polymorphismsystem-ftype-systemgeneralized-algebraic-data-typerustuniversal-type
  Language:TeX 4

• kasparthommen / java-code-gen

  Annotation-based Java code generation

  annotationannotation-processorcode-generationconcrete-typesgenericgenericsinstantiationjavaparametric-polymorphismprimitivesreificationtemplatetemplate-engine
  Language:Java 3

• profbrandon / typeChecker

  A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F

  type-systemuniversal-quantifierssimply-typed-lambda-calculusparametric-polymorphismtypecheckersystem-fpattern-matching
  Language:Haskell 2

• dlepex / typeinst

  Generics for Go. A code generator, that uses struct declarations as DSL to configure what types should be created

  gogolangcodegeneratorgo-generategenericstemplatesparametric-polymorphism
  Language:Go 1

• zaidharoon001 / junu-spaghetti

  Junu Spaghetti, a language that types spaghetti code

  programming-languagespaghetti-codestatic-typingstructural-typingad-hoc-polymorphismparametric-polymorphismunion-typesbidirectional-typechecking
  Language:Haskell 1

• abhisheknaths / genericsort

  A sort package that sorts a slice regardless of the type of its contents.

  benchmarkinggolangparametric-polymorphismunit-testing
  Language:Go 0

• caphosra / libcpoly

  Let's write a C program in a parametric-polymorphismic way!

  cparametric-polymorphismtype-checkingtype-librarytypedtypesgenericgeneric-typesgenericsgenerics-in-c
  Language:C

• curegit / reification

  Reified generics in Python to get type parameters at runtime

  genericsparametric-polymorphismpythonreflectionreificationtyping
  Language:Python

• r8vnhill / free-love-scala

  Free Love uses a library model to showcase advanced Scala concepts like polymorphism, variance, bounds, and the Curiously Recurring Template Pattern.

  ad-hoc-polymorphismgenericsobject-oriented-programmingparametric-polymorphismpolymorphismscalasubtypingvariance
  Language:Scala