Skip to content

fx 0.9.5 - production std, concurrency, capability regions

Choose a tag to compare

View all tags
@shawnlondono shawnlondono released this 10 Aug 12:46
· 2 commits to main since this release
v0.9.5
2109d42

fx 0.9.5 — production std, concurrency, capability regions

Language package for ledocorp/fxlang
Tag: v0.9.5
Docs: ledocorp.org/fx

On 0.9.2: four production surfaces — native testing culture, structured concurrency, stronger std packs, and capability / guest regions with IR dual-path — plus vendor checksum foothold.

Highlights

Area What users get
Native test culture fx test / fx fuzz, std/testing + std/proptest, assure dogfoods under examples/assure/
Structured concurrency std/nursery, std/chan, std/select, std/mailbox, std/supervise + host/concur (emit-C and IR when linked)
Spawn / await API nursery.spawn_i32 / await_i32 (keyword sugar later)
Std packs path / string / encoding / fs copy / walk / log / json / sqlite / time / env / http parse / sync
Capability regions guest begin / nested / caps / std/io_cap / dynamic region sugar — emit-C and IR
NetCap dial std/net TCP dial under allowlist; TLS refused
SQLite file + FsCap File DB open only under allowlisted paths; :memory: unchanged
Vendor foothold fx mod vendor · tidy · verify with fx.sum (offline std pin; not a registry)

Ship configs: ir-native (Linux QBE + Windows qbe.exe when staged) · emit-C first-class · host-linked CLI / guest / concur.

Install

fx doctor
fx version                 # expect v0.9.5
fx new hello && cd hello && fx run main.fx
fx new mytool --scaffold cli
fx new sandbox --scaffold guest
fx test examples/assure --backend both

See CLI.md · STD.md · REGIONS.md · SURFACE.md · LIBRARIES.md.

Honesty bounds

Still not in this tag:

  • Soft / dynamic heap that erases region physics
  • Package registry (vendor / fx.sum only)
  • TLS / full network stack as language product
  • Lexer keywords nursery / spawn / await / Task<T> (use spawn_i32 / await_i32)
  • Generic Chan<T> / Send typeck as a finished dialect claim
  • DAP / integrated debugger product
  • Language-wide formal certification claims

Thanks

Stewarded by Shawn Londono / LedoCorp · Apache-2.0
SQLite · public domain amalgamation · llhttp © Node.js contributors — MIT · QBE © Quentin Carbonneaux — MIT

Assets 2
Loading