GitHub topics: type-classes

Repositories

Primetalk/typed-ontology

A unique fusion of ontology ideas, strong Scala type system and Json flexibility

Language: Scala - Size: 402 KB - Last synced at: 28 days ago - Pushed at: 29 days ago - Stars: 19 - Forks: 3

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.

Language: Haskell - Size: 480 KB - Last synced at: 26 days ago - Pushed at: over 1 year ago - Stars: 470 - Forks: 14

felix-lang/felix

The Felix Programming Language

Language: C - Size: 86.4 MB - Last synced at: 28 days ago - Pushed at: 9 months ago - Stars: 815 - Forks: 45

AndrasE/typescript-tutorial 📦

TypeScript basics

Language: TypeScript - Size: 5.84 MB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

hongchangwu/ocaml-type-classes

OCaml Type Classes

Language: OCaml - Size: 30.3 KB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 18 - Forks: 0

MateuszKubuszok/TypeClassPresentation

Talk for Ya!vaConf conference I gave on 23.12.2023

Language: JavaScript - Size: 4.52 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

MateuszKubuszok/TypeClassPresentationExamples

scala

Language: Scala - Size: 13.7 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

michalkonecny/mixed-types-num

Alternative to Haskell Prelude.Num, deriving types bottom-up

Language: Haskell - Size: 1.72 MB - Last synced at: 5 days ago - Pushed at: 9 months ago - Stars: 2 - Forks: 1

funfix/funland.js 📦

Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow

Language: TypeScript - Size: 784 KB - Last synced at: about 10 hours ago - Pushed at: about 1 year ago - Stars: 46 - Forks: 4

funfix/funfix.js 📦

Functional Programming Library for JavaScript, TypeScript and Flow ✨⚡️

Language: TypeScript - Size: 1.4 MB - Last synced at: 11 days ago - Pushed at: about 1 year ago - Stars: 632 - Forks: 25

RafalSumislawski/swaggerify

Deriving swagger files from Scala code

Language: Scala - Size: 76.2 KB - Last synced at: 4 days ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 0

joroKr21/flink-shapeless

ADT support for Flink with Shapeless

Language: Scala - Size: 483 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 12 - Forks: 3

petur-a/masters

Developing a type system for a minimal reversible functional language.

Language: TeX - Size: 1020 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 7 - Forks: 0

RemuLang/hybrid-type-system

Row + Implicit arguments + MLF.

Language: Python - Size: 85 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 0

moosch/js-type-classes

Extending the range of data types in JavaScript...for fun

Language: JavaScript - Size: 1.95 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

maxadamski/vitamin

The Vitamin programming language

Language: Nim - Size: 9.61 MB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 24 - Forks: 0

marcoantoniocorallo/MSet

Haskell implementation of MultiSet - Advanced Programming Assignment

Language: Haskell - Size: 174 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

coord-e/ad-hoc-poly 📦

Implementation of type classes

Language: Haskell - Size: 222 KB - Last synced at: 9 days ago - Pushed at: over 5 years ago - Stars: 6 - Forks: 1

williamareynolds/ts-cat

A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.

Language: TypeScript - Size: 729 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 0

ThoughtWorksInc/bindable.scala

User-friendly Binding.scala components

Language: Scala - Size: 363 KB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 23 - Forks: 3

mgajda/difficultTypeClasses 📦

Working examples of Haskell typeclasses with both Haskell and JavaScript code

Language: HTML - Size: 133 KB - Last synced at: 8 days ago - Pushed at: over 9 years ago - Stars: 1 - Forks: 0

zarinfam/java-type-classes-sample

This is a sample project to describe and implement type classes functional programming concept in Java. You can find complete article in this link:

Language: Java - Size: 4.88 KB - Last synced at: about 5 hours ago - Pushed at: almost 6 years ago - Stars: 3 - Forks: 0

danielkreck/Analysis-of-PureScripts-Compilation-Process

Understanding concepts of functional languages (ADT's, type classes, functors, monads, ...) by looking at how they are implemented. The source language is PureScript which compiles to JavaScript. The paper was written in German during a semester university project. Maybe it helps anyone on his road to functional programming as well.

Language: TeX - Size: 1.56 MB - Last synced at: 20 days ago - Pushed at: almost 7 years ago - Stars: 3 - Forks: 1