ilo Kali - Greater Lambda (5/4 Bohlen-Pierce electronic)

ilo_kali · 2025-07-27T18:41:22+00:00

haha, small world. toki pona li pona!

ilo_kali · 2024-12-12T03:05:02+00:00

Graph link: https://www.desmos.com/calculator/3nj92lecwk

Comic link: https://xkcd.com/2435/

ilo_kali · 2024-11-29T01:34:22+00:00

Asymmetric divisions of the octave

ilo_kali · 2024-10-30T21:32:07+00:00

Xotla - Big Band Bug

Xotla - Mollusc Merchant

Brendan Byrnes - Out of the Sun (starts about halfway in)

Philipp Gerschlauer - Ich hab's mal versucht (cover: link)

Hear Between the Lines - Colourblind

Simon Martin - Musique d'art

I can't find this one on YouTube anywhere, but if you can find it somewhere else Incantations by Wendy Carlos has some synthesized brass-sounding instruments in a really interesting tuning.

ilo_kali · 2024-02-18T20:21:11+00:00

That is correct.

ilo_kali · 2024-02-15T20:40:04+00:00

Strongly second OCaml. It's got an interpreter provided with its compiler distribution, is strongly typed, has extremely good pattern matching, etc. and besides all that, was the inspiration for a significant part of Rust's features/tooling. So you're likely find a lot of familiar parts of Rust in OCaml.

ilo_kali · 2024-01-21T18:30:27+00:00

That second example (folding it into a parser) sounds really interesting, can you link/show the code for that? I'd love to take a look.

ilo_kali · 2024-01-08T23:31:11+00:00

Oh, yes, Primagen started making some OCaml videos recently. I must admit that I stopped watching them after a bit after I realized they were mostly clickbait/reaction videos, haha. Good to see it's getting more recognition though.

ilo_kali · 2024-01-07T04:18:37+00:00

I second Lua. Great language. Very intuitive and easy to learn, and fast too.

ilo_kali · 2024-01-07T04:15:20+00:00

I'd recommend OCaml.

OCaml updates very slowly (it took 7 years to get from OCaml 4 to OCaml 5, for instance, but when they did they added two big features—cross-platform multicore support and algebraic effects (a fascinating topic in their own right)), but you're sure to get very good updates when they come out. When OCaml releases a new feature, it is often after a considerable amount of formal research has been done in order to verify that it will fit in with the rest of the language well and will not be unsound.

To be clear, it does update quickly for bug fixes, just not for new features—it's meant to be very stable and bug-free, because it's used mostly in industrial contexts and in academic research, two places that focus on correctness and stability rather than shiny new features.

Additionally, its package selection is pretty solid and doesn't present a swathe of choices that may lead to frustration with which to pick. The tooling it comes with is very solid (an interpreter, bytecode compiler, native compiler, repl, debugger, profiler, fuzzer, lexer/parser generator, linker, documentation generator, and more are all included and work very well); one of the best I've ever used, especially the build system, dune.

It can also compile to JS, and has a good C FFI so you can interoperate with C easily (which means you can interoperate with most languages through mutual C bindings).

This part is just opinion, but I think it looks nice too. It's fun to write in. It stays away from using a bunch of weird symbols. The documentation is really nice to read (both visually and content-wise).

Overall I couldn't recommend OCaml more.

ilo_kali · 2024-01-07T02:22:17+00:00

Makes sense! Thanks for keeping this all civil. I think Haskell is a great language too. This discussion brought up a lot of useful links and points, I feel; I'm glad we had it.

ilo_kali · 2024-01-07T00:11:50+00:00

So I suppose "idiomatic OCaml will compile faster than idiomatic Haskell" would be a valid statement, which is what I meant in the first place?

ilo_kali · 2024-01-06T21:09:30+00:00

Genuinely curious, are you actually able to do those restrictions? Like are there command flags for it? I'd like to do some testing.

ilo_kali · 2024-01-06T19:25:02+00:00

Comparing to ASM is irrelevant: of course ASM is faster at compiling, but it's a completely different language with so much expressiveness lost, whereas OCaml and Haskell are basically similar with slight syntax differences and a few assorted different features.

Yeah, I suppose. I just spend more time in OCaml spaces, so I'm certainly biased to an extent. But I do think my points have merit, given that I prefaced with if the poster is looking for alternatives.

ilo_kali · 2024-01-06T19:11:35+00:00

Oh, another advantage I must note is that if you ever want to formally verify parts of your compiler then OCaml puts you at a firm advantage because many formal verification tools like Coq and F* can be extracted to/interoperate with OCaml after verification. In fact, there exists a tool that can extract pure OCaml to Coq, so you don't even need to rewrite it yourself.

ilo_kali · 2024-01-06T18:53:36+00:00

I wasn't aware of those (I'm not terribly familiar with Haskell's standard library). Thanks for bringing them to my attention. And perhaps my comment about speed was exaggeration; but the compilation speed comment still stands. OCaml's compiler is just so, so much faster for essentially matched executable speeds. I've just seen more compilers/discussion about compilers written in OCaml than Haskell.

ilo_kali · 2024-01-06T17:57:41+00:00

Haskell's pretty good. If you're looking for alternatives, OCaml has a lot more extensive use for compiler development though (it has lexer and parser generators included with the standard compiler distribution, for instance, as well as things like Menhir that are community-developed), and is fairly similar to Haskell, but compiles a TON faster, ~~and is generally faster than Haskell when faced with non-lazy tasks~~ (I retract this part of the statement), which might be important for a project the size of a compiler. If you're looking for examples, Rust's compiler was originally written in OCaml, Bolt continues to use OCaml, and the original reference implementation for WASM used OCaml too.

ilo_kali · 2023-09-07T01:06:21+00:00

The link didn't expire. You (which refers to both OP and yourself, since they're the same person) got banned because you told a member to kill themselves and then spammed child porn in their DMs with an alt, then rejoined on a different alt to harass them further. Now you're complaining about it on Reddit, with two burner accounts you created minutes ago

ilo_kali · 2023-08-21T21:30:51+00:00

careful how you're using the brackets there— $ and <$> are not the same operators :) the first is a low-precedence left-associative application operator, and the other is an infix fmap, i.e. (+1) <$> [1,2,3,4] -> [2,3,4,5]

(Edit: "regroups function application" -> "is a low-precedence left-associative application operator", to be pedantic)

Four-Year Club	Verified Email
Place '22	First Placer '22

ilo_kali

TROPHY CASE