#Haxe Roundup 733 https://haxe.io/roundups/733/ is out!

Fiberus GC update and Q&A.

Dts2hx update!

Lots of open source releases!

Plus the latest articles, core updates & more from the Haxe community! 🔥

Okay all of the nightmare associated with deploying a threejs app to desktop has put me off.

I'm gonna go with #haxe

This is the best way of papering over the cracks in Haxe's constructor story and import system.

write a static function called cook, it returns an object with the type name as a field, and a tuple of constructors as values.

somewhere else call cook().cons(cook()).cons(cook), and that's a fully typed entry point for the constructors you want exposed.

https://codeberg.org/ohmrun/cook

#Haxe #DevLog

This is so cool.

It's possible to do open ended Tuples in Haxe by using Church encoding.

I'm using this to index constructors but it would go for anything.

It uses a Church like encoding to keep a record of the type of all previous values.

It acts almost exactly like a linked list, each previous value is of a known, and independent type, just call `get()` for the value or `previous()` as many times as you need.

#Haxe #DevLog

I've had a bloody good week, and done a cool thing, but I couldn't honestly tell you what it's called.

I've got a way of encapsulating the type of constructors using only two continuation monads and a null check for each constructor.

Done and tested.

It's a partial function for constructors where it's unnecessary to specify explicitly the constructor arguments for any given type, and yet the input remains strongly typed, and indefinitely expandable.

It's fkn awesome.

#Haxe #DevLog

Now I've got a hang of composing structural types, all sorts of interesting stuff is falling out of it.

This is an open ended way to construct handlers for inputs.

using optional fields means that any value can pass through, and the handler can simply null check on it's chosen field, and by doing so increases information of the type.

#Haxe #DevLog

I remember reading that arrows are really well suited to optimisation.

A `then` macro can inspect internal types to produce the most efficient implementing class without losing any functionality in macro time processing.

#DevLog #Haxe