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.
-
turbo
Incremental bundler and build system optimized for JavaScript and TypeScript, written in Rust – including Turbopack and Turborepo.
Have you looked at Lean 4? It's a very elegant and efficient dependently typed pure FP language, and seems to be quite actively used in the math community.
Rust's niche is speed and reliability, which means being pretty good at many domains. That might sound like it can be replaced, but not actually. Let's take an example of a developer tool - ruff. It's a linter for Python that aims to replace a bunch of tools written in Python - Pylint, Flake8 and others. The sales pitch is - it does the same thing as the others, except it's 10-100x faster than the others. You could rewrite it in another language, but people aren't replacing ruff unless it's comparable in speed. Do you get it? Speed is a critical feature in some contexts and it's hard to beat Rust here. Not impossible, but hard. Other examples include turbopack, swc, buck2.
Rust's niche is speed and reliability, which means being pretty good at many domains. That might sound like it can be replaced, but not actually. Let's take an example of a developer tool - ruff. It's a linter for Python that aims to replace a bunch of tools written in Python - Pylint, Flake8 and others. The sales pitch is - it does the same thing as the others, except it's 10-100x faster than the others. You could rewrite it in another language, but people aren't replacing ruff unless it's comparable in speed. Do you get it? Speed is a critical feature in some contexts and it's hard to beat Rust here. Not impossible, but hard. Other examples include turbopack, swc, buck2.
Rust's niche is speed and reliability, which means being pretty good at many domains. That might sound like it can be replaced, but not actually. Let's take an example of a developer tool - ruff. It's a linter for Python that aims to replace a bunch of tools written in Python - Pylint, Flake8 and others. The sales pitch is - it does the same thing as the others, except it's 10-100x faster than the others. You could rewrite it in another language, but people aren't replacing ruff unless it's comparable in speed. Do you get it? Speed is a critical feature in some contexts and it's hard to beat Rust here. Not impossible, but hard. Other examples include turbopack, swc, buck2.