Koru logo Koru
Learn Platform Status Blog
The Koru Book

745/928 tests passing

CORE LANGUAGE / BASIC SYNTAX 22/22
  • ✓ 000 hello world koru
  • ✓ 001 hello world
  • ✓ 002 simple event
  • ✓ 003 event multiline shape
  • ✓ 004 const block module scope
  • ✓ 005 const typed values
  • ✓ 006 const cross target
  • ✓ 007 string escape in flow arg
  • ✓ 020 eol comments
  • ✓ 050 kebab event emits
  • ✓ 051 kebab event field
  • ✓ 052 slash namespace
  • ✓ 053 reject underscore name
  • ✓ 054 println removed
  • ✓ 055 bare import
  • ✓ 056 slash resolves qualified event
  • ✓ 057 reject dot namespace
  • ✓ 058 kebab canonical in pipeline
  • ✓ 059 backtick raw pattern branch
  • ✓ 060 quoted branch with space
  • ✓ 061 backtick bracket equivalence
  • ✓ 062 const array index
CORE LANGUAGE / EVENTS FLOWS 18/18
  • ✓ 001 simple flow
  • ✓ 002 multiple flows
  • ✓ 004 void event
  • ✓ 005 void event chained
  • ✓ 006 void pipeline sequence
  • ✓ 007 binding annotations
  • ✓ 008 wildcard branch payload
  • ✓ 010 expression with brace
  • ✓ 011 reject tilde inside flow
  • ✓ 012 reject pub proc
  • ✓ 013 reject function call in branch constructor
  • ✓ 014 pure subflow impl
  • ✓ 015 reject binding on void branch
  • ✓ 016 destructure basic
  • ✓ 017 destructure nested host
  • ✓ 018 destructure effect branch
  • ✓ 019 reject destructure unused field
  • ✓ 020 reject destructure void branch
CORE LANGUAGE / LITERALS 7/7
  • ✓ 010 array literal simple
  • ✓ 011 array literal bindings
  • ✓ 012 struct literal inline
  • ✓ 013 array of structs
  • ✓ 014 array literal invalid target
  • ✓ 016 array literal subflow impl
  • ✓ host type injection
CORE LANGUAGE / TYPE SYSTEM 0/19
  • ? 100 string type
  • ? 101 int type
  • ? 102 float type
  • ? 103 bool type
  • ? 110 generic struct basic
  • ? 111 generic struct two params
  • ? 112 generic struct nested
  • ? 113 generic struct with primitives
  • ? 120 instantiate basic
  • ? 121 instantiate with named type
  • ? 122 instantiate two params
  • ? 123 instantiate nested generic
  • ? 130 nominal string mismatch
  • ? 131 nominal int mismatch
  • ? 132 generic type mismatch
  • ? 133 instantiation param mismatch
  • ? 140 type with const
  • ? 141 type with capture
  • ? 142 nominal in pipeline
CORE LANGUAGE / CONTROL FLOW 28/30
  • ✗ 008 if print ln branch
  • ✓ multiple branches
  • ✓ binding scopes
  • ✓ shadowing behavior
  • ○ shadowing rejected
  • ✓ labels and jumps
  • ✓ zig keyword escaping
  • ✓ continuation label
  • ✓ nested labels
  • ✓ label scope errors
  • ✓ arbitrary label jumps
  • ✓ label scope isolation
  • ✓ simple server flow
  • ✓ branching flow
  • ✓ nested depth 2
  • ✓ nested depth 3
  • ✓ nested depth 4
  • ✓ nested depth 5
  • ✓ nested depth 5 multi branch
  • ✓ reserved keyword branch
  • ✓ binding in string literal
  • ✓ namespace nested flow
  • ✓ nested labels
  • ✓ multi event chain
  • ✓ namespace labels combo
  • ✓ empty payload branches
  • ✓ loop module qualified
  • ✓ loop imported module
  • ✓ loop in library tapped from user
  • ✓ subflow defines semantics
MODULE SYSTEM / IMPORTS 16/16
  • ✓ 001 file import basic
  • ✓ 002 directory import basic
  • ✓ 003 directory import public
  • ✓ 004 file processor
  • ✓ 005 deep error handling
  • ✓ 006 transitive file import
  • ✓ 007 dir import basic
  • ✓ 008 dir import no pub
  • ✓ 009 dir import dotted
  • ✓ 010 dir import flow
  • ✓ 012 auto import parent
  • ✓ 013 module event globbing
  • ✓ 014 auto import index
  • ✓ 015 sibling in same directory
  • ✓ 016 optional parent
  • ✓ 020 cross module literal arg
MODULE SYSTEM / NAMESPACES 2/2
  • ✓ 001 directory namespace collision
  • ✓ 002 local name priority
MODULE SYSTEM / PACKAGES 1/1
  • ✓ 002 package requires npm
MODULE SYSTEM / FILE LAYOUT 13/15
  • ✓ 001 kjs extension import
  • ✓ 002 k pure contract
  • ✓ 003 directory mixed extensions
  • ✓ 004 index kjs directory source
  • ✓ 005 companion k and kz
  • ✓ 006 reject private event in contract
  • ✓ 007 reject pub event in impl when k exists
  • ✓ 008 pub event in kz alone is fine
  • ✓ 009 entry merges companions
  • ✓ 010 cross target host line routing
  • ✓ 011 vaxis pump realistic
  • ✓ 012 js dispatch binding shadow
  • ✓ 013 js continuation branch dispatch
  • ✗ 014 for template cross target
  • ✗ 015 if template cross target
