Thunky - pure, functional, lazy
▲ 20 r/haskell

Thunky - pure, functional, lazy

This is a toy programming language I created to understand better how lazy functional languages work, after I discovered Haskell and it blew my mind a little, many many years ago.

It went through many iterations over the years, prototypes, etc., and today I'm happy to call this a version 1.

It first was a Lua prototype, that did basic (and slow) expression tree reduction. Then there was a Lua transpiler and a thin runtime. After several iterations, back and forth on the syntax, abandoning and restarting the project, this final version is in Go and uses a G-machine bytecode interpreter.

In essence it's a dynamically typed "lesser Haskell", so probably not meant for anything real, but I'm quite happy with the syntax and I learned a lot on the way.

The repo has:

  • a local interpreter
  • documentation and tutorials
  • lots of examples, including Project Euler and Advent of Code solutions
  • a web based playground
  • web based tutorials where each code block is executable
  • syntax highlighting for micro, nano and Zed

Repo: https://github.com/Castux/thunky Web playground: https://castux.github.io/thunky/

AI disclaimer: the latest stages of this project were assisted with LLM (G-machine and web port), but the many iterations and prototypes, the lexer-parser-analyzer, etc. were all first hand written, during the last ten years.

u/Castux — 5 days ago
▲ 171 r/conlangs

Conlang website work in progress

I've been working on a little website for my conlang, it has:

  • a searchable dictionary, which also shows inflected forms of words
  • a grammar page with examples,
  • a translation assistant which is basically a bulk lookup from the dictionary, including inflections. You still need to know the grammar and word order, of course, but it can speed things up when translating and creating new words on the fly.
  • (experimental) a word generator that also proposes related terms to build semantic families. I'll need to fine tune the parameters because I don't like most of the words it makes, but it can serve for inspiration

And all backed up by a custom font that showcases the abugida for the language.

The grammar is of course very incomplete, I add to it as needed when translating texts, and the glossary is still very light. This started as a naming language for a role playing game, and my players out nerded me and demanded grammar to be able to write actual poems and songs in it. So I obliged, and made a website for easier access to the knowledge :)

https://badaawi.the-chasers-lodge.net/

https://badaawi.the-chasers-lodge.net/?lab for the experimental feature

u/Castux — 2 months ago
▲ 3 r/findthatsong+2 crossposts

Searching song from piano intro melody

Been trying to find what is that song I have in my head, played here on my piano. I think the intro is actually piano (but I'm not sure about the harmony). Possibly a modern pop/rock song. None of the tools I used found it.

I appreciate the help!

drive.google.com
u/Castux — 3 months ago