lucassouzamatos / chico.lang

:sparkles: :smiley_cat: a functional toy language
MIT License
18 stars 1 forks source link

Add type checker #5

Open lucassouzamatos opened 2 years ago

lucassouzamatos commented 2 years ago

Reference of implementation:

https://github.com/amir343/avlang

lucassouzamatos commented 2 years ago

Introduction to type theory and implementation about.

Reference: https://mukulrathi.com/create-your-own-programming-language/intro-to-type-checking/

lucassouzamatos commented 2 years ago

https://groups.seas.harvard.edu/courses/cs153/2019fa/lectures/Lec14-Type-checking.pdf

lucassouzamatos commented 2 years ago

Implementation idea:

sum :: (Number Number) -> Number

fun sum(A B) ->
  apply + A B done
done