Aspidites 0.6.0

Aspidites is the reference implementation of the Woma Language

Aspidites

The reference implementation of the Woma programming language compiler. There is also a genus of Python called Aspidites, latin for shield-bearer, that is this project's namesake.

Installing

PyPI

$ pip install Aspidites

Docker

$ docker pull rjdbcm/aspidites

Github

$ gh repo clone rjdbcm/Aspidites

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

Lexicon

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

Core Dependencies

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

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