#

ad-hoc-polymorphism

Here are 11 public repositories matching this topic...

coord-e / ad-hoc-poly

Implementation of type classes

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

Updated Dec 15, 2019
Haskell

python-supply / embedded-languages-via-overloading

Python's extensive support for operator overloading can help you greatly reduce the conceptual complexity of your library or framework, allowing programmers who must use it to leverage the extensive knowledge and skills they already possess.

python overloading operator-overloading embedded-language python-articles ad-hoc-polymorphism python-introduction

Updated Oct 22, 2020
Jupyter Notebook

owaismohsin001 / junu-spaghetti

Junu Spaghetti, a language that types spaghetti code

programming-language union-types structural-typing static-typing spaghetti-code parametric-polymorphism bidirectional-typechecking ad-hoc-polymorphism

Updated Jan 12, 2022
Haskell

lctr / wysk

A statically typed functional language with type inference, ad-hoc polymorphism, and an extensible operator syntax. Influenced by Rust, ML, and Haskell.

programming-language compiler functional-programming hindley-milner ad-hoc-polymorphism custom-operators

Updated Aug 28, 2022
Rust

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.

scala generics variance polymorphism object-oriented-programming parametric-polymorphism subtyping ad-hoc-polymorphism

Updated May 26, 2023
Scala

mwagner86 / CPP_02

CPP Project 02

operator-overloading ad-hoc-polymorphism orthodox-canonical-class

Updated Jul 1, 2023
C++

Zeta611 / type-safe-programming

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

rust algebraic-data-types beamer polymorphism type-system system-f parametric-polymorphism simply-typed-lambda-calculus generalized-algebraic-data-type ad-hoc-polymorphism subtype-polymorphism universal-type

Updated Jan 14, 2024
TeX

raveriss / cpp02

C++98 exercises focusing on ad-hoc polymorphism, operator overloading, and canonical forms

canonical-forms operator-overloading ad-hoc-polymorphism

Updated May 9, 2024
C++

symbola

symbola / symbola

Native JavaScript prototype extension with symbol protocols

javascript typescript protocol-oriented metaprogramming polymorphism typeclasses swift-protocols parametric-polymorphism protocol-oriented-programming rust-traits cpp-concepts ad-hoc-polymorphism symbol-protocols

Updated Oct 31, 2024
TypeScript

iliocatallo / mire

Generic functions in JavaScript.

generic-functions polymorphism multimethods multiple-dispatch ad-hoc-polymorphism

Updated Aug 10, 2024
JavaScript

language-ext

louthy / language-ext

C# functional language extensions - a base class library for functional programming

Updated Oct 28, 2024
C#

Improve this page

Add a description, image, and links to the ad-hoc-polymorphism topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the ad-hoc-polymorphism topic, visit your repo's landing page and select "manage topics."