[ppig-discuss] Rhetorical structure of code: Anyone interested in collaborating?

2016-04-27 Thread Richard A. O'Keefe
I've been thinking for some time of writing a paper with the title "Why can't I see the structure?" based on the idea that modules in every programming language I know look like blobs. I'm aware of visual notations like UML, BON, SDL, and what was it, Visual Erlang? But for me, those are just spa

Re: [ppig-discuss] Rhetorical structure of code: Anyone interested in collaborating?

2016-04-27 Thread Raoul Duke
Hear, hear! (I don't know what the solution is.) -- You received this message because you are subscribed to the Google Groups "PPIG Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to ppig-discuss+unsubscr...@googlegroups.com. To post to this grou

Re: [ppig-discuss] Rhetorical structure of code: Anyone interested in collaborating?

2016-04-27 Thread Gergely Buday
I am not sure if it matters for you but how about Standard ML modules? - Gergely On Thursday, 28 April 2016, Richard A. O'Keefe wrote: > I've been thinking for some time of writing a paper with the > title "Why can't I see the structure?" based on the idea that > modules in every programming l

Re: [ppig-discuss] Rhetorical structure of code: Anyone interested in collaborating?

2016-04-27 Thread Flavius Aspra
Do you have any real-life example where complex stuff do not look like blobs? I'd start with this. On 28 Apr 2016 5:52 a.m., "Richard A. O'Keefe" wrote: > I've been thinking for some time of writing a paper with the > title "Why can't I see the structure?" based on the idea that > modules in eve

Re: [ppig-discuss] Rhetorical structure of code: Anyone interested in collaborating?

2016-04-27 Thread Richard A. O'Keefe
On 28/04/16 5:04 PM, Gergely Buday wrote: I am not sure if it matters for you but how about Standard ML modules? Suffice it to say that I've been well aware of ML for a long time and have the latest release of SML/NJ installed on my desktop and laptop machines for a reason, think that SML's s

Re: [ppig-discuss] Rhetorical structure of code: Anyone interested in collaborating?

2016-04-27 Thread Gergely Buday
Then I suggest to look at http://mlton.org/MLBasisSyntaxAndSemantics About relations: you look for some specification language, when you state the governing rules of the methods to each other. That brings program verification of some sort. Or, some literate programming you strive for, but Real P

Re: [ppig-discuss] Rhetorical structure of code: Anyone interested in collaborating?

2016-04-27 Thread Richard A. O'Keefe
On 28/04/16 5:09 PM, Flavius Aspra wrote: Do you have any real-life example where complex stuff do not look like blobs? Literate programs. I'm thinking of the book about LCC, where I never felt lost at all. I'd start with this. Unfortunately, while literate programs help a lot, they

Re: [ppig-discuss] Rhetorical structure of code: Anyone interested in collaborating?

2016-04-27 Thread Richard A. O'Keefe
On 28/04/16 6:15 PM, Gergely Buday wrote: Then I suggest to look at http://mlton.org/MLBasisSyntaxAndSemantics Please. Don't try to teach your grandfather to suck eggs. I've had mlton on my machines since the first release came out. What part of that web page do you think has ANY RELEVANCE