This is a sample project to describe and implement type classes functional programming concept in Java. You can find complete article in this link:
-
Updated
Jun 27, 2019 - Java
#
type-classes
Here are 33 public repositories matching this topic...
Developing a type system for a minimal reversible functional language.
functional-programming
master-thesis
semantics
type-theory
reversible-programming-language
diku
operational-semantics
type-classes
program-transformations
linear-logic
first-match-policy
-
Updated
Aug 30, 2018 - TeX
cats
scala
functional-programming
reactive-streams
functor
nomad
future
monix
type-classes
cats-effect
-
Updated
Jan 25, 2020 - Scala
Introduction to Cats using Scala programming language.
-
Updated
Oct 20, 2023 - Scala
cats
docker
scala
functional-programming
docker-compose
postgresql
reactive-streams
monad
monix
doobie
type-classes
monix-task
natural-transformations
-
Updated
Dec 29, 2019 - Scala
Talk for Ya!vaConf conference I gave on 23.12.2023
-
Updated
Dec 8, 2023 - JavaScript
Specify axioms for type classes and quickCheck all available instances
-
Updated
Jul 13, 2017 - Haskell
A static-land and fantasy-land compliant library containing interfaces for common type-classes and common instances of them.
typescript
typescript-library
monad
functor
category-theory
fantasy-land
maybe
applicative
type-classes
higher-kinded-types
maybe-monad
fantasy-land-spec
static-land
static-land-spec
-
Updated
Dec 10, 2022 - TypeScript
TypeScript basics
debugging
typescript
tuples
enum
union-types
chaining
type-classes
narrowing
intersection-types
type-aliases
-
Updated
Oct 18, 2024 - TypeScript
The Vitamin programming language
programming-language
dependent-types
compiler
functional-programming
static-analysis
metaprogramming
polymorphism
type-classes
procedural-programming
-
Updated
Feb 12, 2022 - Nim
Working examples of Haskell typeclasses with both Haskell and JavaScript code
-
Updated
Oct 1, 2015 - HTML
Optics and data transformation library for SWI Prolog
-
Updated
Jul 24, 2021 - Prolog
Row + Implicit arguments + MLF.
-
Updated
Jan 17, 2020 - Python
A basic evolution simulator aimed at showcasing advanced design and programming tecniques through scala
monads
patterns
functional-programming
generics
io-monad
code-quality
advanced-programming
type-classes
-
Updated
Dec 1, 2020 - Scala
Haskell implementation of MultiSet - Advanced Programming Assignment
-
Updated
Jul 27, 2023 - Haskell
Extending the range of data types in JavaScript...for fun
-
Updated
Nov 26, 2019 - JavaScript
Improve this page
Add a description, image, and links to the type-classes topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-classes topic, visit your repo's landing page and select "manage topics."