PARSER 8/8
  • ✓ 050 identity branches
  • ✓ 052 braceless branch constructors
  • ✓ 053 braceless continuation constructors
  • ✓ 060 single line source blocks
  • ✓ 070 nested tilde invocations
  • ✓ 080 nested when guards
  • ✓ 081 unbalanced bracket in payload
  • ✓ 082 unbalanced bracket in args
COMPILER FEATURES / PARSER 81/86
  • ✓ lenient multiple errors
  • ✓ 001 event multiline shape
  • ✓ 003 conditional imports
  • ✓ 004 branch when clauses
  • ✓ 006 flow checker validation
  • ✓ 007 flow checker missing else
  • ✓ 008 tap nested continuation
  • ✓ 009 source with scope capture
  • ✓ 010 module annotations
  • ✓ 011 optional branch catchall
  • ✓ 012 missing required branch
  • ✓ 013 void event chaining
  • ✓ 014 void chaining nested
  • ✓ 015 abstract impl
  • ✓ 016 optional branches ignored
  • ✗ 017 catchall end to end
  • ✓ 018 multiline annotations
  • ✓ 019 subflow multiline call
  • ✓ 020 transitive imports
  • ✓ 022 invocation parentheses rules
  • ✓ 023 pipeline chain depth
  • ○ 024 source scope capture
  • ✓ 026 template interpolation
  • ✗ 029 transform requires comptime
  • ✓ 030 comptime flows
  • ✓ 031 annotations in ast
  • ✓ 032 implicit source param
  • ✓ 034 parser wrapper
  • ✓ 035 circular imports
  • ✓ 036 expression parameter
  • ✓ 037 expression scope capture
  • ✓ 038 implicit expr and source
  • ○ 039 file source syntax
  • ✓ 040 expression string capture
  • ✓ 041 expression backslash escape
  • ✓ 042 orisha pattern
  • ✓ 043 inline continuation rejected
  • ✓ 044 source block with branches
  • ✓ 045 source block in pipeline
  • ✓ 046 implicit expression with semicolon
  • ✓ 047 flow step brace is invocation not constructor
  • ✓ 048 loop unhandled branch
  • ✓ 049 parser runtime
  • ✓ 050 expression parameter emit
  • ✓ 051 subflow field shorthand
  • ✓ 052 pattern branches
  • ✓ 053 reject old tap syntax
  • ✓ 054 inline source block args
  • ✓ 056 cross module comptime dispatch
  • ○ 057 cross module comptime callsite fields
  • ✓ 058 cross module comptime return type
  • ✓ 059 reject tilde after pipe forward
  • ✓ 060 proc abstract override
  • ✓ 061 reject zig struct syntax
  • ✓ 062 reject empty brace payload
  • ✓ 063 reject single field braces
  • ✓ 064 parser drops second call after void
  • ✓ 065 reject inline flow in proc
  • ✓ 066 reject pipe forward body on next line
  • ✓ 070 reject terminal before effect at decl
  • ✓ 071 reject terminal before effect at dispatch
  • ✓ 072 effect branch simple decl
  • ✓ 073 effect branch only no terminal
  • ✓ 074 effect branch resume type
  • ✓ 075 effect branch consumer dispatch
  • ✓ 076 optional effect branch decl
  • ✓ 077 effect catchall dispatch
  • ✓ 078 reject redundant when parens
  • ✓ 079 effect branch resume expression
  • ✓ 080 body position expressions
  • ✓ 081 reject bare terminal catchall discard
  • ✓ 082 reject bare effect catchall discard
  • ✓ 083 reject metatype catchall full discard
  • ✓ 084 reject when only required terminal branch
  • ✓ 085 reject when only required effect branch
  • ✓ 086 accept when only optional effect branch
  • ✓ 087 phantom literal suffix
  • ✓ 088 reject redundant punning call site
  • ✓ 089 reject redundant punning path
  • ✓ 090 reject redundant punning constructor
  • ✓ 091 explicit label required when not punnable
  • ✓ 120 reject square bracket phantom
  • ✓ 121 module annotation above import
  • ✓ 122 char literal paren in args
  • ✓ 123 label on subflow rhs panics
  • ✓ 124 if cond and dropped
COMPILER FEATURES / COMPILATION 14/14
  • ✓ 001 cross module type basic
  • ✓ 002 reject dotted type ref
  • ✓ 003 cross module type basic
  • ✓ 004 cross module type nested
  • ✓ 005 cross module type nullable
  • ✓ 006 std module type ref
  • ✓ 007 parser dump ast
  • ✓ 008 parser benchmark
  • ✓ 010 module annotation serialization
  • ✓ 021 void chaining codegen
  • ✓ 022 combined continuation bugs
  • ✓ 023 comptime program return
  • ✓ compiler requires
  • ✓ compiler flags declare
