An open API service providing repository metadata for many open source software ecosystems.

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

Related Keywords
polymorphic-functions 9 polymorphism 3 workshop 2 typelevel-programming 2 workshop-materials 2 phantom-types 2 functional-programming 2 scala 2 dependent-types 2 subclasses-and-subtypes 1 this 1 mts 1 mjs 1 jsdocs 1 trigonometric-functions 1 tsd 1 tsdocs 1 jest 1 iterators-and-comparators 1 hashcode 1 esmodules 1 esm 1 equality-check 1 epsilon 1 complex-numbers 1 cmath 1 sunlight-lang 1 sunlight 1 pure-functional 1 natural-transformation 1 undefined 1 typescript 1 placeholder 1 microlibrary 1 javascript 1 development-workflow 1 development-utility 1 development-tools 1 developer-experience 1 zio2 1 zio-test 1 zio-effect 1 zio 1 testing 1 test 1 property-testing 1 property-based-testing 1 aspects 1 aspect-oriented-programming 1 aspect-oriented 1 aspect 1 coproduct 1 window-functions-in-sql 1 handling-errors 1 case-study 1 basics-of-sql 1 lisp 1 generics 1 common-lisp 1 union-types 1 typed-lambda-calculus 1 type-programming 1 scala3-metaprogramming 1 scala3 1 polymorphic-types 1 path-dependent-types 1 path-dependent 1 idris 1 first-order-logic 1 dependent-type-theory 1 curry-howard-isomorphism 1 compile-time-meta-programming 1 polymorphic-variants 1 multimethod 1 memorization 1 memoization 1 lua 1 language 1 functional-languages 1 functional-language 1 dynamic-typing 1 dynamic-programming 1 dynamic-polymorphism 1 compiler 1 beginner-friendly 1 algebraic-data-types 1 typeclasses 1 typeclass-derivation 1 singleton-types 1 macros 1 hlist 1 heterogeneous-lists 1 generic-programming 1