Massimo Nocentini

This site is a collection of Massimo Nocentini's papers, notes, memos and source code, in the spirit of [1].

Tue May 20 13:04:12+0200 2025

This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License

You can reach me via the following contacts:

• +39 320 1162059 (mobile)
• Personal mail [2]
• University of Florence mail [3]
• Github page [4]
• Public RSA key [5]

I have a working in progress booklet [6] about data structures, using the Pharo dialect.

We have a layer targeting the Scheme language [7] to exchange data and evaluate symbolic expressions with the Wolfram engine [8]

We present in [9] a test suite to understand the system defined in the reference page [10]. Quoting author's words:

❝
HANSEI is the the embedded domain-specific language for probabilistic programming: for writing potentially infinite discrete-distribution models and performing exact inference, importance sampling and inference of inference.

We also have a symbolic variant of the famous wet grass model in [11] and more in depth tests about the variable elimination optimization in [12].

Bootstrapping a unit test framework, test-driven itself in Scheme [13], in Lua [14] and in Python [15]; this quote shows the message:

❝
...it's a kind of self-brain surgery

My own learning tests for Scheme [16] to understand the Scheme language, via the chicken interpreter.

From the R6RS Ballot, reported in [17]:

❝
Scheme occupies a unique niche. A research niche and an educational niche. It is not a language. Not R6RS, not R5RS, not R4Rs. It is an idea. Or a collection of ideas. It is a framework. It is a way of thinking. It is a mindset. All of this is embodied in an ever growing family of languages or dialects, not a single language. It is a virus. It is the ultimate programming-language virus. The cat is already out of the bag and there is no way to get it back in. Once someone gets the mindset, they can implement their own implementation, which is often a slightly different dialect. This has happened hundreds if not thousands of times over. (Probably hundreds of thousands or more if one counts all the people doing homework for Scheme courses.) This happens for Scheme in a way that it doesn't for any other language. Scheme has also served as a testbed for innovated language ideas more than any other language, either by fueling such innovation or by adopting such innovation. I'm talking about the most major innovations of all of computer science. Things like: scoping, nondeterminism, parallelism, lazy evaluation, unification, constraint processing, stochastic computation, quantum computation, automatic differentiation, genetic programming, types, automated reasoning, ... just to name a few.

Auxiliary definitions

Basic helpers [18], call with current continuation [19], non deteministic with cuts [20] and delimited continuations [21].