COMPILER FEATURES / FLOW CHECKER 5/6
  • ✓ 009 unused binding error
  • ✓ 011 discard binding ok
  • ○ 012 interpolation use in for loop
  • ✓ 014 reject void redundant terminator
  • ✓ 015 reject branch payload unbound
  • ✓ 016 reject continuation without branch handler
COMPILER FEATURES / CODEGEN 1/1
  • ✓ 002 emitter wrapper
COMPILER FEATURES / EMITTER 5/5
  • ✓ 010 variable naming nested scopes
  • ✓ 011 print ln continuation ordering
  • ✓ 012 for binding in nested range
  • ✓ 013 qualified type in branch
  • ✓ 014 binding param name collision
COMPILER FEATURES / STD LIBRARY 3/3
  • ✓ 020 args basic
  • ✓ 021 args passthrough
  • ✓ 022 args cross target
COMPILER FEATURES / TEMPLATE ENGINE 7/7
  • ✓ 001 substitute arg
  • ✓ 002 if truthy
  • ✓ 003 if else
  • ✓ 004 for over continuations
  • ✓ 005 missing branch comp error
  • ✓ 006 template continues to terminal
  • ✓ 007 if returns terminals
COMPILER FEATURES / SUBFLOW 1/1
  • ✓ 010 plain value branch
SYNTAX / STRUCT CONSTRUCTORS 2/2
  • ✓ 021 field punning shorthand
  • ✓ 025 field punning
ADVANCED FEATURES / COMPTIME 52/60
  • ✓ 001 import registers taps
  • ✓ 002 import registers taps wildcards
  • ✓ 003 implicit destructuring shadowing
  • ✓ 005 annotation inline syntax
  • ✓ 006 event taps
  • ✓ 007 event taps nested
  • ✓ 008 annotation vertical syntax
  • ✓ 009 multiple taps
  • ✓ 010 annotation edge cases
  • ✗ 013 tap chains
  • ✓ 014 taps with labels
  • ✗ 015 when clauses
  • ✓ 017 namespace wildcards
  • ✓ 018 ccp opt in
  • ✓ 020 ccp flag only
  • ✓ 021 build requires basic
  • ✓ 022 multiline params
  • ✓ 023 scoped patterns
  • ✓ 024 shorthand field params
  • ✓ 025 qualified patterns
  • ✓ 026 destination scoping
  • ✓ 027 conditional imports
  • ✓ 028 conditional import flag off
  • ✓ 029 conditional import flag on
  • ✓ 030 build command sh
  • ✓ 031 flow annotations
  • ✓ 032 default override basic
  • ✓ 033 default with dependencies
  • ○ 034 metatype branch requires binding
  • ✓ 035 tap void event transition
  • ✓ 036 tap terminal invocation
  • ✓ 037 tap destination matching
  • ✓ 038 tap terminal void
  • ✓ 039 branch payload requires binding
  • ○ 040 literate annotations
  • ✓ 041 metatype profile binding
  • ✓ 042 metatype transition binding
  • ✓ 043 metatype audit binding
  • ✓ 044 metatype multiple observers
  • ✓ 045 metatype when guards
  • ✓ 046 metatype enum helpers
  • ✓ 047 deps system
  • ✓ 048 branch payload discard ok
  • ✗ 049 invocation meta
  • ✗ 050 build flag check
  • ✗ 051 build variants
  • ✓ 052 optional expression
  • ✓ 053 help discovers commands
  • ✓ 054 help discovers flags
  • ✓ 055 command subcommands
  • ✓ 056 user defined flags
  • ✓ 057 build config basic
  • ✓ 058 build config annotation quotes
  • ✓ 059 opaque tap skipping
  • ✓ 060 tap as library
  • ○ 061 named expression params
  • ✓ 062 tap nested invocation
  • ✓ 063 deps install
  • ✓ comptime pass noop
  • ✓ buildstep api
ADVANCED FEATURES / STDLIB 45/54
  • ✓ 001 std if
  • ✓ 002 stdlib if
  • ✓ 003 stdlib if scoped
  • ✓ 010 std for basic
  • ✓ 011 std for nested
  • ✓ 018 template define
  • ✓ 019 template lookup
  • ✓ 020 if inline codegen
  • ✓ 021 for zero overhead
  • ✓ 022 for outer scope
  • ✓ 023 for pipeline
  • ✓ 024 for deeply nested
  • ✓ 025 if deeply nested
  • ✓ 026 for subflow
  • ✓ 027 capture basic
  • ✓ 028 capture multi
  • ✓ 029 template lookup in transform
  • ✓ 030 println basic
  • ✓ 031 println types
  • ✓ 032 println blk basic
  • ✓ 033 println koru scope
  • ✗ 034 capture nested
  • ○ 035 capture multi field
  • ✗ 036 capture nested qualified
  • ✓ 037 nested if simple
  • ✗ 038 capture binding qualified
  • ✓ 039 if inside for
  • ✓ 040 for inside if
  • ✓ 041 triple nested
  • ✓ 042 capture if for multi
  • ✓ 043 const basic
  • ✓ 044 const simple
  • ✓ 045 capture array index
  • ✓ 046 capture existing struct
  • ✓ 047 if subflow enclosing branches
  • ✗ 048 reject for terminal each
  • ✓ 049 println conditionals
  • ✓ 050 transform impl pattern
  • ✓ 053 println blk conditionals
  • ✓ 054 transform order
  • ✓ 055 nested for simple
  • ✓ 057 capture 2d array index
  • ✓ 060 fs read lines
  • ✓ 070 for with binding
  • ○ 080 ecology circular import
  • ✓ 081 ecology pass ran mechanism
  • ○ 082 ecology custom transform
  • ○ 083 ecology module aliasing
  • ✓ 090 rings basic
  • ✓ 091 print float format
  • ✓ 092 print blk void chain multiline
  • ✓ 093 print blk void chain inline second
  • ✓ 094 std if nested
  • ✗ 098 capture nested site
