Skip to content

Algorithm W implemented in PHP based on Martin Grabmüller work.

Notifications You must be signed in to change notification settings

widmogrod/php-algorithm-w

Repository files navigation

Algorithm W in PHP

Build Status Maintainability Test Coverage

Introduction

Yet another fascinating concept to explore - type interference.

Algorithm W was implemented in PHP, and is based on Martin Grabmüller work [1].

Project uses the php-functional library [2] to simplify implementation, and make it closer to Haskell.

Next step is to use gathered experience it the typed-config project [3], with is aiming to make configuration type safe, self-documenting, easy to extend and dead-simple to use.

Sneak peek of one of many test cases can be interpreted

'let id = (x -> let y = x in y) in id id ' => [
    'expression' => new ELet(
        'id',
        new EAbs(
            'x',
            new ELet(
                'y',
                new EVar('x'),
                new EVar('y')
            )
        ),
        new EApp(
            new EVar('id'),
            new EVar('id')
        )
    ),
    'expected' => '(a5 -> a5)',
],

References

About

Algorithm W implemented in PHP based on Martin Grabmüller work.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages