Metadata-Version: 1.1
Name: calchylus
Version: 0.1.3
Summary: Calchylus - Lambda Calculus with Hy
Home-page: https://github.com/markomanninen/calchylus
Author: Marko Manninen
Author-email: elonmedia@gmail.com
License: UNKNOWN
Download-URL: https://github.com/markomanninen/calchylus/archive/v0.1.3.tar.gz
Description: 
        Calchylus - Lambda calculus with Hy
        ===================================
        
        ``Calchylus`` is a `Hy <http://docs.hylang.org>`__ module that is used to
        evaluate, and furthermore, to understand the basics of Lambda calculus
        (also written as λ-calculus).
        
        	`Lambda calculus <https://en.wikipedia.org/wiki/Lambda_calculus>`__ is a
        	formal system in mathematical logic for expressing computation that is
        	based on function abstraction and application using variable binding and
        	substitution. -*wikipedia.org*
        
        Intended audience is those who:
        
        a) are interested of the theory and the history of the programming languages,
        b) may have some experience in Python and/or Lisp,
        c) but also those, who wants to narrow the gap between mathematical notation and
           programming languages, especially in terms of logics.
        
        `Andrew Bayer <http://math.andrej.com/2016/08/30/formal-proofs-are-not-just-deduction-steps/>`__
        writes in his blog post in 2016/08:
        
        	Traditional logic, and to some extent also type theory, hides computation
        	behind equality.
        
        Lambda calculus, on the other hand, reveals how the computation is made by
        manipulation of objects.
        
        ``Calchylus`` can also serve as a starting point for a mini programming language.
        Via custom macros representing well known Lambda forms, ``Calchylus`` provides
        all necessary elements for boolean, integer and list data types as well as
        conditionals, loops, variable setters, mathematical operators and exemplary
        arithmetic functions like, summation, factorial, and fibonacci.
        
        
        Quick start
        -----------
        
        .. code-block:: bash
        
        	$ pip install hy calchylus
        	$ hy
        
        .. code-block:: hylang
        
        	(require [calchylus.lambdas [*]])
        	(with-alpha-conversion-and-macros L ,)
        	(L x y , (x (x (x (x (x y))))) a b)
        	; (a (a (a (a (a b)))))
        	(FIBONACCI FIVE)
        	; (x (x (x (x (x (x (x (x (x (x (x (x (x y)))))))))))))
        
Keywords: hylang,python,lisp,macros,dsl,lambda calculus,functional language
Platform: any
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Lisp
Classifier: Topic :: Software Development :: Libraries
