Giters

UberPyro / Prowl-Ideas-Pile

Ideas, documents, and tutorial pile for the Prowl Language

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Prowl Ideas

Ideas pile for Prowl (tutorial).

Prowl is a purely-functional, statically typed, modular, concatenative relational programming language.

Main inspirations include:

  • Stack Languages (Kitten, Factor, Joy)
  • Functional Languages (OCaml, Haskell)
  • Relational Languages (miniKanren)
  • Kleene Algebras (Vinegar, Oniguruma Regex)

Our look is highly original, though loosely inspired by SML, Reason, Factor, and Regex.

rel n fac -- 
  (n == 0) 1
  : n * (n - 1) fac

Alternatively:

rel fac -- (
  as 0 -> 1; 
  as n if n > 0 -> n * (n - 1) fac
)?!

Check out learn-fast for more. An interpreter exists for a much older, much less cool version of the language.

Links, Inspirations, Motivators

About

Ideas, documents, and tutorial pile for the Prowl Language