php-church-encoding

Church encoded numerical computations over lambda-calculus implemented in PHP

MIT License

Stars
9
View Code on GitHub
Ecosystems: PHP

PHP Church Encoding

This project aims to proof that PHP has an auto sufficient anonymous function scheme where we are able to build computations uniquely by them. We represent booleans, we build boolean algebra and we represent numerals and basic arithmetic and apply proofs.

TODO

  • Booleans
    • true
    • false
    • Boolean Algebra
      • and
      • or
      • not
      • xor
  • Numerals
    • succ
    • 0
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • Arithmetic
      • +
      • -
  • Pairs
Related Projects
Math

Bcmath based math helper for high precision base 10 decimal calculus

28 Jul 2019 3
rawrlang

A language that compiles to PHP.

08 May 2015 9
php-partial-function-application

First concise implementation of partial function application in PHP

03 Nov 2015 30
PHP-Expression

Simple and fast PHP expression parser, based on secure use of eval(). Supports both PHP 5.x long ...

29 Jan 2014 4
apply

Functional Programming in PHP

24 Apr 2019 3
bignum

A smart wrapper for bcmath that allows

13 Oct 2018 5
because-we-can

Not because we must do it, but because we can

16 May 2015 118
rawr

A word that means "I Love You" in dinosaur.

13 Oct 2014 43
php-code-without-any-workaround

A proof of concept of a PHP code with 0 bugs and workarounds!

05 Sep 2017 40
rphc

PHP-to-PHP RPC Framework

16 Mar 2019 12
lambda-php

Lambda calculus interpreter in PHP.

14 Dec 2013 22
phpp

(PHP Hypertext Preprocessor) Preprocessor

25 May 2015 10
php-maybe-monad

Maybe monad in PHP

23 Jun 2015 30
Algorithm

Composable algorithms for PHP 7

29 Apr 2015 46