marcosh/php-sum-types marcosh/php-sum-types

  • Stars
    star
    1
  • Language
    PHP
  • License
    MIT License
  • Created about 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
marcosh/php-sum-types
github

marcosh

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

another attempt at sum types in PHP

More Repositories

1

lamphpda

A collection of type-safe functional data structures
PHP
114
star
2

crem

Compositional Representable Executable Machines
Haskell
101
star
3

php-validation-dsl

A DSL for validating data in a functional fashion
PHP
48
star
4

existential-optics

A simple optics library based on existential encoding
Haskell
12
star
5

lamphpda-validation

A validation library using Either from marcosh/lamphpda
PHP
11
star
6

elm-escqrs

experiments with elm and es/cqrs
Elm
9
star
7

lamphpda-optics

A functional optic library for PHP
PHP
8
star
8

elm-html-to-unicode

elm library to convert html characters to unicode
Elm
6
star
9

theartofcomposition

slides for my talk about category theory
6
star
10

elm-table-football

an application to connect elm, ddd/es/cqrs and table football
Elm
5
star
11

elm-joindin

A page for displaying links to slides of joindin talks
Elm
4
star
12

typed-state-machine

Haskell
3
star
13

marcosh.github.io

JavaScript
3
star
14

idris-hanoi

a super type safe implementation of the game of the Tower of Hanoi
Idris
3
star
15

fun-with-categories-talk

slides for the `fun with categories` talk
JavaScript
3
star
16

dhall-deptrac

Dhall types and functions to manage Deptrac configurations
Dhall
3
star
17

ddd-machines-dddeurope

Haskell
2
star
18

property-based-testing-examples

Haskell
2
star
19

elm-hanoi

The Hanoi tower game implemented in Elm
JavaScript
2
star
20

effector

A Php library to write effect aware code.
PHP
1
star
21

php-type-checker

Checks which methods are missing a return type hint
PHP
1
star
22

fundic

PHP purely functional dependency injection container
PHP
1
star
23

maybe-php

A safe and generic implementation on Maybe in PHP
PHP
1
star
24

domain-modelling-state-machines-talk

1
star
25

traffic

Experimenting with traffic simulations using [Arduino](https://www.arduino.cc/) and [Copilot](https://copilot-language.github.io/).
Haskell
1
star