Tree @master (Download .tar.gz)
TODO.md @master — view markup · raw · history · blame
(Note, some of these are possibly long-term plans.)
Disjointness of types
Insofar as the types of Robin are disjoint, we can have a
typeof intrinsic which returns a literal symbol such as
list, and so forth, instead of n predicates.
In practice the predicates are useful, and would be retained
in the stdlib. But this could make the set of intrinsics smaller.
Values of "opaque" type. Intrinsics
unwrap. But note
that only the functions implementing the ADT are guaranteed to be able
to unwrap an opaque value, and those functions might be implemented
natively, rather than as Robin code that uses
Then, can we provide environments as an abstract type? We would
alist->env so they can be worked
with easily. But they could be used natively to support symbol
lookup, and if they are implemented as trees or hash tables, this
might have performance benefits. (Or perhaps not.)
Opaque type might also be useful for internals, e.g. signaling to runtime system that an error occurred.
(compose f1 f2) composes two functions.
(modulo x y) which is always positive, change
be sign of divisor (like R6RS.)
schemeish lib, that just gives you all the old jargon-y names
Static analysis lib. This is its own bucket of worms. It should expose a macro that can be wrapped around an arbitrary standard Robin program p and, if static analysis of p is successful, simply evaluates to whatever p evaluates to. And if not successful, produces an abort. Should probably start small -- statically check the arity of every application, for instance. Note that this relies on the assumption that all standard symbols have their standard meanings.
Some way to make it easier to test reactive programs, i.e. some way to provide mock facilities.
Perhaps namespace each event name.
A more involved environment, with more facilities than just
line-terminal. Multiplexed I/O would be a start, could write an
IRC client. Could also define an environment for web pages.
For that matter,
HasteMain.hs should inject facilities that
only make sense in the HTML5 DOM.
Subscription and unsubscription from facilities using standard commands.
Hunt the Wumpus.
Implementation of a concatenative language in an idiomatic style,
taking a list like
(1 2 + 3 *) and folding
compose over it to
obtain a function, and applying that function.
Rename "small" to "base".
function. This is because Robin prefers full words
over abbreviations, which are jargon-y.
Probably need to bite the bullet and add a
cabal install random-1.1 cabal install parsec-3.1.1 cabal install QuickCheck-2.13.2