search

Safe-DS / DSL

Statically checked Data Science programs.
https://dsl.safeds.com
MIT License
11 stars 0 forks source link

Type check `value is type` #1143

Open lars-reimann opened 2 months ago

lars-reimann commented 2 months ago

Is your feature request related to a problem?

It's not possible to check whether a value has a specific type.

Desired solution

Add a new expression value is type, where value is an expression and type is a type. It should evaluate to a boolean.

Possible alternatives (optional)

No response

Screenshots (optional)

No response

Additional Context (optional)

No response