polymorphism

Λrrow - Functional companion to Kotlin's Standard Library

Runtime polymorphism done right

The Felix Programming Language

🍥 A new take on polymorphism in C++

C++17 `std::variant` for C++11/14/17

A fool's scriptum on functional programming

Building blocks for strongly typed polymorphic components in React.

Discriminated Json Subtypes Converter implementation for .NET

TE: C++17 Run-time polymorphism (type erasure) library

Знаете ли вы ооп?

Object-Oriented Programming concepts in Python

Zero-runtime polymorphic component definitions for React

Different type inference algorithms implemented in F#

A realtime/embedded-friendly C++11 variant type which is never empty and prevents undesirable implicit conversions

Zero-boilerplate interfaces for C99

Laravel Ownership simplify management of Eloquent model's owner.

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

Fast containers of polymorphic objects.

Research on malware creation and protection

An Object-Oriented VBA experiment

In this repository, I gathered a lot of useful examples of code and their description that I create while studying programming. Here you can find examples on the use of the Inheritance, Encapsulation, Abstraction, Interfacies, Polymorphism, Indexers, Operators Overloading, Extention Methods, System IO , Exception Handling, Delegates, Events, IDisposable, IClonable, GC, IEnumerable, IEnumerator Interfaces, Yield, Generic Programming,

📚 A demonstration of implementing a "type-safe" lazy iterator interface in pure C99

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

A statically-typed strictly-evaluated garbage-collected readable programming language.

Full-stack with nest js & angular 8

Datastructures and algorithms for working with genetic variation

An intermediate course about Object Oriented Programming applied to both the Java and Python languages

Functional, Type safe, Lazy abstractions for generic iterators in C - https://github.com/TotallyNotChase/c-iterators

A Hindley-Milner polymorphic typing system