ADVANCED FEATURES / KEYWORD 5/5
  • ✓ 001 keyword basic
  • ✓ 002 keyword collision
  • ✓ 003 keyword explicit
  • ✓ 004 keyword requires pub
  • ✓ 005 keyword expression
ADVANCED FEATURES / PHANTOM TYPES 65/76
  • ✓ 006 cleanup consumed by disposal
  • ✓ 007 use after disposal
  • ✓ 008 obligation escapes via interface
  • ✓ 009 universal wildcard metatype
  • ✓ 010 module wildcard metatype
  • ✓ 011 auto discharge multiple
  • ✗ 012 auto discharge explicit with multiple
  • ✓ 013 auto discharge explicit ok
  • ✓ 014 scope for loop inner
  • ✓ 015 scope for loop outer
  • ✗ 016 scope nested
  • ○ 017 scope label loop
  • ✓ 018 auto discharge escaped obligation
  • ✓ 019 auto discharge branch constructor
  • ○ 020 auto discharge void event
  • ✓ 021 auto discharge multiple resources
  • ✓ 022 if manual both branches
  • ✗ 023 if auto both branches
  • ✓ 024 if hybrid manual auto
  • ✓ 025 auto discharge disabled
  • ✓ 026 auto discharge warn
  • ✓ 027 db transaction pattern
  • ✓ 028 ambiguous without default
  • ✓ 029 module qualified phantom states
  • ✓ 030 taps with auto discharge
  • ✓ 031 tap binding substitution
  • ✓ 032 nested for scopes
  • ✓ 033 phantom state mismatch
  • ✓ 034 unknown phantom module
  • ✓ 035 autodischarge prefers void
  • ✓ 036 autodischarge no void candidate
  • ✓ 037 default discharge must be void
  • ✓ 038 cleanup obligation satisfied
  • ○ 039 transition metatype
  • ✓ 040 undisposed nested obligation
  • ✓ 041 auto discharge single
  • ✓ 042 metatype binding scope
  • ✓ 043 auto discharge none
  • ✓ 044 for manual done ok
  • ✓ 045 for manual each error
  • ✓ 046 for auto done ok
  • ✓ 047 nested if in for
  • ✓ 048 nested for in if
  • ✓ 049 default discharge annotation
  • ✓ 050 union accepts either state
  • ✓ 051 union with consume marker
  • ✓ 052 escape field name mismatch
  • ✓ 053 for loop obligation escape
  • ✓ 054 optional branch obligation
  • ○ 055 auto discharge cascade
  • ✓ 056 union per member consume marker
  • ✓ 057 auto discharge emission parity
  • ✓ 058 reject issue on input
  • ✓ 059 reject consume on output
  • ✗ 060 reject state mismatch on input
  • ✓ 061 inline obligation cascade
  • ✓ 062 reject identity struct mismatch
  • ✓ 063 phantom state on primitive
  • ✓ 064 reject phantom primitive mismatch
  • ✓ 065 phantom compound unit
  • ✓ 066 phantom literal suffix callsite
  • ✓ 067 reject bare literal at phantom param
  • ✓ 068 phantom obligation on primitive string
  • ✓ 069 reject undischarged string obligation
  • ✓ 070 auto discharge strict convention
  • ✗ 071 aspire chain autodischarge
  • ✓ multiple cleanup paths
  • ✓ multiple resources cleanup
  • ✗ multiple resources partial cleanup
  • ✓ state variable wildcard
  • ✓ state variable constrained accepts
  • ✓ state variable constraint violation
  • ✓ state variable chaining
  • ○ phantom state mismatch
  • ✓ phantom state valid
  • ✓ multiple errors
ADVANCED FEATURES / OBLIGATION STRESS 8/17
  • ✓ 002 if else discharges then drops
  • ✓ 003 if then discharges else drops strict
  • ✓ 004 loop body discharges outer
  • ✓ 005 nested loop inner discharges outer
  • ✗ 006 err branch leaks opened resource
  • ✗ 007 chain second err leaks first resource
  • ✗ 020 instance ambiguous discharge
  • ✗ 021 instance no explicit free
  • ✗ 022 disconnect before commit
  • ✗ 023 disconnect before rollback
  • ✓ 024 stale view after take
  • ✓ 025 stale tx after commit
  • ✓ 040 subflow drops obligation on input
  • ✗ 042 read file no free
  • ✗ 043 read stdin no free
  • ✗ 044 taint stripped at untyped param
  • ✓ 045 taint stripped at echo boundary
