WARNING: EXPERIMENTAL, DO NOT USE

K programming language dialect embedded in Julia, inspired by ngn/k.

The package is not registered and therefore requires cloning the repo with development environment:

$ git clone --recursive https://github.com/andreypopp/K.jl
$ cd K.jl
$ julia
julia> using Pkg
julia> Pkg.activate(".")
julia> Pkg.instantiate()

Start julia and:

julia> using K

julia> k"+/1 2 3 4"
10

The K REPL can be entered via \ key:

  +/1 2 3 4
10

K.jl is not an independent implementation of K programming language but a notation to manipulate native Julia data structures.

K.jl works by parsing a string with K notation and turning it into Julia AST, you can of think of K.jl as of a non-trivial macro. Fortunately semantics of K and Julia are not so different and thus K.jl is relatively simple.

Why K though? K is terse and expressive. Programs in K are very small and it is easier to keep them entirely in one's head. K programs can be used for communication (it's easier to send a K one liner, the information density is high).

K.jl is wildly incomplete at this point, any help would be very much appreciated, list of incomplete items include:

• special forms
  • (x;..):y unpack
  • o[..] recur
  • nv:x reassignment
  • n[..]:x indexed assignment
• verbs
  • s$y cast
  • s$y int
  • $x string
  • i$C pad
  • s$y cast
  • ?i uniform
  • .S get
  • .C eval
  • @x type missing impl for function values
  • @[x;y;f] amend
  • @[x;y;F;z] amend
  • .[x;y;f] drill
  • .[x;y;F;z] drill
  • .[f;y;f] try
  • ?[x;y;z] splice
• adverbs
  • X' binsearch
  • I/ decode missing impl for higher rank arrays
  • I\ encode missing impl for higher rank arrays
• [-] tables
  • tables are supported through TypedTables package
  • support from most of primitives are missing
• pretty printer / value string representation

$ julia
julia> using Pkg
julia> Pkg.activate(".")
julia> Pkg.develop("./K.jl")
julia> Pkg.develop("./NarrativeTest.jl")
julia> Pkg.instantiate()

To run tests:

$ make test

To run tests (compat with ngn/k, very broken, not a goal but helps guiding K.jl):

$ make test-ngn