I don't know if there's any direct relation but this reminds me of: http://conal.net/talks/denotational-design-lambdajam-2015.pdf http://conal.net/talks/denota

I don't know if there's any direct relation but this reminds me of: http://conal.net/talks/denotational-design-lambdajam-2015.pdf http://conal.net/talks/denotational-design-lambdajam-2015.pd... https://www.youtube.com/watch?v=bmKYiUOEo2A https://www.youtube.com/watch?v=bmKYiUOEo2A