ADVANCED FEATURES / OBLIGATION MATRIX 5/6
  • ✓ 001 string view drop single
  • ✓ 002 string instance drop single
  • ✗ 003 string instance drop discard branch
  • ✓ 004 string view drop multibranch
  • ✓ 005 transaction active nonvoid only
  • ✓ 006 connection active drop single
ADVANCED FEATURES / TYPE SYSTEM 0/5
  • ? 001 struct basic
  • ? 002 struct keyword
  • ? 003 struct pub keyword
  • ? 004 struct in flow
  • ? 005 type declaration
ADVANCED FEATURES / AUTO PROC 3/3
  • ✓ 001 basic passthrough
  • ✓ 002 phantom transition
  • ✓ 004 uncalled event ok
ADVANCED FEATURES / PATTERN BRANCHES 3/4
  • ○ 003 pattern dispatch
  • ✓ 006 http routing
  • ✓ 008 pattern syntax
  • ✓ 011 http routing
ADVANCED FEATURES / SUBFLOWS 9/13
  • ✓ subflow immediate
  • ✓ subflow flow
  • ✓ subflow chained
  • ✓ subflow multi continuation
  • ✓ subflow invalid branch
  • ✓ subflow with taps
  • ✓ nested recursive label
  • ✗ 005 static router nested
  • ✓ 007 subflow inline body
  • ✓ 009 cross module impl inline body
  • ✗ 010 orisha router showcase
  • ✗ 012 nested router
  • ✗ 013 orisha router rejects terminal
ADVANCED FEATURES / OPTIONAL BRANCHES 9/10
  • ✓ 001 basic catchall
  • ✓ 002 explicit plus catchall
  • ✓ 003 ignored no catchall
  • ✓ 004 shape error
  • ✓ 005 all optional
  • ✓ 006 api evolution
  • ✓ 007 when guards
  • ○ 008 event pump
  • ✓ 009 no handler silent
  • ✓ 010 catchall audit binding
ADVANCED FEATURES / TAPS OBSERVERS 5/7
  • ✓ branch coverage complete
  • ✓ void event no branches
  • ✓ multiple events mixed
  • ✗ tap when clause filtering
  • ✓ tap shorthand syntax
  • ○ multi branch tap
  • ✓ meta event taps
ADVANCED FEATURES / INTERCEPTORS 0/4
  • ○ 001 basic intercept
  • ○ 003 single interceptor error
  • ○ 004 opaque protection
  • ○ 010 no function calls in payload
ADVANCED FEATURES / PHANTOM TYPES 1/1
  • ✓ 020 label jump obligation
ADVANCED FEATURES / VARIANTS 8/13
  • ✓ variants basic
  • ○ variant compilation
  • ✓ blur variants
  • ○ gpu blur real
  • ✓ zig and gpu variants
  • ✓ gpu compiler pass
  • ○ actual glsl compilation
  • ○ gpu execution
  • ✓ bare proc call site fails
  • ✓ bare proc no call site succeeds
  • ✓ subflow variant parser accepts
  • ✓ subflow variant picks no
  • ✗ subflow variant with continuations
ADVANCED FEATURES / TEMPLATING 2/4
  • ✓ 001 basic interpolation
  • ✓ 002 conditionals
  • ○ 003 source metadata
  • ○ 004 optimized codegen
ADVANCED FEATURES / KERNEL 20/24
  • ✓ 001 shape basic
  • ○ 002 array init
  • ✓ 003 pairwise basic
  • ○ 004 dynamic shape
  • ✓ 005 user event binding
  • ✓ 010 layout metadata
  • ✓ 020 nbody benchmark
  • ✓ 021 multiline source
  • ✓ 022 singleline shape bug
  • ✓ 023 require computed in pipeline
  • ✓ 040 self basic
  • ✓ 042 pairwise symmetric
  • ✓ 043 pairwise other readonly
  • ✓ 050 reject for in kernel
  • ✓ 051 reject branch constructor in kernel
  • ✗ 052 reject user event in kernel
  • ✗ 053 reject stdlib event in kernel
  • ✓ 054 require computed branch
  • ✓ 060 multi op fusion
  • ✓ 070 step basic
  • ✓ 080 multiline chained computed
  • ✓ 090 nbody multistep
  • ✓ 091 nested kernel fusion
  • ✓ 092 kernel fusion oracle
ADVANCED FEATURES / TESTING 10/10
  • ✓ 001 test syntax
  • ✓ 002 mock multiple branches
  • ✓ 003 pure event no mock
  • ✓ 004 constant event auto inline
  • ✓ 005 impure event error
  • ✓ 006 impure event fixed
  • ✓ 007 failing test
  • ✓ 008 complex flow test
  • ✓ 009 cross module mock
  • ✓ 010 unexpected branch fails
CONTROL FLOW 5/6
  • ✓ 051 expand stdlib wrap
  • ✓ 052 expand with continuations
  • ✓ 056 expand basic
  • ○ 061 auto thread pipeline
  • ✓ 095 recursive value event
  • ✓ 096 if value return subflow
