Tootfinder

There is now one month to go before the start of the course "Functional Programming and Climate Impact Research" and I've started filling in more information, including schedule and registration information.
https://github.com/DSLsofMath/FPClimate
It is a se…

This https://arxiv.org/abs/2310.13441 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…

Seamless, Correct, and Generic Programming over Serialised Data
In typed functional languages, one can typically only manipulate data in a type-safe manner if it first has been deserialised into an in-memory tree represented as a graph of nodes-as-structs and subterms-as-pointers. We demonstrate how we can use QTT as implemented in \idris{} to define a small universe of serialised datatypes, and provide generic programs allowing users to process values stored contiguously in buffers. Our approach allows implementors to prove the full functional correctn…

The start of the FPClimate course is getting close (Monday 2024-03-25 at 15:15 in time zone CEST).
So far I have 8 students registered (6 locals, 2 remote). We use a github page for the course information:
https://github.com/DSLsofMath/FPClimate
The zoom link is almo…

Java Classes with "-Er" and "-Utils" Suffixes Have Higher Complexity
Anna Sukhova, Alexey Akhundov, Efim Verzakov, Yegor Bugayenko
https://arxiv.org/abs/2403.17430

Java Classes with "-Er" and "-Utils" Suffixes Have Higher Complexity
In object-oriented programming languages, a belief exists that classes with -Er/-Or and -Utils suffixes are "code smells" because they take over a lot of functional responsibility, turning out to be bulky and complicated, and therefore making it more difficult to maintain the code. In order to validate this intuition, we analyzed complexity and cohesion of 13,861 Java classes from 212 unique open-source GitHub repositories. We found out that average values of Cyclomatic Complexity and Cognitive…

Please consider submitting to the Workshop on Type-Driven Development (TyDe). Submission deadline 2024-05-27, workshop 2024-09-06 in Milan, Italy. https://icfp24.sigplan.org/home/tyde-2024#Call-for-Papers
Org. by Sandra Alves and @…

Genetic Programming for Explainable Manifold Learning
Ben Cravens, Andrew Lensen, Paula Maddigan, Bing Xue
https://arxiv.org/abs/2403.14139 https://…

Genetic Programming for Explainable Manifold Learning
Manifold learning techniques play a pivotal role in machine learning by revealing lower-dimensional embeddings within high-dimensional data, thus enhancing both the efficiency and interpretability of data analysis by transforming the data into a lower-dimensional representation. However, a notable challenge with current manifold learning methods is their lack of explicit functional mappings, crucial for explainability in many real-world applications. Genetic programming, known for its interpret…

Java Classes with "-Er" and "-Utils" Suffixes Have Higher Complexity
Anna Sukhova, Alexey Akhundov, Efim Verzakov, Yegor Bugayenko
https://arxiv.org/abs/2403.17430

Java Classes with "-Er" and "-Utils" Suffixes Have Higher Complexity
In object-oriented programming languages, a belief exists that classes with -Er/-Or and -Utils suffixes are "code smells" because they take over a lot of functional responsibility, turning out to be bulky and complicated, and therefore making it more difficult to maintain the code. In order to validate this intuition, we analyzed complexity and cohesion of 13,861 Java classes from 212 unique open-source GitHub repositories. We found out that average values of Cyclomatic Complexity and Cognitive…

Object-Oriented Architecture: A Software Engineering-Inspired Shape Grammar for Durands Plates
Rohan Agarwal
https://arxiv.org/abs/2404.14448 https://

Object-Oriented Architecture: A Software Engineering-Inspired Shape Grammar for Durands Plates
Addressing the challenge of modular architectural design, this study presents a novel approach through the implementation of a shape grammar system using functional and object-oriented programming principles from computer science. The focus lies on the modular generation of plates in the style of French Neoclassical architect Jean-Nicolas-Louis Durand, known for his modular rule-based method to architecture, demonstrating the system's capacity to articulate intricate architectural forms systema…

@nicolas_frankel wrote an article about error mangement in Rust, using error propagation and Rust libraries like thiserror!
Check it out: https://blog.frankel.ch/error-management-rust-libs/

Error management in Rust, and libs that support it
As part of learning the Rust ecosystem, I dedicated the last few days to error management. Here are my findings. Error management 101 The Rust book describes the basics of error management. The language separates between recoverable errors and unrecoverable ones. Unrecoverable errors benefit from the panic!() macro. When Rust panics, it stops the program. Recoverable errors are much more enjoyable. Rust uses the Either monad, which stems from Functional Programming. Opposite to exceptio…

This https://arxiv.org/abs/2303.10712 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_sta…

Mixture of segmentation for heterogeneous functional data
In this paper we consider functional data with heterogeneity in time and in population. We propose a mixture model with segmentation of time to represent this heterogeneity while keeping the functional structure. Maximum likelihood estimator is considered, proved to be identifiable and consistent. In practice, an EM algorithm is used, combined with dynamic programming for the maximization step, to approximate the maximum likelihood estimator. The method is illustrated on a simulated dataset, an…

