Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

OhuaLang #23

Closed
sertel opened this issue Nov 19, 2018 · 0 comments
Closed

OhuaLang #23

sertel opened this issue Nov 19, 2018 · 0 comments
Assignees
@JustusAdam
Labels
enhancement feature

Comments

@sertel
Copy link
Contributor

sertel commented Nov 19, 2018

By now, there are at least two cases where we want to provide syntax for convenience to the programmer but in the compiler want to desugar it to normal (typed) lambda calculus in ALang:

Therefore, I suggest to have another language called OhuaLang which is a superset of ALang and supports all this convenient syntax. The compiler pipeline is then:

OhuaLang -> ALang -> DFLang -> Code

OhuaLang will allow us to do all the desugaring in the compiler once instead of many times in each of the parsers.
@sertel sertel mentioned this issue Nov 19, 2018
Closed
@sertel sertel mentioned this issue Nov 19, 2018
Closed
JustusAdam added a commit that referenced this issue Nov 26, 2018
@JustusAdam
[#23] First definition of the frontend language
e683635
JustusAdam added a commit that referenced this issue Nov 27, 2018
@JustusAdam
[#23] Implemented Frontend lang -> ALang conversion pass
241567b 
Added multi-argument apply and multi-argument lambdas to frontend language
JustusAdam added a commit that referenced this issue Nov 27, 2018
@JustusAdam
[#23] Split up the frontend language passes
d03d45d
@sertel sertel assigned sertel and JustusAdam and unassigned sertel Nov 28, 2018
JustusAdam added a commit to ohua-dev/alang-clike-parser that referenced this issue Dec 5, 2018
@JustusAdam
[ohua-dev/ohua-core#23] Updated parser for new frontend language
b5cdd89 
Altered syntax for lambda expressions, closes #10
Changed statement rules to accept a blocks without return expressions, closes #4
Changed lexer to accept underscore as a variable name, closes #2
JustusAdam added a commit to ohua-dev/alang-ml-parser that referenced this issue Dec 5, 2018
@JustusAdam
[ohua-dev/ohua-core#23] Fixed the test cases
fbb98ba
JustusAdam added a commit to ohua-dev/alang-sexpr-parser that referenced this issue Dec 5, 2018
@JustusAdam
[ohua-dev/ohua-core#23] Fixed the test cases
27047bd
JustusAdam added a commit to ohua-dev/ohuac that referenced this issue Dec 5, 2018
@JustusAdam
[ohua-dev/ohua-core#23] Updated for new parsers and core
3657aa2
JustusAdam added a commit that referenced this issue Dec 5, 2018
@JustusAdam
[#23] Removed unused test cases, fixed passes test cases
5cbf448
JustusAdam added a commit that referenced this issue Dec 5, 2018
@JustusAdam
[#23] Removed an unused test, fixed passes test cases
ce67799
JustusAdam added a commit that referenced this issue Dec 11, 2018
@JustusAdam
[#23] Implemented Operator types and state arcs in DFLang and the graph
2c596ba 
Fixed the `Arcs` type (now compound, direct and state arcs are separated)
Changed the `Arc` family of types (its a single `Arc` type now and the rest aliases)
Implemented passes necessary for state binding normalization
Also simplified the other inlining passes using compositions of smaller passes
Changed `DFFnRef`. It makes more sense now
Extended the DFLang parser to work with state args
@sertel sertel closed this as completed Jan 17, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@JustusAdam JustusAdam

Labels
enhancement feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@sertel @JustusAdam