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

Path	csiph.com!weretis.net!feeder9.news.weretis.net!news.misty.com!news.iecc.com!.POSTED.news.iecc.com!nerds-end
From	asketeddy <asketeddy@gmail.com>
Newsgroups	comp.compilers
Subject	Gooo: experimental typed programs compiled to Go, with saved replay
Date	Sun, 11 Oct 2026 20:20:05 +0900
Organization	Compilers Central
Sender	johnl%iecc.com
Approved	comp.compilers@iecc.com
Message-ID	<26-10-009@comp.compilers> (permalink)
MIME-Version	1.0
Content-Type	text/plain; charset="UTF-8"
Injection-Info	gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="71692"; mail-complaints-to="abuse@iecc.com"
Keywords	design, question
Posted-Date	11 Oct 2026 21:54:29 EDT
X-submission-address	compilers@iecc.com
X-moderator-address	compilers-request@iecc.com
X-FAQ-and-archives	http://compilers.iecc.com
Xref	csiph.com comp.compilers:3774

Show key headers only | 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