GitHub topics: polymorphic-functions
mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
Language: Scala - Size: 324 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

digikar99/polymorphic-functions
A function type to dispatch on types instead of classes with partial support for dispatching on optional and keyword argument types.
Language: Common Lisp - Size: 750 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 53 - Forks: 4

gogulamudigeethareddy/sql
sql along with a case study
Language: PLpgSQL - Size: 30.3 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

DmytroMitin/shapeless Fork of milessabin/shapeless
Generic programming for Scala
Language: Scala - Size: 6.12 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

owaismohsin001/Sunlight-lang
Sunlight lang is a dynamic, lazy, and functional programming language that compiles to Lua and JS
Language: Haskell - Size: 801 KB - Last synced at: 7 days ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 0

GoToLoop/Complex
An immutable complex number class with real and imaginary parts.
Language: JavaScript - Size: 626 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

mtumilowicz/scala-zio2-test-aspects-property-based-testing-workshop
Introduction to test aspects and property based testing.
Language: Scala - Size: 87.9 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

higherkinded/bottom
Simple stub factories slightly mimicking undefined from Haskell
Language: TypeScript - Size: 1.17 MB - Last synced at: 8 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

mtumilowicz/scala212-category-theory-natural-transformations-example
Polymorphic functions as natural transformations.
Language: Scala - Size: 29.3 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