started the #Wikidata entry on #RocLang yesterday:
https://www.wikidata.org/wiki/Q124813537

How To Draw An Owl
#Refactor

Been looking at #gotoSocial a little.
Decided to go hardcore and build it from source, even though I don't even know the programming language Go that it's written in at all.
Went pretty well building and running it, wasn't difficult and it's easy to understand how to adapt the page templates and things.
Seems like account migration works well enough now.
Didn't notice that I'd failed to build a bunch of assets for a while so couldn't understand why the settings page wasn't working as suggested and pages were weirdly ugly and non-functional.
Building those assets is bloody node again. Annoying. Hoping to avoid that.
Anyway. It looks good. So customizable, no effort to really do a reader but you use phanphy or something for that. All I really want is good customizeable shop-windows and a functional API.
Thinking that's what I'll move to if further experimentation goes well.

#ErrorManagement in #Rust, and libs that support it.
As part of learning the Rust ecosystem, I dedicated the last few days to error management. Here are my findings.

Wir haben noch zehn gute Jahre.
https://fedi.astrid.tech/objects/205fd47f-8adf-40a6-b82c-7896ed02f2ba

Technology Predictions (@yearof@fedi.astrid.tech)
2034 will be the year of Functional Programming becoming illegal

https://arxiv.org/pdf/1611.09259.pdf - Do Be Do Be Do, or, Frank: a strict functional programming language with algebraic effects.

BlackJAX: Composable Bayesian inference in JAX
Alberto Cabezas, Adrien Corenflos, Junpeng Lao, R\'emi Louf
https://arxiv.org/abs/2402.10797 https://

BlackJAX: Composable Bayesian inference in JAX
BlackJAX is a library implementing sampling and variational inference algorithms commonly used in Bayesian computation. It is designed for ease of use, speed, and modularity by taking a functional approach to the algorithms' implementation. BlackJAX is written in Python, using JAX to compile and run NumpPy-like samplers and variational methods on CPUs, GPUs, and TPUs. The library integrates well with probabilistic programming languages by working directly with the (un-normalized) target log den…

"Software engineers are not always aware that our cherished Silicon Valley was a side effect (with apologies to our readers fond of functional programming) of the San Francisco counterculture of the late 60s. Such a movement and its devotion to LSD gave us Scott McKenzie singing at the Monterey Festival (where a certain Ravi Shankar made its debut in front of an American audience), and it also sparked influential software companies with names like Lotus, Sun, and Apple."

Geoffrey James
Western culture has long been fascinated with what the French call "Extrême-Orient"; since the times of Marco Polo, most probably since biblical times. We (the editors of a magazine that is, after all, a pure product of Western civilization) assign certain qualities to the thinking patterns of those regions: wisdom, calmness, thoughtfulness, and reflection. Eastern philosophy is often analyzed in counterpoint, in a tangential or even orthogonal fashion from its western counterpart: Confucius v…

I will give a research talk today (Friday, the 1st of March) at 11:00 (CET = UTC 1) in our local Functional Programming research group seminar.
There is a Zoom link for the stream which should hopefully work: https://chalmers.zoom.us/j/65586341322 (Password: f,p.t:a;l,k without the pun…

Zero-Sum Games for Volterra Integral Equations and Viscosity Solutions of Path-Dependent Hamilton-Jacobi Equations
Mikhail I. Gomoyunov
https://arxiv.org/abs/2404.10428

Zero-Sum Games for Volterra Integral Equations and Viscosity Solutions of Path-Dependent Hamilton-Jacobi Equations
We consider a game, in which the dynamics is described by a non-linear Volterra integral equation of Hammerstein type with a weakly-singular kernel and the goals of the first and second players are, respectively, to minimize and maximize a given cost functional. We propose a way of how the dynamic programming principle can be formalized and the theory of generalized (viscosity) solutions of path-dependent Hamilton--Jacobi equations can be developed in order to prove the existence of the game va…

PROSKILL: A formal skill language for acting in robotics
F\'elix Ingrand (LAAS-CNRS, Universit\'e de Toulouse, Toulouse, France)
https://arxiv.org/abs/2403.07770

PROSKILL: A formal skill language for acting in robotics
Acting is an important decisional function for autonomous robots. Acting relies on skills to implement and to model the activities it oversees: refinement, local recovery, temporal dispatching, external asynchronous events, and commands execution, all done online. While sitting between planning and the robotic platform, acting often relies on programming primitives and an interpreter which executes these skills. Following our experience in providing a formal framework to program the functional …

