ludus/README.md

94 lines
5.5 KiB
Markdown
Raw Permalink Normal View History

2022-04-28 23:28:32 +00:00
![Ludus logo](logo.png)
## Ludus: A friendly, dynamic, functional language
2023-12-15 00:18:53 +00:00
Ludus is a scripting programming language that is designed to be friendly, dynamic, and functional.
2021-10-30 18:51:35 +00:00
2024-06-17 03:56:29 +00:00
This repo currently contains a work-in-progress implementation of an interpreter for the Ludus programming language, using [Janet](https://janet-lang.org) as a host language.
2024-06-16 02:29:06 +00:00
Ludus is part of the [_Thinking with Computers_ project](https://alea.ludus.dev/twc/), run by Scott Richmond at the University of Toronto, with collaborator Matt Nish-Lapidus; Bree Lohman and Mynt Marsellus are the RAs for the project. Ludus is our research language, which aspires to be a free translation of Logo for the 2020s.
2022-04-28 23:28:32 +00:00
2023-12-15 00:18:53 +00:00
Here are our design goals:
#### Friendly
2024-06-16 02:29:06 +00:00
Ludus, like Logo, is meant to be a teaching language, often for students who don't think of themselves as "computer people." Our intended audience are humanities and art people at the university level (undergrads, grads, faculty). Everything is kept as simple as possible, but no simpler. Everything is consistent as possible. We aspire to the best error messages we can muster, which is important for a language to be teachable. That means being as strict as we can muster, _in order to be friendlier_.
2023-12-15 00:18:53 +00:00
2024-06-16 02:29:06 +00:00
Our current development target is Ludus on the web: https://web.ludus.dev. That wires what we do on the langauge interpreter (here in this repo) to a web frontend.
2023-12-15 00:18:53 +00:00
Naturally, it starts with Logo's famed turtle graphics.
#### Dynamic
2024-06-16 02:29:06 +00:00
Statically typed programming languages generally give more helpful error messages than dynamic ones, but learning a type system (even one with robust type inference) requires learning two parallel systems: the type system and the expression system (well, and the pattern system). Type systems only really make sense once you've learned why they're necessary. And their benefits seem (to us, anyway) to be largely necessary when writing long-lived, maintainable, multi-author code. Ludus code is likely to be one-off, expressive, and single-authored.
2023-12-15 00:18:53 +00:00
To stay friendly, Ludus is dynamic. But: despite the dynamism, we aim to be as strict as possible. Certainly, we want to avoid the type conversion shenanigans of a language like JavaScript.
#### Functional
Ludus is emphatically functional: it uses functions for just about everything. This is both because your humble PI had his world reordered when he learned his first functional language (Elixir), and because the research into Logo and the programming cultures of MIT in the 1970s revolve around extremely functional Lisp code (i.e., Scheme). Logo is a weird little language, but it is a descendant of Lisp. So is Ludus.
2024-06-16 02:29:06 +00:00
Also, we believe that Ludus's immutable bindings and persistent or immutable data structures and careful approach to manipulating state lead to a lot of good pedagogical results. Learning a programming language involves learning how to model what's going on inside the computer; Ludus, we think, makes that both simpler and easier.
2023-12-15 00:18:53 +00:00
2024-06-16 02:29:06 +00:00
If you're looking for cognate languages, Ludus takes a _lot_ of design inspiration from Clojure and Elixir (which itself took a lot from Clojure). (The current--quick, dirty, and slow--version of Ludus is written in [Janet](https://janet-lang.org).) Clojure and Elixir are great! If you're asking why you should use Ludus instead of them, you're already at the point where you should be using them. Ludus is, maybe, for the people whom you'd like to work with in 5 years at your Pheonix shop (but even then, probably not).
2023-12-15 00:18:53 +00:00
2022-04-28 23:28:32 +00:00
### Status
2024-06-16 02:29:06 +00:00
Pre-alpha, still under active development. Lots of things change all the time.
2023-12-15 00:18:53 +00:00
2024-06-16 02:29:06 +00:00
The current version of Ludus is a pure function that runs in JavaScript as a WASM blob. We have plans for more and better things.
2021-10-30 18:51:35 +00:00
### Use
2024-06-16 02:29:06 +00:00
Current emphasis is on the web version: https://web.ludus.dev.
2022-05-19 22:55:00 +00:00
### Main features
2023-12-15 00:18:53 +00:00
* Expression-oriented: everything returns a value
* Pattern matching in all the places
2022-05-19 22:55:00 +00:00
* No operators: everything is called as a function
2023-12-15 00:18:53 +00:00
* Easy-peasy partial application with placeholders
* Function pipelines
2022-05-19 22:55:00 +00:00
* Persistent or immutable data structures
2024-06-16 02:29:06 +00:00
* Careful, explicit state management using `box`es
2023-12-15 00:18:53 +00:00
* Clean, concise, expressive syntax
2023-12-15 00:24:59 +00:00
* Value-based equality; only functions are reference types
2022-05-19 22:55:00 +00:00
#### Under construction
2024-06-16 02:29:06 +00:00
* Actor-model style concurrency.
* Faster, bytecode-based VM written in a systems language, for better performance.
* Performant persistent, immutable data structures, à la Clojure.
2022-04-28 23:28:32 +00:00
### `Hello, world!`
2023-12-15 00:18:53 +00:00
Ludus is a scripting language. At current it does not have a good REPL. Our aim is to get interactive coding absolutely correct, and our efforts in [ludus-web](https://github.com/thinking-with-computers/ludus-web) are currently under way to surface the right interactivity models for Ludus.
2022-04-28 23:28:32 +00:00
2023-12-15 00:18:53 +00:00
Either:
2022-04-28 23:28:32 +00:00
```
"Hello, world!"
```
`=> "Hello, world!"`
2023-12-15 00:18:53 +00:00
Ludus scripts (and blocks) simply return their last expression; this script returns the bare string and exits.
2022-04-28 23:28:32 +00:00
Or:
```
2023-12-15 00:18:53 +00:00
print! ("Hello, world!")
2022-04-28 23:28:32 +00:00
```
```
=> Hello, world!
=> :ok
```
2024-06-16 02:29:06 +00:00
Here, we use the `print!` function, which sends a string to a console (`stdout` on Unix, or a little console box on the web). Because `print!` returns the keyword `:ok` when it completes, that is the result of the last expression in the script--and so Ludus also prints this.
2022-04-28 23:28:32 +00:00
2022-05-19 22:45:41 +00:00
### Some code
Fibonacci numbers:
```
& fibonacci!, with multi-clause fns/pattern matching
fn fib {
2023-12-15 00:18:53 +00:00
"Returns the nth fibonacci number."
2022-05-19 22:45:41 +00:00
(1) -> 1
(2) -> 1
(n) -> add (
fib (sub (n, 1))
fib (sub (n, 2)))
}
fib (10) &=> 55
```
2022-04-28 23:28:32 +00:00
### More on Ludus
2024-06-16 02:30:38 +00:00
See the [language reference](language.md) and [the documentation for the prelude](prelude.md).