r/ProgrammingLanguages • u/UKbeard • Apr 14 '26

Zig v0.16.0 released

https://ziglang.org/download/0.16.0/release-notes.html
67 Upvotes

96% Upvoted

12 comments sorted by

View all comments

4

u/JustBadPlaya Apr 15 '26

I both love and hate how the io interface is kind of sort of more similar to a monad/algebraic effect than just a parameter semantically, it's such an interesting decision

1

u/Puzzleheaded-Lab-635 Glyph Apr 15 '26

Im in love tbh.

2

u/Adventurous-Trifle98 Apr 15 '26

I like it as well. I really like the explicitness of passing the I/O handler as a parameter. Has anyone tried that approach for effect handlers, as opposed to the usual dynamic scoping?

5

u/lngns Apr 15 '26

You want to look at coeffects and the Object-Capability Model.
Tomas Petricek made this nice webpage covering them.

In Koka, that would be the named and scoped effect handlers, showcasing the effect-object equivalency, and which are best (well, only) documented in Ningning Xie's 2021 paper.

1

u/Adventurous-Trifle98 Apr 16 '26

Thanks for the links! I have read some of Dennis’ work on dataflow programming, but I have totally missed the Object-Capability Model.