leverlanguage.com

boxbase.org

boxbase.org

http://www.boxbase.org/entries/2015/feb/23/why-cfg-as-schema

Context Free Grammar as a Schema. A schema is a set of rules that structures conforming to it must obey. Every schema in my visual programming editor. Is also a CFG. Generating a language out of symbols and strings. I can automatically construct a parser for every schema that has been defined for my editor. The parser can be used to reconstruct or compose expressions. This thing is using the Earley parser. Blog author: Henri Tuhola. I am the author of Lever programming language. Writing and updating the ...

boxbase.org

boxbase.org

http://www.boxbase.org/entries/2015/mar/2/bottom-up-editing-in-trees

Bottom-up Editing In Tree Structures. I'm going to show how to make constrained tree structure editing to feel as if editing a flat sequence of cells. This is something I had to figure out for textended. To derive the operations, I had to first figure out editing for a flat sequence of cells. To figure it out I actually implemented a flat document model and set of editing operations to modify it. Such editor can be composed from four primitive operations which I named by their function:. Collapse breaks ...

boxbase.org

boxbase.org

http://www.boxbase.org/entries/2015/mar/30/minitex

MiniTeX is a typesetting system implemented as a library in a programming language. The document produced by MiniTeX is a box, which can be rendered on screen. The user may pick individual boxes inside the rendered document. Documents are composed from combinators. They're functions that take in environment and produce a list of boxes. Here's an implementation of. Def par(env): return [vglue(env.font size)]. Combinators are passed to functions that produce larger combinators, for exapmle. I've got one of...

boxbase.org

boxbase.org

http://www.boxbase.org/entries/2015/may/18/menuetos-review

Bumped major version few days ago. Being such an impulsive fool, I set up a virtualbox image from a floppy image and booted it up. It was easy to setup the system for programming, it was matter of opening the correct programs. The resulting toolchain doesn't work as well together as the programs in a linux terminal, but it is enough for programming. I didn't figure out how to save the filesystem cache, but it had a http server I could use to recover the files after programming session. To find out how to...

boxbase.org

boxbase.org

http://www.boxbase.org/entries/2015/feb/2/bottom-up-down-dissonance

Having coded a bit using my new editor textended-edit. I've gotten to notice a possible problem in the editing model. Textended pivots on the idea that source code consists of tokens, and those tokens have either one of two purposes: To communicate data or structure. 1 * 2) (4 * ( 5 2) - (4 / 3) ). In the above sample the numbers and symbols communicate data and operations done for the data. Parentheses describe structure. If there are precedence rules, we can describe the same code with:. Even if the do...

boxbase.org

boxbase.org

http://www.boxbase.org/entries/2015/apr/13/pyllisp-ffi

Pyllisp FFI Uses Generated JSON Headers. I got tired to scanning&copy/pasting through C header files for some while ago. It's stupid waste of time, and your usual C header got hundreds of messily formatted declarations. Pyllisp FFI has a function. When you pass it just the path to the library it opens the library. Let's look into the interactive console of my latest pyllisp interpreter. The. Denotes an input with output below:. Pyl lib = (ffi.library "libSDL2.so") library. Pyl names['Init'] = (ffi.wr...

boxbase.org

boxbase.org

http://www.boxbase.org/entries/2015/jan/19/textended-layout-engine

Textended Updates and Layout Engine Details. Got improvements to it's layouting and rendering. 1-2 more short commits and it will support overlaying of documents over each other. A programming tool remains incomplete if it never faces any use. For this reason I will write a computer game using textended-edit and python during the next February. The source code for the project will appear in this blog and in my github account. Compositor and Rendering layers. For small graphical content I'm using renderin...

boxbase.org

boxbase.org

http://www.boxbase.org/entries/2015/may/11/cek-abstract-machine

I stumbled upon Pycket. Yesterday. It grabbed my interest because I heard racket itself already has a JIT. The paper claims Pycket outperforms Racket on average. I got a reintroduction to the CEK (Control, Environment, Continuation) abstract machine. The CEK evaluates its input lambda calculus directly. The description in the paper is only 6 lines, so I rewrote it in python. I had to describe few structures so it's lot longer than the original. The gist is in this function:. When the expression is in a n...

boxbase.org

boxbase.org

http://www.boxbase.org/entries/2015/mar/23/ssa-conversion

Accepts programs in Static Single Assigment. Form So I wrote SSA -construction into python to SPIR-V compiler spirthon. Discovery stage in spirthon generates instruction blocks from pythons bytecode. return, goto, conditional branch are only allowed to end every such block. SSA requires that every variable in the program is assigned only once. For example in the following program:. I = f() if i 10: i = 10 return i. It would roughly decompose into following blocks (in pseudo-code notation):. L0: i1 = f() ...