search

manifold-lang / manifold-frontend

Frontend compiler for Manifold high-level language
GNU General Public License v3.0
6 stars 6 forks source link

Inferable types #66

Open lucaswoj opened 9 years ago

lucaswoj commented 9 years ago

Some backends are able to infer ideal values for different parameters. We want to represent this behavior as a higher order type, Inferrable<T> (though perhaps notated differently in our front-end)

We need to decide how these types will be represented in our front-end language

  1. Inferable(T)
  2. @inferrable T
  3. T(inferable: true)

@lucaswoj likes 3 best right now... It would be a primitive attribute available on all types, i.e. (Boolean(inferable: true))

and how this should be represented in the front end.

@mtrberzi says the implementation of this feature is somewhat urgent for our clients

lucaswoj commented 9 years ago

Actually, I think I like option 2 better now