The Atoms of Programming

Re:The Atoms of Programming by dtech81 on Saturday November 18, 2017 @09:14AM (#15728999)

Regarding the conceptual modeling (a parallel concern to the author's desire for paradigms), Daniel Jackson [1] and his graduate student researchers at MIT have made great progress on clarifying the relation between concepts and purposes in software design recently, as well as beginning to collect an index (yet to be published). I wonder if an index exists for logical system paradigms?

These two lectures by Jackson are great:

SATURN 2016 Keynote: Rethinking Software Design - https://youtu.be/LDny7VGLzTE

UMass Amherst CICS Distinguished Lecture: Daniel Jackson (Massachusetts Institute of Technology) https://youtu.be/cNe6g0qczxE

[1] http://people.csail.mit.edu/dnj/

[ Parent | on HN ]

Re:The Atoms of Programming by sadlion on Saturday November 18, 2017 @01:17PM (#15730016)

Thank you for sharing those; Jackson presented his ideas in a very clear manner. I especially liked how he broke down the evaluation and the accompanying examples. If one replaces users by other developers or even future self, the application of his ideas can lead to better system organization and consequently better developer experience.

[ Parent | on HN ]

Re:The Atoms of Programming by peterburkimsher on Saturday November 18, 2017 @10:03AM (#15729178)

I like to use a geographic paradigm when imagining how APIs let programs share data.

http://peterburk.github.io/ideas/#metageography

[ Parent | on HN ]