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
Check!
(thinking…)
Reset
or sign in with
  • facebook
  • google
    Password icon
    Signed in as (Sign out)
    You have left! (?) (thinking…)
    Gauthier Segay shared this idea  ·   ·  Flag idea as inappropriate…  ·  Admin →

    0 comments

    Sign in
    Check!
    (thinking…)
    Reset
    or sign in with
    • facebook
    • google
      Password icon
      Signed in as (Sign out)
      Submitting...

      F# Language

      Feedback and Knowledge Base