This https://arxiv.org/abs/2404.08217 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…

Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking
Despite Rust's success in systems programming, its "shared XOR mutable" principle significantly restricts how mutable values can be used, precluding many useful functional programming idioms. Reachability types are a recent proposal to address the key limitations of Rust-style "shared XOR mutable" approaches by tracking lifetimes and reachability of shared, escaping, and mutable data, even in the presence of higher-order functions and polymorphic types. The key to enable such expressiveness is …

A Functional Analysis Approach to Symbolic Regression
Kirill Antonov, Roman Kalkreuth, Kaifeng Yang, Thomas B\"ack, Niki van Stein, Anna V Kononova
https://arxiv.org/abs/2402.06299

A Functional Analysis Approach to Symbolic Regression
Symbolic regression (SR) poses a significant challenge for randomized search heuristics due to its reliance on the synthesis of expressions for input-output mappings. Although traditional genetic programming (GP) algorithms have achieved success in various domains, they exhibit limited performance when tree-based representations are used for SR. To address these limitations, we introduce a novel SR approach called Fourier Tree Growing (FTG) that draws insights from functional analysis. This new…

Mercury: An Efficiency Benchmark for LLM Code Synthesis
Mingzhe Du, Anh Tuan Luu, Bin Ji, See-Kiong Ng
https://arxiv.org/abs/2402.07844 https://

Mercury: An Efficiency Benchmark for LLM Code Synthesis
Despite advancements in evaluating Large Language Models (LLMs) for code synthesis, benchmarks have predominantly focused on functional correctness, overlooking the importance of code efficiency. We present Mercury, the first benchmark designated for assessing the code efficiency of LLM code synthesis tasks. Mercury consists of 1,889 programming tasks covering diverse difficulty levels alongside test case generators generating unlimited cases for comprehensive evaluation. Unlike existing benchm…

Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking
Songlin Jia, Guannan Wei, Siyuan He, Yueyang Tang, Yuyan Bao, Tiark Rompf
https://arxiv.org/abs/2404.08217

Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking
Despite Rust's success in systems programming, its "shared XOR mutable" principle significantly restricts how mutable values can be used, precluding many useful functional programming idioms. Reachability types are a recent proposal to address the key limitations of Rust-style "shared XOR mutable" approaches by tracking lifetimes and reachability of shared, escaping, and mutable data, even in the presence of higher-order functions and polymorphic types. The key to enable such expressiveness is …

This https://arxiv.org/abs/2009.13085 has been replaced.
link: https://scholar.google.com/scholar?q=a

Existence and Uniqueness of viscosity solutions of Value function of Local Cahn-Hilliard-Navier-Stokes system
In this work, we consider the local Cahn-Hilliard-Navier-Stokes equation with regular potential in two dimensional bounded domain. We formulate distributed optimal control problem as the minimization of a suitable cost functional subject to the controlled local Cahn-Hilliard-Navier- Stokes system and define the associated value function. We prove the Dynamic Programming Principle satisfied by the value function. Due to the lack of smoothness properties for the value function, we use the method …

Worst-Case Convergence Time of ML Algorithms via Extreme Value Theory
Saeid Tizpaz-Niari, Sriram Sankaranarayanan
https://arxiv.org/abs/2404.07170 https://…

Worst-Case Convergence Time of ML Algorithms via Extreme Value Theory
This paper leverages the statistics of extreme values to predict the worst-case convergence times of machine learning algorithms. Timing is a critical non-functional property of ML systems, and providing the worst-case converge times is essential to guarantee the availability of ML and its services. However, timing properties such as worst-case convergence times (WCCT) are difficult to verify since (1) they are not encoded in the syntax or semantics of underlying programming languages of AI, (2…

This https://arxiv.org/abs/2111.13384 has been replaced.
link: https://scholar.google.com/scholar?q=a

EOLANG and $φ$-calculus
Object-oriented programming (OOP) is one of the most popular paradigms used for building software systems. However, despite its industrial and academic popularity, OOP is still missing a formal apparatus similar to $λ$-calculus, which functional programming is based on. There were a number of attempts to formalize OOP, but none of them managed to cover all the features available in modern OO programming languages, such as C++ or Java. We have made yet another attempt and created $φ$-calculus.…

This https://arxiv.org/abs/2309.12813 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…

Automatically Testing Functional Properties of Code Translation Models
Large language models are becoming increasingly practical for translating code across programming languages, a process known as $transpiling$. Even though automated transpilation significantly boosts developer productivity, a key concern is whether the generated code is correct. Existing work initially used manually crafted test suites to test the translations of a small corpus of programs; these test suites were later automated. In contrast, we devise the first approach for automated, function…

This https://arxiv.org/abs/2304.09697 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…

A Calculus for Scoped Effects & Handlers
Algebraic effects & handlers have become a standard approach for side-effects in functional programming. Their modular composition with other effects and clean separation of syntax and semantics make them attractive to a wide audience. However, not all effects can be classified as algebraic; some need a more sophisticated handling. In particular, effects that have or create a delimited scope need special care, as their continuation consists of two parts-in and out of the scope-and their modular…