| Language | Paradigms | Type system | Languages it influenced |
|---|---|---|---|
| Bosque | functional programming | static typing, refinement typing, structural typing | — |
| Motoko | — | — | — |
| Move | — | static typing | — |
| Nushell | — | — | — |
| Project Verona | — | — | — |
| Wenyan‑lang | — | — | — |
| Language | Paradigms | Type system | Languages it influenced |
|---|---|---|---|
| Bosque | functional programming | static typing, refinement typing, structural typing | — |
| Motoko | — | — | — |
| Move | — | static typing | — |
| Nushell | — | — | — |
| Project Verona | — | — | — |
| Wenyan‑lang | — | — | — |