Tag: racket

Define Deforestable in Qi

Written by Dominik Pantůček on 2026-09-10

racket

Having dealt with equality allowed us to add the missing link between a year of stream fusion development and a new rolling Qi release. Let us have a quick look at what is finally out in the fields and which operations are now optimized!

...

Equality Considered Harmful

Written by Dominik Pantůček on 2026-08-27

racket

Implementing optimized versions of certain operations is typically both useful and fun. However, once the implementations have to replicate a particular equality predicate, verifying - or at least testing - becomes a nightmarish experience. Let us dive knee-deep in the behavioral predicates of different equality definitions.

...

Ledum Definers Released

Written by Dominik Pantůček on 2026-07-16

racketledum

Last time we have touched the topic of designing custom CPU explicitly, we were already preparing the whole package for release. Today, we introduce the Ledum Definers package which allows anyone to design an Instruction Set Architecture and get an assembler, disassembler and components for building emulators for free.

...

Scheme to OpenSCAD Function Compiler

Written by Dominik Pantůček on 2026-07-02

racket

OpenSCAD as a 3D modelling tool supports functional programming and therefore it can be used to easily express many complex ideas. However some programming languages such as Scheme can be more convenient in which case it might be handy to have a compiler of such language into the target system.

...
...