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.
Re. 3 & 5: my theory is that a language with gradual typing, gradual error handling enforcement, and "gradual proving" that is seamlessly embedded in it (see e.g. the attempt in NimDoctor) could hopefully actually work here. And as to dynamic typing, I found it useful when prototyping to quickly PoC/MVP the "happy path" of an idea/design, and see if it is worth investing any bigger effort, or just completely crap. Ideally I'd then (gradually) enable (or, "un-disable") statical typing, error handling enforcement, and formal proving.
Re. 6: for API design, I have some (feeble) hopes behind https://aip.dev; as to the rest, I have immense hopes behind https://enso.org
Related posts
- Ask HN: What are your thoughts on no-code tools like Microsoft's Power Automate?
- Platform for mixing Python, Java, JavaScript and much more
- Enso – a programming language with dual visual and textual representations
- Enso – Get insights you can rely on. In real time
- Modern Data Modeling: Start with the End?