Skip to content
This repository has been archived by the owner on Jul 16, 2023. It is now read-only.

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
rjdbcm committed Oct 30, 2021
1 parent 52cb3cb commit c9947be
Showing 1 changed file with 1 addition and 11 deletions.
12 changes: 1 addition & 11 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -66,23 +66,13 @@ $ docker run -v $PWD:/workdir rjdbcm/aspidites:latest -h
- [`refinement-type system`](https://arxiv.org/pdf/2010.07763.pdf)
- [`pragmatic`](https://www.adaic.org/resources/add_content/standards/05rm/html/RM-2-8.html)
- [`functional`](https://towardsdatascience.com/why-developers-are-falling-in-love-with-functional-programming-13514df4048e?gi=3361de79dc98)
- [`constrained logic`](https://www.cse.unsw.edu.au/~tw/brwhkr08.pdf)

## Inspirations

- [`Scala`](https://www.scala-lang.org/)
- [`Prolog`](https://www.swi-prolog.org/features.html)
- [`Curry`](https://curry.pages.ps.informatik.uni-kiel.de/curry-lang.org/)
- [`Cobra`](http://cobra-language.com/)
- [`ELI`](https://fastarray.appspot.com/index.html)

## Motivation
## Philosophy

- Words should be for the programmer and the data model not built-in language features.
- A programmers focus should be on the logic of the program not trying to remember methods and namespaces.
- The off-sides rule is sufficient to delineate scope, but should be limited in it's ability to nest.


## Goals

- Ultra-smooth runtime exception handling with useful warnings.
Expand Down

0 comments on commit c9947be

Please sign in to comment.