Aspidites 0.5.1

Aspidites is the reference implementation of the Woma Language

Aspidites

Aspidites is the reference implementation of the Woma programming language compiler.

Core Dependencies

Aspidites has 7 core dependencies. In general, dependencies are vendored unless they contain Python Extensions.

• Cython
• Pyrsistent
• PyParsing
• MyPy
• PyTest
• NumPy
• future

Paradigms

• refinement-type system
• pragmatic
• declarative
• functional
• constrained logic

Inspirations

• coconut
• Ada
• Scala
• Prolog
• Curry
• Cobra
• J
• ELI

Goals

• Ultra-smooth runtime exception handling with useful warnings.
• Demonic non-determinism, favors non-termination and type-negotiation (constraint satisfaction).
• Terseness that mixes keywords and symbolic operations in order to make code both concise and readable.
• Great for writing high-integrity code that works natively with CPython.
• Usable for general purpose or scientific computing.

Syntax

Working?	Symbol	Verbage	Example
✅	->	respects	identifier -> constraining clauses
✅	<-	imposes	identifier <- imposed clauses
❌	<@>	loops	identifier <@> iterable container indent ...
✅	<*>	return	<*> statement
✅	#	pragma	# compiler directive

Examples

(Greeter(name -> str)) procedure
    <*>print('Greetings,', name)

Contributing

If you'd like to help with the Aspidites project as a developer check out the Issues page or fork and make a pull request. Now, for early woma adopters that do not wish to write any Python, reporting issues is always appreciated. If you'd like to help out financially, Aspidites' maintainer accepts Liberapay.

Copying

Information for Developers