search

7sharp9 / ReQuetzal

An experimental ML style language
13 stars 1 forks source link

Implementation of a POC from issue #1 #5

Open Lleutch opened 6 years ago

Lleutch commented 6 years ago

Start implementation of a POC from issue #1 syntax definition

7sharp9 commented 6 years ago

What’s the difference between type inference and checking?

On Sat, 13 Jan 2018 at 22:21, Fahd Abdeljallal notifications@github.com wrote:

Start implementation of a POC from issue #1 https://github.com/7sharp9/ReQuetzal/issues/1 syntax definition

  • Lexer
  • Parser
  • Type Inference
  • Type Checking ... we'll add the rest when needed.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/7sharp9/ReQuetzal/issues/5, or mute the thread https://github.com/notifications/unsubscribe-auth/AAj7yuG3unwh7o7xlBbH4m2x-FrfbZQQks5tKSx3gaJpZM4RdY_B .

7sharp9 commented 6 years ago

Two forms of inference added HM and HM with rank optimisation.

7sharp9 commented 6 years ago

Type inference for the first cut will probably be pure HM with row polymorphism, later this would be adapted to have session types and rank n types