RUNTIME FEATURES 43/45
  • ✓ 060 fmt blk autodispose
  • ✓ 061 phantom autodispose
  • ✓ 070 effect branch minimal
  • ✓ 071 effect branch multifire void
  • ✓ 072 effect branch multifire with terminal
  • ✓ 073 effect branch multiple kinds
  • ✓ 074 effect branch single fire with terminal
  • ✓ 075 effect branch inside terminal body
  • ✓ 076 effect branch nested in void chain
  • ✓ 077 effect branch optional unhandled
  • ✓ 078 effect branch catchall runtime
  • ✓ 079 effect branch struct payload
  • ✓ 080 effect branch phantom payload
  • ✓ 081 effect branch labeled loop
  • ✓ 082 effect branch resume value
  • ✓ 083 effect branch resume binding
  • ✓ 084 effect branch resume numeric
  • ✓ 085 effect branch resume arithmetic
  • ✓ 086 effect branch iter slice
  • ✓ 087 effect branch when guard
  • ✓ 088 effect branch when guard struct field
  • ✓ 089 effect when with unguarded fallback
  • ✓ 090 template variant passthrough
  • ✓ 091 template variant interpolation
  • ✓ 092 template variant conditional
  • ✓ 093 template per call basic
  • ✓ 094 template per call arg substitution
  • ✓ 095 template per call range expr
  • ✓ 096 effect branch void payload
  • ✓ 097 required terminal must be handled
  • ○ 098 capture with effect branch event
  • ✓ 100 effect obligation discharged in firing
  • ✓ 101 wip for as template effect
  • ✓ 102 effect wildcard payload
  • ✓ 103 effect obligation cannot escape
  • ✓ 104 effect branch cannot discharge outer
  • ✓ 105 effect payload in obligation transfer
  • ✓ 106 effect resume out emits correct zig
  • ✓ 107 effect resume cannot issue obligation
  • ✓ 108 effect handler autodischarge emits member
  • ✓ 109 plain event from handler flow
  • ✓ 110 effect branch single void cross target
  • ✓ 111 effect branch multikind cross target
  • ✗ 112 effect branch arg name mismatch cross target
  • ✓ 113 effect handler cannot recurse producer
RUNTIME FEATURES / BUDGETED INTERPRETER 6/7
  • ✓ 001 basic budget tracking
  • ✓ 002 budget exhaustion
  • ✓ 003 handle pool tracking
  • ✓ 004 auto discharge
  • ✓ 005 exhaustion with handles
  • ✓ 006 identity branch phantom
  • ✗ 010 shape contract
RUNTIME FEATURES / PURITY CHECKING 8/9
  • ✓ 007 event purity from impure impl
  • ✓ 008 pure proc annotation
  • ✓ 009 unannotated proc impure
  • ○ 011 opaque procs
  • ✓ 012 subflow locally pure
  • ✓ 013 pure on event redundant
  • ✓ 014 subflow transitive pure
  • ✓ 015 event purity from pure impl
  • ✓ 016 subflow impure
RUNTIME FEATURES / PERFORMANCE 0/20
  • ? array by reference
  • ○ 001 profile metatype
  • ○ 002 profile release
  • ○ 003 profiler loop
  • ? 006 rings vs channels
  • ? 007 simple loop
  • ○ 008 event taps overhead
  • ? 009 multi consumer async
  • ○ 010 threading library
  • ? 011 loop optimization basic
  • ○ 012 loop optimization nested
  • ○ 013 loop optimization work
  • ? generic ring type
  • ? generic ring actual
  • ? ring with taps
  • ? ring with when filter
  • ? when at callsite
  • ? ring with multitaps
  • ⏭ dead code elimination
  • ⏭ handler caching
RUNTIME FEATURES / COORDINATION 6/11
  • ✓ 001 user coordinator
  • ○ 003 impl override only
  • ○ 004 impl with delegation
  • ✗ 005 impl no implementation
  • ✓ 006 coordinator timing
  • ○ 007 tap visibility delegation
  • ✓ 008 pipeline profiling
  • ✗ 009 composed timing
  • ✓ 010 ast dump stages
  • ✓ 011 coordinator timing
  • ✓ custom coordinator bug
RUNTIME FEATURES / RUNTIME 31/36
  • ✓ 002 parser userland
  • ✓ 012 registry dispatch test
  • ✓ 013 interpreter test
  • ✓ 014 interpreter benchmark
  • ✓ 015 interpreter dataflow
  • ✓ 016 interpreter conditionals
  • ✓ 017 expr evaluator
  • ✓ 018 runtime if
  • ✓ 019 interpreter if
  • ✗ 020 interpreter if e2e
  • ✓ 021 if arg inspection
  • ✓ 022 if expression parsing
  • ✓ 023 registry scope basic
  • ✓ 024 registry scope composition
  • ✓ 025 interpreter benchmark real
  • ✓ 026 interpreter run event
  • ✓ 030 honest benchmark
  • ✗ 035 interpreter binding args
  • ✓ 036 interpreter for loop
  • ○ 037 interpreter field types
  • ✓ 038 interpreter nested loop benchmark
  • ✓ 039 runtime eval scope
  • ✓ 040 registry scope dotted
  • ✓ 041 registry typed args
  • ✗ 042 registry scope debug
  • ✓ 043 runtime run scope
  • ✓ 044 runtime run budget
  • ✓ 045 runtime run event denied
  • ✓ 046 runtime run scope not found
  • ○ 047 runtime run parse error
  • ✓ 048 runtime run fail fast
  • ✓ 049 runtime run lenient
  • ✓ 050 runtime eval autodischarge
  • ✓ 051 runtime run budget autodischarge
  • ✓ 052 interpreter identity result
  • ✓ 053 registry alias
