Projects in Awesome Lists tagged with polymorphic-functions
A curated list of projects in awesome lists tagged with polymorphic-functions .
https://github.com/owaismohsin001/sunlight-lang
Sunlight lang is a dynamic, lazy, and functional programming language that compiles to Lua and JS
algebraic-data-types beginner-friendly compiler dynamic-polymorphism dynamic-programming dynamic-typing functional-language functional-languages functional-programming language lua memoization memorization multimethod polymorphic-functions polymorphic-variants polymorphism pure-functional sunlight sunlight-lang
Last synced: 09 Apr 2025
https://github.com/mtumilowicz/scala212-category-theory-natural-transformations-example
Polymorphic functions as natural transformations.
natural-transformation polymorphic-functions
Last synced: 23 Feb 2025
https://github.com/mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
compile-time-meta-programming curry-howard-isomorphism dependent-type-theory dependent-types first-order-logic idris path-dependent path-dependent-types phantom-types polymorphic-functions polymorphic-types scala3 scala3-metaprogramming type-programming typed-lambda-calculus typelevel-programming union-types workshop workshop-materials
Last synced: 23 Feb 2025
https://github.com/mtumilowicz/scala-zio2-test-aspects-property-based-testing-workshop
Introduction to test aspects and property based testing.
aspect aspect-oriented aspect-oriented-programming aspects functional-programming polymorphic-functions property-based-testing property-testing scala test testing workshop workshop-materials zio zio-effect zio-test zio2
Last synced: 09 Nov 2025