Keith Pinson
I am a software developer who is getting into speaking.
Bit = 0 | 1
https://bartoszmilewski.com/2014/11/04/ category-the-essence-of-composition/
https://bartoszmilewski.com/2014/11/04/ category-the-essence-of-composition/
https://bartoszmilewski.com/2014/11/04/ category-the-essence-of-composition/
<expr> ::= <name> | <func> | <appl>
<name> is an identifier (sorry, no BNF)
<func> ::= λ<name>.<body>
<body> ::= <expr>
<appl> ::= (<func> <expr>)
λx.x
λf.λa.(f a)
λx.λy.x
λf.λx.λy.(f y x)
λfλgλx.(f (g x))
https://github.com/CraigStuntz/TinyLanguage
module Compiler
let compile =
Lexer.lex
>> Parser.parse
>> Binder.bind
>> OptimizeBinding.optimize
>> IlGenerator.codegen
>> Railway.map OptimizeIl.optimize
>> Railway.map Il.toAssemblyBuilder
https://bartoszmilewski.com/2014/10/28 /category-theory-for-programmers-the-preface/
By Keith Pinson
For Pittsburgh Functional Programming
I am a software developer who is getting into speaking.