In my experience it’s better than python/ts 😂 type system helps a looot
19.01.2026 20:36
👍 3
🔁 0
💬 0
📌 0
In my experience it’s better than python/ts 😂 type system helps a looot
I built my own JavaScript runtime in OCaml
I wanted to see how far OCaml could go against Bun and Node, and also also OCaml vs zig vs c++ in similar APIs.
So I built `sirocco`.
Uses JavaScriptCore (same engine as Bun and Safari). Event loop with libuv and it's written in OxCaml.
Tried an OCaml compiler branch with modular explicits (soon to be merged?) and polymorphic arguments (already merged) and it feels sooo good (where it’s needed).
Oh, what’s unsound about it?
I made html_of_jsx a bit faster and published a blog post about it: how it's done and some won'ts!
sancho.dev/blog/making-...
Prague when
Pretty fun to program in and very well suits the problem found in AoC usually.
BQN
What book are you going through? I’ve enjoyed Software Foubdations for Coq/Rocq and would love to try Lean using some similar in format book (lots of exercises, book content is in the code comments).
I think mlx works pretty good with lsp to be honest. And type safe. There are some improvements could be made but overall pretty happy.
Что значит отправить URL? Судя по зависимостям — там только чтобы его из строки парсить (и обратно).
oh, in tmux there are lots of "quality of life" improvements over screen: can zoom-in/zoom-out a pane, floating windows and many more
But it’s possible to resolve constraints in any order (Applicative before Traversable in the example above), no? How would that work with currying?
feels like this discussion happens again and again 😅 between same persons
I'm writing a fun little text editor in C and vulkan!
Like vim, it's modal. But there is no concept of a cursor in normal mode, only a selection. You can switch the selection "granularity" with h and l, then move the selection with j and k.
And ofc there are a ton more hotkeys for selection manip.
ah! though the demos you share here and on twitter are cool!
presenting?
ok, fair, so what’s NEWLANG? and can we collaborate?
wait, I've max-multicasted DISTRO, it's alone ~40 votes
Yeah, will need a runtime.
yep, but actually it looks like it is made for xtensa (esp32-S), now there is esp32-C also available which is RISCV, would be interesting to see what's missing from OCaml's official RISCV support.
I'm pretty sure OCaml runs on esp32, well, even Python/Lua can do that...
DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO DISTRO
There are things like that — a lib of combinators (+ppx optionally) for type representation. Then functions which accept type representation and do something useful — show, compare, serde, … I remember there was a survey of these in discuss some time ago
oh... a very useful extension, but I'd prefer something like:
include Comparable(Self)
where Self is a "current module"
no, I mean what’s calling convention, how does
It pass the record fields? Not heap allocated?
only if it does so efficiently!
But it doesn’t detect grammar conflicts, doesn’t track source locations, …
Agree that it is strange, though this is how it works now — formatting is done through dune rpc (ocamllsp calls dune through rpc) for some unclear to me reasons...
