Lmst

Old paper:
John Launchbury and Simon L Peyton Jones. 1995. *State in Haskell*
https://sci-hub.st/10.1007/BF01018827

What interests me more is that the journal used to called *LISP and Symbolic Computation*, the intersection of the two topics that I am most interested.

Later the the “LISP” in the journal name was changed to “Higher-Order” in 1998, after which the famous #R5RS
was published on it.

#Haskell #LISP #Scheme #SymbolicComputation

State in Haskell
JOHN LAUNCHBURY
Oregon Graduate Institute, PO Box 91000, Portland, OR 97291-1000
jl@cse.ogi.edu
SIMON L PEYTON JONES
University of Glasgow, G12 8QQ, Scotland
simonpj@dcs.glasgow.ac.uk

Abstract

Some algorithms make critical internal use of updatable state, even though their external specification is purely functional. Based on earlier work on monads, we present a way of securely encapsulating stateful computations that manipulate multiple, named, mutable objects, in the context of a non-strict, purely-functional language. The security of the encapsulation is assured by the type system, using parametricity. The same framework is also used to handle input/output operations (state changes on the external world) and calls to C.

Summary of the paper:
We have described a small collection of:
• Primitive state transformers, namely returnST, newVar, readVar, and writeVar;
• "Plumbing" combinators, which compose state transformers together, namely thenST and its derivatives, thenST_, listST, mapST, and so on.
• An encapsulator, runST, which runs a state transformer on the empty state, discards the resulting state, and returns the result delivered by the state transformer.

A cover image of the journal LISP and Symbolic Computation, 1991-01: Vol 4

#AndyClark - Is the #Mind Like a #Computer?

https://www.youtube.com/watch?v=dl90GcDiZck

#Philosophy #PjilosophyOfMind #PhilosophyOfScience #Science #PhiilosophyOfConsciousness #Consciousness #TheoryOfMind #Computation #SymbolicComputation #Language #Computer #Neuroscience #DeepMind #Patterns #Recognition #PatternRecognition #CloserToTruth #RobertKuhn

My #introduction: currently powering through undergrad PDEs and stochastic processes. These are the last weeks of the last semester of my math degree; am considering grad studies since it is now getting interesting, and don’t want to stop. Interests: #symboliccomputation #Maplesoft #differentialequations #math-communication, and more.

Getting started with #Maxima in #Fedora #Linux - Fedora Magazine

https://fedoramagazine.org/getting-started-with-maxima-in-fedora-linux/

#GNU #Linux #Mathematics #SymbolicComputation #Numerics

#symboliccomputation

Client Info