Language Specification Design Goals

• Name: Whixy, pronounced "WIK-see" or /wɪk.siː/; Source file extension: .wx; Governing implementation license: Apache-2.0

Features Conducive to Systems Programming

• Pure and impure codepaths are explicitly delineated in the syntax.
• Conditions for automatic laziness in an otherwise eager syntax.
• Value Dlarations are immutable by default, and passed routine parameters are always immutable.

Features Conducive to Scripting

• Type specification is only necessary when unambigious type inference doesn't provide the wanted result
• Zig-like manual memory management, comptime, error handling, namespacing, and deferred-statement scoping
• Parametric polymorphism in the form of generics; ad hoc polymorphism in some form
• Routines are first class objects and will be designed to be anonymous by default (instead of two routine syntaxes, named and unnamed, there will just be the unnamed syntax that is to be assigned an identifier for reuse... just like everything else)
• LET THERE BE POSITS via integer-based software emulation or native hardware instruction generation when available in LLVM

Implementation Consistency Guarantees

• Compilers must halt; interpreters are... permitted.
• Primitive integer operations must be constant-time.
• Type inference must follow the specified, halting algorithm.
• Comptime code execution including constant folding cannot be delayed until runtime.
• The syntax specifies which expressions the compiler is to treat as unsequenced and handle lazily.

Governing Implementation Design Goals

Target Support (unless I'm paid to work on this)

Compiler

		Release Modes
	JiT	debug	safe	fast	tiny
Clang	-O1	-O0 -g	-O3 -mllvm -polly -mllvm -polly-vectorizer=stripmine	-O3 -mllvm -polly -mllvm -polly-vectorizer=stripmine	-Oz
GCC	-O1	-O0 -g	-O3	-O3	-Oz
safety	✔️	✔️	✔️	✖️	✖️

• ISO C23 backend; LLVM clang-based code generation
• JiT'd comptime code generation and execution followed by JiT'd or AoT'd runtime code generation (and possible execution)
• rustc-level semantic linting (faster, because this language is simpler) and informative errors for compiler-driven development
• native and ISO C23 stdlib with comprehensive support only for SotA or appropriately longstanding or ubiquitous software
• struct and literal deduplication
• per-comptime-loop iteration limit default, possibly 2^16
• per-file node limit default, possibly 2^32

Standard Library Structs

source file sans extension	contents and priority =>
compressor/brotli	(E then D) Brotli compression format
compressor/bzip2	(D only) Bzip2 compression format
compressor/flate	(E and D) Deflate or Gzip or Zlib compression format
compressor/lzma	(D only) LZMA compression format
compressor/lzma2	(D only) LZMA2 compression format
compressor/zstd	(E then D) Zstandard compression format
container/sevenz	(D only) 7-zip LZMA, LZMA2, or Deflate archive format
container/tar	(E and D) gnu, ustar, and pax tape archive format
container/xz	(D only) XZ LZMA or LZMA2 container format
container/zip	(E and D) Zip or Zip64 Deflate archive format
encoding/base10	(E and D) ~42% efficient Dimal ASCII
encoding/base16	(E and D) 50% efficient uppercase or lowercase hexaDimal ASCII
encoding/base32	(E and D) 62.5% efficient uppercase or lowercase base32 ASCII
encoding/base64	(E and D) 75% efficient base64 ASCII
encoding/base85	(E and D) 80% efficient base85 or ascii85 or z85 ASCII
encoding/base91	(E and D) ~81-88% efficient basE91 or Base91 ASCII
encoding/csv	(E and D)
encoding/cobr	(E and D)
encoding/json	(E and D)
encoding/pam	(E and D) uncompressed binary or ASCII format geared towards image data
encoding/toml	(E and D)
encoding/utf-8	(E and D) utf-8 unicode text encoding
encoding/wtf-16	(E and D) wtf-16 unicode text encoding
cova/cova	commands, options, values, and arguments; a reprised cli library
fmt/fmt	value formatting and writing
hw/hw
io/io	standard byte readers and writers API
math/math
math/big/big
math/big/int
math/big/posit
math/big/rational
mem/mem	generic memory manipulation
mem/heap	generic memory allocation
mem/heap/allocator	standard generic memory allocator API
mem/heap/arenaalloc	allocator wrapper that disables all freeing until deinitialization
mem/heap/rpmalloc	native reimplementation of https://github.com/mjansson/rpmalloc
mem/heap/stackalloc	fixed-buffer allocator; may only free the most recent allocation
mem/heap/safealloc	allocator wrapper that safety checks and panics or warns
mem/heap/failalloc	allocator wrapper that precisely, randomly, or catastrophically fails
mem/sort
mime/mime
os/os	operating system API
os/exec
os/fs
os/fs/path
os/syscall
regex/regex
runt/runt
runt/debug
runt/tracy
runt/race
sync/atomic
sync/sched
sync/chan
sync/posix
sync/coroutine
sync/mutex
sync/waitgroup
time/time
time/timezone
unicode

• others I don't yet know the importance of in my limited experience as a programmer