A function type to dispatch on types instead of classes with partial support for dispatching on optional and keyword argument types.
-
Updated
Jan 30, 2025 - Common Lisp
#
polymorphic-functions
Here are 10 public repositories matching this topic...
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
dependent-types workshop first-order-logic idris workshop-materials polymorphic-types scala3 union-types phantom-types typelevel-programming typed-lambda-calculus polymorphic-functions curry-howard-isomorphism compile-time-meta-programming dependent-type-theory path-dependent scala3-metaprogramming type-programming path-dependent-types
-
Updated
Jan 26, 2025 - Scala
Simple stub factories slightly mimicking undefined from Haskell
javascript typescript placeholder undefined development-workflow development-utility developer-experience development-tools polymorphic-functions microlibrary
-
Updated
Jan 7, 2023 - TypeScript
Generic programming for Scala
dependent-types scala macros generic-programming singleton-types typeclasses heterogeneous-lists hlist phantom-types typelevel-programming coproduct polymorphic-functions typeclass-derivation
-
Updated
Apr 25, 2024 - Scala
StringEncrypt allows you to encrypt strings and files using a randomly generated algorithm, generating a unique decryption code (so-called polymorphic code) each time in the selected programming language.
golang string strings polymorphic string-manipulation golang-library polymorphism golang-package string-algorithms polymorphic-functions polymorph polymorphic-engine golang-api polymorphisms
-
Updated
Sep 20, 2026 - Go
Introduction to test aspects and property based testing.
testing scala workshop functional-programming test aspect property-based-testing workshop-materials aspect-oriented-programming aspects zio property-testing aspect-oriented polymorphic-functions zio-effect zio-test zio2
-
Updated
Mar 17, 2024 - Scala
StringEncrypt allows you to encrypt strings and files using a randomly generated algorithm, generating a unique decryption code (so-called polymorphic code) each time in the selected programming language.
string strings polymorphic string-manipulation polymorphism polymorphic-variants string-algorithms polymorphic-functions polymorph polymorphic-engine polymorphisms
-
Updated
Sep 20, 2026 - Java
An immutable complex number class with real and imaginary parts.
jest this hashcode complex-numbers polymorphism cmath esmodules esm epsilon trigonometric-functions equality-check mts polymorphic-functions mjs tsd jsdocs subclasses-and-subtypes iterators-and-comparators tsdocs
-
Updated
Sep 9, 2023 - JavaScript
Polymorphic functions as natural transformations.
-
Updated
Feb 9, 2019 - Scala
sql along with a case study
-
Updated
Jun 20, 2025 - PLpgSQL
Add this topic to your repo
To associate your repository with the polymorphic-functions topic, visit your repo's landing page and select "manage topics."