RUNTIME FEATURES / RESOURCE BRIDGE 2/2
  • ✓ 001 bridge basic
  • ✓ 002 cross session discharge
INTEGRATION TESTING / NEGATIVE TESTS 34/36
  • ✓ 001 unclosed input brace
  • ✓ 002 unclosed branch brace
  • ✓ 005 missing event name
  • ✗ 011 invalid module qualifier
  • ✓ 012 multiple defaults error
  • ✓ 013 ambiguous override error
  • ✓ 021 duplicate branch names
  • ✓ 022 double pipe branch
  • ✓ 023 branch without name
  • ✓ 030 missing colon in field
  • ✓ 031 missing comma between fields
  • ✓ 032 numeric field name
  • ✓ 033 empty type after colon
  • ✓ 050 import empty path
  • ✓ 052 reject tilde import
  • ✓ 053 reject quoted import
  • ✓ 061 unknown branch in flow
  • ✓ 062 undefined event call
  • ✓ 063 missing event param
  • ✓ 064 extra event param
  • ✓ 065 pub proc double tilde
  • ⏭ 066 duplicate proc
  • ✓ 067 orphan loop jump
  • ✓ 069 string type
  • ✓ 070 eof in subflow impl
  • ✓ 071 module wildcard concrete
  • ✓ 072 event wildcard concrete
  • ✓ 073 universal wildcard concrete
  • ✓ 074 std log event name
  • ✓ 080 comment inside chain
  • ✓ 081 mock shape mismatch
  • ✓ 090 unknown label error
  • ✓ 100 effect decl handled as terminal
  • ✓ 101 terminal decl handled as effect
  • ✓ 102 resume type mismatch
  • ✓ 103 resume body discard
INTEGRATION TESTING / NEGATIVE TESTS / 020 parse errors 1/1
  • ✓ missing event keyword
INTEGRATION TESTING / NEGATIVE TESTS / 034 type errors 1/1
  • ✓ undefined event
INTEGRATION TESTING / BUG REPRODUCTION 4/4
  • ✓ 001 slice type imported module
  • ✓ 002 array literal imported type
  • ✓ 003 stdlib runtime import
  • ✓ 007 module qualified bug
INTEGRATION TESTING / VALIDATION 7/7
  • ✓ import io
  • ✓ import dotdot forbidden
  • ✓ import unknown alias
  • ✓ import lib root
  • ✓ import rejects dollar prefix
  • ✓ import explicit extension
  • ✓ field shadows event name
STDLIB / STRING 13/14
  • ✓ 001 string basic
  • ✓ 002 string ownership
  • ✓ 003 auto free unused string
  • ✓ 004 reject write on view
  • ✓ 005 reject use after free
  • ✓ 006 reject double free
  • ✗ 007 reject dangling slice
  • ✓ 008 parse int
  • ✓ 009 contains
  • ✓ 010 index of
  • ✓ 011 substring
  • ✓ 012 chained multi resource discharge
  • ✓ 013 from int
  • ✓ 014 auto free string
STDLIB / FMT 2/2
  • ✓ 001 fmt ln basic
  • ✓ 002 fmt ln nested
STDLIB / IO 3/4
  • ✗ 001 io println cross target
  • ✓ 002 effect under obligation drops output
  • ✓ 003 read lines under string instance
  • ✓ 004 read lines under scalar anchor
STDLIB / REGEX 10/10
  • ✓ 001 match basic
  • ✓ 002 match nested in for
  • ✓ 003 match binding
  • ✓ 004 match alternation scale
  • ✓ 005 match groups destructure
  • ✓ 006 match groups whole binding
  • ✓ 007 reject groups field mismatch
  • ✓ 008 reject group under quantifier
  • ✓ 009 reject group under alternation
  • ✓ 010 reject groups discarded
STDLIB / SWITCH 4/4
  • ✓ 001 char single
  • ✓ 002 char range
  • ✓ 003 char set
  • ✓ 004 day08 switch
STDLIB / FS 6/6
  • ✓ 001 read lines effect
  • ✓ 002 stdin lines
  • ✓ 003 lines match capture
  • ✓ 004 capture across handler boundary
  • ✓ 005 cell ctx deep nesting
  • ✓ 006 subflow in effect branch
STDLIB / COLLECTIONS 14/16
  • ✓ 001 list new flow
  • ✗ 002 list const module
  • ✓ 003 list len in expr
  • ✓ 004 list new free
  • ✓ 005 list push len
  • ✓ 006 list auto discharge
  • ✓ 007 list new transform
  • ✓ 008 list pop
  • ✓ 009 list pop empty
  • ✓ 010 list get
  • ✓ 011 list get oob
  • ✓ 012 list for each index
  • ✗ 013 list loop autodischarge
  • ✓ 014 list push in loop
  • ✓ 015 list stream blocked
  • ✓ 016 list stream accumulate
