Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Functions #5

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
Merged
jbarrmetro merged 91 commits into from
Jun 20, 2023
Merged

Functions #5

jbarrmetro merged 91 commits into from
Jun 20, 2023

Conversation

@jbarrmetro
Copy link
Collaborator

@jbarrmetro jbarrmetro commented Jun 16, 2023 •
edited
Loading

  • def and fn forms
  • def form desugars to (var <name> (fn ...))
  • Optional type annotations
  • All functions are curried
  • Functions can be variadic
  • More metadata for rt.makeFunction
  • Annotations for function types
  • Add function contracts in core library
  • Add generic Visitor class and subclass it for desugaring

jbarrmetro added 30 commits June 16, 2023 15:58
@jbarrmetro
Format code
e06e6a1
@jbarrmetro
Create generic visitor
d60032b
@jbarrmetro
Use constructor in Visitor
2089431
@jbarrmetro
Add Ramda
3934b81
@jbarrmetro
Don't forget to pass precedence back into readExpr from reading membe…
0d7282f 
…r expression
@jbarrmetro
Add :dict property to Exception class
5c2138e
@jbarrmetro
Get rid of circular reference
2bae055
@jbarrmetro
Don't forget to handle null case before checking properties
bfe4fa3
@jbarrmetro
Add nodes for FunctionDeclaration and LambdaExpression
db2ba5a
@jbarrmetro
Don't forget type annotations on function nodes
6f62a60
@jbarrmetro
Parse FunctionDeclaration and LambdaExpression nodes
390d17c
@jbarrmetro
Add docblock
20917dc
@jbarrmetro
Parse function type annotation
cd9eaba
@jbarrmetro
Parse function annotation as part of function parameters
afc2cc2
@jbarrmetro
Parse type annotations in variable declarations
5a02e30
@jbarrmetro
Add kind to Function type annotation
76ec9eb
@jbarrmetro
Add variadic info to function type annotation
b3346da
@jbarrmetro
Add variadic info to type when constructing from type annotation
995ea44
@jbarrmetro
Add note
b16cb0f
@jbarrmetro
Remove redundant if
d4b9959
@jbarrmetro
Don't forget to bump up the value of i
0daf866
@jbarrmetro
Better parsing for function annotations
527b44d
@jbarrmetro
Add note
58457c7
@jbarrmetro
Better parsing of variable declaration type annotation
7dc6157
@jbarrmetro
Better parsing of type annotations on functions
4eeedf7
@jbarrmetro
Format
461447e
@jbarrmetro
Make sure body of function is an array of expressions
e0afca3
@jbarrmetro
Rest parameter must be of vector type
73120ab
@jbarrmetro
Format
79dcf0c
@jbarrmetro
Infer type for functions
5cc0b6a
jbarrmetro added 28 commits June 19, 2023 15:35
@jbarrmetro
Print function value
228503d
@jbarrmetro
Default function name to lambda in printer
e6a6ff5
@jbarrmetro
Don't forget to call makeFunction on compiled lambda
7901e55
@jbarrmetro
Add name to function
e6e0993
@jbarrmetro
Use or instead of nullish coalescing
76ba809
@jbarrmetro
Func.name will not be set on in-lang functions
d616a37
@jbarrmetro
Reset input and indent on REPL error
675ce99
@jbarrmetro
Make sure adding annotations to a function turns checking on in the p…
9a2a2a5 
…arent type env
@jbarrmetro
Throw error if function is given too many args
4ef23aa
@jbarrmetro
Add runtime function to parse contract
120a46e
@jbarrmetro
Add contract property to function if one exists
34eaf60
@jbarrmetro
Fix bug where variadic functions were requiring rest args
595fa63
@jbarrmetro
Add contracts to core lib functions
860cc89
@jbarrmetro
Add map, filter, and fold to core lib
e8394a4
@jbarrmetro
Add reverse fold to core lib
11e5613
@jbarrmetro
Print FunctionDeclaration and LambdaExpression nodes
83d0130
@jbarrmetro
Reset input when entering mode command
1b05202
@jbarrmetro
add newlines for printing nodes
f938d62
@jbarrmetro
Print correct node name
6d57693
@jbarrmetro
Subtype for function type
8298985
@jbarrmetro
Remove __module__ variable from core lib
c6533a5
@jbarrmetro
Move declaration of annot down to where it's used
8f29f9f
@jbarrmetro
Add each function to core lib
b518dc3
@jbarrmetro
Properly handle nil type annotation
2c7f83b
@jbarrmetro
Check new functions in type checker if checking is on
2c80bde
@jbarrmetro
Use inferred return type if no annotated type or undefined
1daa425
@jbarrmetro
Specify that it takes and returns TypedAST
2426e08
@jbarrmetro
Add hash as function name
d2d5817
@jbarrmetro jbarrmetro merged commit 3509e72 into main Jun 20, 2023
@jbarrmetro jbarrmetro deleted the functions branch June 20, 2023 03:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@jbarrmetro