Vernac: programming (in) language 📖
Vernac is a tool for writing software in "vernacular"—plain language.
Vernac isn't for turning English into code; it's for turning English into programs:
$ cat fizzbuzz.vn
print all the numbers between 1 and 100
print 'fizz' instead of the number if it’s divisible by 3
print 'buzz' if it’s divisible by 5
$ vernac fizzbuzz.vn -o fizzbuzz
$ ./fizzbuzz | head -n 5
1
2
fizz
4
buzzCaution
Be careful: Vernac is an unstable and somewhat whimsical experiment.
You shouldn't use it in production. You might, however, find it more useful than you expect.
Motivation
To state the obvious: Vernac just does some LLM prompting and generates code under the hood.
Its value is in bundling together known prompts and annoying packaging steps so you can go from English to an executable program in one step.
The dream is that you check the English into git, not the code.
Every modern programmer already uses ChatGPT to generate code, then copies the code into their own source file. That’s a bit like writing your application in assembly and occasionally pasting in output from your compiler. Stay in the highest-level language you have for as long as you can! Today, in the GPT era, our highest-level language is English.
Usage
Prerequisites
- Python 3.10+
- OpenAI API key with GPT-4
Install
-
pip install vernacor (recommended →)pipx install vernac
Run
export OPENAI_API_KEY=<key>vernac <source_in> -o <executable_out>
The executable bundles its dependencies except for a Python interpreter.
Examples
Hitting an API: emoji
ChatGPT may remember some stale information about an API, but often it's best to paste in relevant details:
- fetch all emoji from https://emojihub.yurace.pro/api/all
- if a keyword is given as command line arg, pick the emoji with the most similar name
- otherwise pick a random emoji
- convert its unicode code point into a character and print that
# references
the emojihub API returns data like this:
```
{'name': 'minidisc', 'category': 'objects', 'group': 'objects', 'htmlCode': ['💽'], 'unicode': ['U+1F4BD']}
```
Writing tests: fizzbuzz-with-tests
Describe test cases and Vernac will run them during compilation:
accept N as a command line arg
print all the numbers between 1 and N
print 'fizz' instead of the number if it’s divisible by 3
print 'buzz' if it’s divisible by 5
# tests
do the right thing with N=20
Splitting code into modules: todo
Vernac can accept multiple input files. It will compile each one separately, guessing which are modules and which is the main program.
todo-storage.vn
# storage module
todo list entries have
- number
- description
- status (done, not done)
todo list entries are stored in `~/.todo` as a json list of objects
todo-tui.vn
# terminal-based todo list
todo list entries have
- number
- description
- status (done, not done)
## usage
- running the program shows a list of all todo list entries ordered by number
- one entry is selected at a time
- up/down arrow keys change the selection
- pressing d toggles the status of the selected entry
- pressing the del key removes the selected entry
- pressing c pops creates a new entry
- pressing s saves to the file
- pressing q saves and quits
- running with `--help` prints instructions and exits immediately
*Note: Ensure that any HTML strings are properly formatted, i.e., all tags are correctly opened and closed.*
## creating a new entry
- to create a new entry, present a dialog to the user
- it should have one text field to provide the description
- pressing esc should close the dialog without creating an entry
- new entries are selected automatically after they are createdRelated work
FAQs
What prevents my programs from behaving differently every time I recompile?
Nothing.
What about non-English languages?
They are likely to work, but less likely than English.
This is a joke, right?
Is it? You tell me. :)
