Inmos? Transputers were inspired by Hoare’s CSP.

EdNutting 2 days ago | parent | next [-]

“Inspired by” is an understatement of the century lol. David May and Sir Tony worked very closely together to enable the architecture to be as pure a runtime for CSP as you could get - at least in early versions of the architecture and accompanying Occam language. It expanded and deviated a bit later on iirc.

Source: David loved to tell some of these stories to us as students at Bristol.

	▲	EdNutting 2 days ago \| parent \| next [-]
		It’s also worth highlighting that the mathematical purity of the designs were also partly the problem with them. As a field, we’re still developing the maths of Effects and Effectful Algebras that are needed to make these systems both mathematically ‘pure’ (or at least sound to within some boundary) and ALSO capable of interfacing to the real world. Transputer and Occam were, in this sense, too early. A rebuild now combining more recent developments from Effect Algebras would be very interesting technically. (Commercially there are all sorts of barriers).
	▲	EdNutting 2 days ago \| parent \| prev [-]
		Further Reading for the curious: On specifically the relationship between Occam and Transputer architecture: http://people.cs.bris.ac.uk/~dave/transputer1984.pdf Wider reading: http://people.cs.bris.ac.uk/~dave

▲

dboreham a day ago | parent | prev [-]

Yes.