Skip to content
/ LambdaSharp Public

A Language based on Lambda (λ) Calculus which transpiles to F#

License

MIT license
3 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

archanpatkar/LambdaSharp

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

50 Commits
Demo
Demo
 
 
LICENSE
LICENSE
 
 
LambdaSharp.fsx
LambdaSharp.fsx
 
 
README.md
README.md
 
 
lambdasharplogo.png
lambdasharplogo.png
 
 

Repository files navigation

A Language inspired from Lambda Calculus written in F#

Which transpiles to F# !

Introduction

L# supports Pure Functional paradigm

It provides Function Abstractions from Lambda Calculus

Example

L# Code

( ^b. ( b( ^x. ^y. x ) ) ( ^x. ^y. y ) ) ( ^x. ^y. x )

Transpiled to F#

( fun b-> ( b( fun x-> fun y-> x ) ) ( fun x-> fun y-> y ) ) ( fun x-> fun y-> x )

Bundler Code

#load "../LambdaSharp.fsx"
open LambdaSharp      
LambdaSharp.transpileFromFile "./one.lsx" "one.target.fsx"

More on Lambda Calculus

Introduction

Church Encoding

Church Encodings Implementation

License

MIT

Copyright (c) 2018 Archan Patkar

About

A Language based on Lambda (λ) Calculus which transpiles to F#

Topics

programming-language fsharp functional-programming lambda-calculus transpiler from-scratch pure-functional

Resources

Readme

License

MIT license
Activity

Stars

3 stars

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages