Our great sponsors
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
It appears the guards are relatively simple, like you can't do special string or number subclasses for example. I'm basically wondering, are there any languages which can do type guards but make them more advanced? And can they do them at compile time, or must they be checked at runtime? I am thinking of Lobster and their "Flow-Sensitive Type-Inference and Specialization" ideas.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.