Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.compilers > #3774

Gooo: experimental typed programs compiled to Go, with saved replay

Show all headers | View raw

I'm developing the Go Ports examples for Gooo, an experimental language whose
typed declarations and bounded compute bodies can be checked, compiled to Go,
executed, and replayed from saved evidence. The current examples pin Gooo
0.6.29-dev.

The public Go Ports repository contains 31 selected function ports (29 from
Go's standard library and two from
[golang.org/x/image](http://golang.org/x/image)). The current finite test
suite covers 37,232 cases across 45 suites, combining independent Go reference
comparisons with documented out-of-domain expectations. Every batch is
replayed from its saved receipt. These are bounded examples and finite
comparisons, not full Go API compatibility or proof for all inputs.

A browser tutorial lets readers inspect a small Gooo program, its generated Go
and build identity, and run the compiled WebAssembly without a model or API
key.

I'd welcome feedback on the language/package interface and whether the
execution/replay evidence is useful for evaluating small compiler
implementations.

Language source:
<https://github.com/kimjooyoon/meta-ontology-go>

Ports and reproduction instructions:
<https://github.com/kimjooyoon/gooo-go-ports>

Browser tutorial:
<https://kimjooyoon.github.io/gooo-go-ports/tutorial.html>

asketeddy

Disclosure: I maintain these examples; this announcement was prepared with AI
assistance.

Back to comp.compilers | Previous | Next | Find similar | Unroll thread

Thread

Gooo: experimental typed programs compiled to Go, with saved replay asketeddy <asketeddy@gmail.com> - 2026-10-11 20:20 +0900

csiph-web