Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/yallop/higher

Higher-kinded programming in OCaml
https://github.com/yallop/higher

Last synced: 20 days ago
JSON representation

Higher-kinded programming in OCaml

Host: GitHub
URL: https://github.com/yallop/higher
Owner: yallop
License: mit
Created: 2013-12-23T13:30:14.000Z (almost 11 years ago)
Default Branch: master
Last Pushed: 2023-08-29T15:32:21.000Z (about 1 year ago)
Last Synced: 2024-10-22T19:20:03.550Z (25 days ago)
Language: OCaml
Homepage:
Size: 311 KB
Stars: 180
Watchers: 16
Forks: 13
Open Issues: 1
Metadata Files:
- Readme: README.md
- Changelog: CHANGES.md
- License: LICENSE.md

Awesome Lists containing this project

awesome-list - higher - kinded programming in OCaml | ocamllabs | 157 | (OCaml)

README

        higher

======

![Build Status](https://github.com/yallop/higher/workflows/Higher%20tests/badge.svg)

Higher-kinded programming in OCaml, as described in

      [Lightweight Higher-Kinded Polymorphism][flops-2014-paper]


      Jeremy Yallop and Leo White


      Functional and Logic Programming 2014


You can install higher using `opam`:

```

opam install higher

```

Implementations in other languages

----------------------------------

* [fp-ts (TypeScript)](https://github.com/gcanti/fp-ts)

* [flow-static-land (Flow)](https://github.com/gcanti/flow-static-land)

* [hkt (Java)](https://github.com/derive4j/hkt)

* [KindedJ (cross-language JVM)](https://github.com/KindedJ/KindedJ)

* [elm-brands (Elm)](https://github.com/joneshf/elm-brands)

* [Higher (F#)](https://github.com/palladin/Higher)

* [Arrow (Kotlin)](http://arrow-kt.io/docs/patterns/error_handling/)

* [Bow (Swift)](https://bow-swift.io/docs/fp-concepts/higher-kinded-types/)

* [HKT.swift (Swift)](https://gist.github.com/anandabits/f12a77c49fc002cf68a5f1f62a0ac9c4)

* [HigherKindedPolymorphisms (Julia)](https://github.com/thautwarm/HigherKindedPolymorphisms.jl)

* [fp-core (rust)](https://github.com/JasonShin/fp-core.rs/blob/4564c429/README.md#higher-kinded-type-hkt)

* [Higher Standard (SML)](https://github.com/mmcqd/higher-standard)

* [object-algebras (C#)](https://github.com/tgrospic/object-algebras)

[flops-2014-paper]: https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf