News for hackers. Stuff that matters.

A comment on Policy – A fork of the Scala compiler. Parent comment

Re:Policy – A fork of the Scala compiler by seanmcdirmid on Friday September 05, 2014 @09:00PM (#8277049)
Parent was out of line but there is still plenty of modern academic research occurring around Smalltalk. Not to mention Gilad's Newspeak (which may or may not be academic, you'd have to ask him).
[ Parent | on HN ]
Re:Policy – A fork of the Scala compiler by teacup50 on Wednesday September 10, 2014 @08:42PM (#8300184)
Can you think of a single example that:

1) Posits new conjectures 2) Proves those conjectures 3) Those conjectures can be used to formulate new conjectures that conform to items 1-3?

I've read a great deal of smalltalk literature, and I can't recall any papers that would qualify. There's plenty of empirical exploration of ambiguous hypothesis, but nothing that actually provides anyone in the field anything on which they could actually build.

[ Parent | on HN ]