RSS Parrot

BETA

🦜 okmij.org

@okmij.org.ftp@rss-parrot.net

I'm an automated parrot! I relay a website's RSS feed to the Fediverse. Every time a new post appears in the feed, I toot about it. Follow me to get all new posts in your Mastodon timeline! Brought to you by the RSS Parrot.

---

List of updates to okmij.org

Your feed and you don't want it here? Just e-mail the birb.

Site URL: okmij.org/ftp/

Feed URL: okmij.org/ftp/rss.xml

Posts: 15

Followers: 1

Module Extensibility and Separate Compilation

https://okmij.org/ftp/ML/module-extensibility.html

Published: April 4, 2025 00:01

Module Extensibility and Separate Compilation In OCaml, linking with alternative/improved implementations, and the non-destructive library extension/evolution are problematic in separate compilation. Work-arounds are found.

do-while loops have always been in OCaml:

https://okmij.org/ftp/ML/index.html#do-while

Published: March 1, 2025 00:01

do-while loops have always been in OCaml: representing do-while loops idiomatically, with no extra booleans of branching

More appreciation for a for-loop:

https://okmij.org/ftp/Algorithms/for-loop.html

Published: February 13, 2025 00:01

More appreciation for a for-loop: an explanation of J.N. Oliveira's approach for transforming systems of non-tail primitive recursive equations over natural numbers to an efficient, imperative for-loop

Modular, composable, typed optimizations in the tagless-final style

https://okmij.org/ftp/tagless-final/course/optimizations.html

Published: January 1, 2025 00:01

Simplifying the optimization framework in Modular, composable, typed optimizations in the tagless-final style to avoid GADTs. Therefore, it can be re-implemented in the languages (such as SML, etc.) that do not have GADTs.

Complete Stream Fusion for Software-Defined Radio:

https://okmij.org/ftp/Streams.html#sdr-bench

Published: January 1, 2025 00:01

Complete Stream Fusion for Software-Defined Radio: Strymonas-generated code is fast enough for real-time FM Radio reception, even on Raspberry Pi Zero.

MetaOCaml: Ten Years Later.

https://okmij.org/ftp/ML/MetaOCaml.html#design-10

Published: January 1, 2025 00:01

MetaOCaml: Ten Years Later. The new staging translation, and, finally, some explanations of the implementation of let-insertion and cross-stage persistence

a realistic starting example of staging,

https://okmij.org/ftp/meta-programming/tutorial/mult.ml

Published: January 1, 2025 00:01

Down with power: a realistic starting example of staging, illustrating code templates (brackets/escapes), let-insertion, offshoring, real-time specialization with a flavor of JIT, and even multiple-stages

Towards a Theory of Anaphoric Binding in Event Semantics.

https://okmij.org/ftp/gengo/poly-event/index.html#anaphora

Published: January 1, 2025 00:01

Towards a Theory of Anaphoric Binding in Event Semantics. Pronouns and in general anaphora are hardly ever analyzed in event semantics. This paper takes a stab (published in LNCS)

From poly-variadic combinator to poly-variadic schema

https://okmij.org/ftp/Computation/fixed-point-combinators.html#poly-spec

Published: December 7, 2024 00:01

From poly-variadic combinator to poly-variadic schema: specializing, and optimizing the poly-variadic fix-point combinator to the statically known number of functions to mutually fixpoint (in the typed and strict setting).

Slide-Effect: Slide overlays and delimited control.

https://okmij.org/ftp/continuations/index.html#slide-effect

Published: October 5, 2024 00:01

Slide-Effect: Slide overlays and delimited control. Overlay expansion (like in Beamer) is a manifestation of delimited control. We explain on two implementations, without delimited control operators and with, showing where and how the explicit delimited…