NESTING SWEEP 24/30
  • ✓ 010 capture under flow head
  • ✗ 011 capture under scalar
  • ✗ 012 capture under obligation
  • ✗ 013 capture under effect
  • ✗ 014 capture under for each
  • ✗ 015 capture under capture
  • ✓ 020 readlines under flow head
  • ✓ 021 readlines under scalar
  • ✓ 022 readlines under obligation
  • ✗ 023 readlines under effect
  • ✓ 024 readlines under for each
  • ✓ 025 readlines under capture
  • ✓ 030 foreach under flow head
  • ✓ 031 foreach under scalar
  • ✓ 032 foreach under obligation
  • ✓ 033 foreach under effect
  • ✓ 034 foreach under for each
  • ✓ 035 foreach under capture
  • ✓ 040 ifcond under flow-head
  • ✓ 041 ifcond under scalar
  • ✓ 042 ifcond under obligation
  • ✓ 043 ifcond under effect
  • ✓ 044 ifcond under for-each
  • ✓ 045 ifcond under capture
  • ✓ 050 strbranch under flow head
  • ✓ 051 strbranch under scalar
  • ✓ 052 strbranch under obligation
  • ✓ 053 strbranch under effect
  • ✓ 054 strbranch under for each
  • ✓ 055 strbranch under capture
EVENT GLOBBING 4/10
  • ○ 000 permissive event name parsing
  • ✓ 001 glob declaration syntax
  • ✓ 002 glob invocation match
  • ○ 003 glob suffix validation
  • ○ 005 glob with variants
  • ✓ 010 generics bracket syntax
  • ✓ 011 generics param extraction
  • ○ 020 generics ring buffer e2e
  • ○ 030 ai error explanation
  • ○ 031 ai test analysis
CHALLENGES 1/1
  • ✓ 002 effect branch capture shadow
AOC 2015 10/44
  • ✓ 011 day01 part1
  • ✓ 012 day01 part2
  • ✓ 021 day02 part1
  • ✓ 022 day02 part2
  • ✗ 031 day03 part1
  • ✗ 032 day03 part2
  • ✗ 041 day04 part1
  • ✗ 042 day04 part2
  • ✓ 051 day05 part1
  • ✗ 052 day05 part2
  • ✗ 061 day06 part1
  • ✗ 062 day06 part2
  • ✗ 071 day07 part1
  • ✓ 081 day08 part1
  • ✓ 082 day08 part2
  • ✗ 091 day09 part1
  • ✗ 092 day09 part2
  • ✗ 101 day10 part1
  • ✗ 111 day11 part1
  • ✓ 121 day12 part1
  • ✗ 122 day12 part2
  • ✗ 131 day13 part1
  • ✗ 132 day13 part2
  • ✓ 141 day14 part1
  • ✗ 142 day14 part2
  • ✗ 151 day15 part1
  • ✗ 152 day15 part2
  • ✗ 161 day16 part1
  • ✗ 162 day16 part2
  • ✗ 171 day17 part1
  • ✗ 172 day17 part2
  • ✗ 181 day18 part1
  • ✗ 182 day18 part2
  • ✗ 191 day19 part1
  • ✗ 192 day19 part2
  • ✗ 201 day20 part1
  • ✗ 202 day20 part2
  • ✗ 211 day21 part1
  • ✗ 212 day21 part2
  • ✗ 221 day22 part1
  • ✗ 231 day23 part1
  • ✗ 241 day24 part1
  • ✗ 242 day24 part2
  • ✓ 251 day25 part1
EXAMPLES SHOWCASE 1/1
  • ✓ HELLO WORLD
EXAMPLES SHOWCASE / LANGUAGE SHOOTOUT 21/22
  • ✓ 01 unused connection
  • ✓ 02 uncommitted tx
  • ✓ 03 valid commit
  • ✓ 04 valid rollback
  • ✗ 05 commit without close
  • ✓ 06 multiple execs
  • ✓ 07 serial transactions
  • ✓ 08 close without transaction
  • ✓ 09 empty transaction
  • ✓ 10 wrong base type
  • ✓ 11 wrong base type reverse
  • ✓ 12 wrong base type zig catches
  • ✓ 13 wrong base type reverse zig catches
  • ✓ 14 open tx commit close
  • ✓ 15 open tx auto close
  • ✓ 16 open tx rollback close
  • ✓ 17 open tx multiple execs
  • ✓ 18 open tx empty commit
  • ✓ 19 open tx close early
  • ✓ 20 open tx abandoned
  • ✓ 21 open tx forgot close
  • ✓ 22 open tx exec no finish
Learn / CONTROL FLOW

control flow

✓ 5 passing ○ 1 planned

Lessons

1 ✓ Passing
051 expand stdlib wrap
2 ✓ Passing
052 expand with continuations
3 ✓ Passing
056 expand basic
4 ○ Planned
061 auto thread pipeline — DESIGN EXPLORATION - STATUS: UGLY / UNCERTAIN
5 ✓ Passing
095 recursive value event
6 ✓ Passing
096 if value return subflow
Koru logo Koru

The Event Continuation Language

Community

Contributing GitHub Discord

Resources