I suggest we ...

Support type annotation based on expression's type

It would be helpful to have type annotation made of the type of another expression:

let a = 1
let b : typeofexpr<a> = 2

this type of type annotation exists in Oracle SQL database (tablename.column_name%type) and is implemented in jai language:

https://www.youtube.com/watch?v=iVN3LLf4wMg

I believe it is also possible to do similar thing with C++ templates.

1 vote
Vote
Sign in
(thinking…)
Sign in with: Facebook Google
Signed in as (Sign out)
You have left! (?) (thinking…)
Gauthier Segay shared this idea  ·   ·  Flag idea as inappropriate…  ·  Admin →

0 comments

Sign in
(thinking…)
Sign in with: Facebook Google
Signed in as (Sign out)
Submitting...

F# Language

Feedback and Knowledge Base