Your article of 2010 May shows you reinventing actors-model queues
within actors-model to perform what should be trivial composition
tasks in a reasonable programming model. If that isn't already
ankle-deep in a Turing tarpit, what is it? a Turing peat bog? How much
will these intermediate queues
I've been using the word 'composition' in the mathematical sense.
Relational composition involves taking relations as input and
producing a relation as output. Functional composition involves taking
functions as input and producing a function as output.
Actors composition involves taking actors
On Sat, Jun 26, 2010 at 7:53 AM, dalnefre dale.schumac...@gmail.com wrote:
a practitioner's reason for developing and using a design pattern is that
the host language was inadequate or was missing features.
Failings of the language are not necessarily failings of the model.
I think we are
On Sun, Jun 5, 2011 at 3:23 PM, Casey Ransberger
casey.obrie...@gmail.comwrote:
Has anyone taken the actor model down to the metal?
This would be difficult. We are constrained by fixed memory resources and
connectivity relationships at the hardware level. The memory limits
constrain scheduling
On Sat, Jun 4, 2011 at 10:44 AM, Julian Leviston jul...@leviston.netwrote:
Is a language I program in necessarily limiting in its expressibility?
Yes. All communication architectures are necessarily limiting in their
expressiveness (in the sense defined by Matthias Felleisen). For example,
On Sat, Jun 4, 2011 at 9:04 AM, Scott McLoughlin scottmc...@gmail.comwrote:
My intention was to far more specifically ask: why small
core, user comprehensible and modifiable, and boot-strapable
systems seem to be the province of either latently typed (Smalltak,
Lisp, Scheme, Icon (?), etc.)
On Mon, Jun 6, 2011 at 11:48 AM, Ondrej Bilka nel...@seznam.cz wrote:
My point is that you could just Object have methods true,false and nil
Any reasonably optimalizing compiler would replace them with bytecode.
As methods, you could override them. And since you don't know which
subclasses
On Sat, Jun 11, 2011 at 8:34 PM, C. Scott Ananian csc...@laptop.org wrote:
Even if you're doing pure static analysis, you should be doing
open/closed class analysis and specializing/inlining any class which
has no subclasses in the compilation.
Doesn't work with pluggable components.
On Sat, Jun 11, 2011 at 9:36 PM, C. Scott Ananian csc...@laptop.org wrote:
This is discussed in the paper(s). Closed/open types can be
considered part of the type system, in which case they are perfectly
compatible with plugins.
If you make it an explicit part of the type system, I could
On Sun, Jun 12, 2011 at 1:07 AM, C. Scott Ananian csc...@laptop.org wrote:
SELF did not have specialized bytecodes for these. See
http://selflanguage.org/documentation/published/implementation.html
--scott
Why is this relevant? The opening question was about Squeak.
I think some recent work by Sean McDirmid may be of interest to the FoNC
audience.
Coding at the Speed of Touch
http://lambda-the-ultimate.org/node/4257
This paper describes a programming language with a tile-based development
environment designed for use in tablets. The 'type system', such as
destruction of C.
I developed this idea for a variation on actors, years before RDP. But I
believe it still applicable.
Partial failure, graceful degradation, fallback services and resilience is
something we can achieve in computing much more effectively than in nature.
Regards,
David Barbour
The video sparked some interesting discussion at LtU.
http://lambda-the-ultimate.org/node/4312
Bob Martin's argument is not credible, though. He cherry-picks his example
languages, and the attributes from those languages. He ignores the troubles
with concurrency, and the future needs for
On Mon, Jul 18, 2011 at 4:25 PM, David Goehrig d...@nexttolast.com wrote:
While some level of formalism will be useful when discussing
the behavior and specification of this system, it should not be a
prerequisite for use.
Yeah, that I agree with. Or more precisely: a developer should need
On Mon, Jul 18, 2011 at 8:18 PM, David Barbour dmbarb...@gmail.com wrote:
Yeah, that I agree with. Or more precisely: a developer should need to be
educated in the system's formalism in order to effectively develop.
Oops, I dropped the negative. This is meant to be 'should
On Wed, Jul 20, 2011 at 7:57 AM, Paul Homer paul_ho...@yahoo.ca wrote:
If we flip that, and consider the data as the primary element, then we can
look for ideas that essentially make the code trivial. Users enter data, the
system stores data, and we want to analyze the data. The code can be
On Sun, Jul 24, 2011 at 10:24 AM, Alan Kay alan.n...@yahoo.com wrote:
The main idea here is that a windowing 2.5 D UI can compose views from many
sources into a page. The sources can be opaque because they can even do
their own rendering if needed. Since the sources can run in protected
On Mon, Jul 25, 2011 at 3:20 PM, BGB cr88...@gmail.com wrote:
too bad there is no standardized bytecode or anything though, but then I
guess it would at this point be more like browser-integrated Flash or
something, as well as be potentially more subject to awkward versioning
issues, or the
On Mon, Jul 25, 2011 at 4:40 PM, Julian Leviston jul...@leviston.netwrote:
I guess my question is... what's stopping an alternative, replacement,
backwardly-compatible protocol from taking over where http and https
leave off?
HTTP and HTTPS are not very good protocols if your goals relate to
On Mon, Jul 25, 2011 at 11:16 PM, BGB cr88...@gmail.com wrote:
well, there are pros and cons.
pros:
more compact;
better at hiding ones' source code (decompilers are necessary);
can be executed directly if using an interpreter (no parser/... needed);
...
Counters:
* We can minify source,
On Tue, Jul 26, 2011 at 3:28 PM, BGB cr88...@gmail.com wrote:
why do we need an HLL distribution language, rather than, say, a low-level
distribution language, such as bytecode or a VM-level ASM-like format, or
something resembling Forth or PostScript?...
Because:
(1) Code will often adapt
, Jul 26, 2011 at 11:34 PM, David Barbour dmbarb...@gmail.comwrote:
On Tue, Jul 26, 2011 at 3:28 PM, BGB cr88...@gmail.com wrote:
why do we need an HLL distribution language, rather than, say, a
low-level distribution language, such as bytecode or a VM-level ASM-like
format, or something
On Tue, Jul 26, 2011 at 11:14 PM, BGB cr88...@gmail.com wrote:
one can support ifdef blocks in the IL, no real problem there.
Those seem like a problem all by themselves. Definitions are inflexible,
lacking in domain of language types and lack effective support for complex
ad-hoc decisions
On Wed, Jul 27, 2011 at 3:41 AM, BGB cr88...@gmail.com wrote:
a non-turing-complete IL is too limited to do much of anything useful with
WRT developing actual software...
You aren't alone in holding this uninformed, reactionary opinion.
Consider: Do we need Turing power for 3D apps? No.
On Wed, Jul 27, 2011 at 9:35 AM, David Barbour dmbarb...@gmail.com wrote:
unnecessary or drastic change may often be seen as evil.
hence, the status quo is king...
A despotic king, perhaps.
Apologies. The status quo, as it exists, allows for its own change.
We should not place
I wasn't able to find your link.
But I must say: splitting a complex image into a thousand parts for
rendering and stitching them back together in real-time, is the sort of
problem that quickly becomes painful and tedious even if you have a good
approach to it.
Regards,
Dave
On Wed, Jul 27,
On Wed, Jul 27, 2011 at 10:40 AM, BGB cr88...@gmail.com wrote:
I think fitness and merit are some often misunderstood ideas.
People understand just fine that a solution of technical merit can fail due
to market forces, positioning, and fear of change. But they don't need to
like it.
the
On Wed, Jul 27, 2011 at 1:30 PM, BGB cr88...@gmail.com wrote:
one does need recursion/... for many things to work.
Even if we do have recursion, it does not imply being Turing-powerful.
Primitive recursion and total recursion both terminate.
But we don't need recursive functions. We only need
On Wed, Jul 27, 2011 at 2:38 PM, BGB cr88...@gmail.com wrote:
note that my definition of fitness also includes marketing forces and
economics.
for example, something can have be more fit because it has lots of money
invested into its marketing effort, ...
I objected specifically to your
On Thu, Jul 28, 2011 at 2:16 PM, BGB cr88...@gmail.com wrote:
striving for simplicity can also help, but even simplicity can have costs:
sometimes, simplicity in one place may lead to much higher complexity
somewhere else. [...]
it is better to try to find a simple way to handle issues,
On Sat, Jul 30, 2011 at 1:19 PM, BGB cr88...@gmail.com wrote:
concurrency doesn't care, because both multithreading and message queues
can be readily used with the stack machine abstraction.
I'm not saying you cannot use them, BGB. I'm saying that they're *
complications*, i.e. that the
On Mon, Aug 1, 2011 at 3:24 PM, Simon Forman forman.si...@gmail.com wrote:
Another reason I would argue against something like types based on
Physics is that Physics tries to work out the inconceivable ways that
the Universe actually behaves by systematically throwing away all of our
On Wed, Aug 3, 2011 at 9:57 AM, BGB cr88...@gmail.com wrote:
maybe some good alternative is needed to the traditional threading and
locks model so prevalent in modern mainstream languages.
[...]
now whether any of this could make threading easier to use... I really have
little idea...
On Wed, Aug 3, 2011 at 1:04 PM, Igor Stasenko siguc...@gmail.com wrote:
it is pointless to spawn more than hardware can do, because these threads
will just wait own turn to claim one of free cores and meanwhile just
consume resources
I agree, with exceptions:
* blocking FFI calls
* FFI that
On Thu, Aug 4, 2011 at 12:10 AM, BGB cr88...@gmail.com wrote:
The new thread should inherit the entire dynamic scope - logically, a local
copy thereof. If there are object references mixed in, then the new thread
now has a copy of these references, but the reference variables initially
point
On Thu, Aug 4, 2011 at 12:43 PM, BGB cr88...@gmail.com wrote:
it is a straightforward interpretation of scope:
both lexical and dynamic scope cross code boundaries with no effects on
their behavior.
this makes an issue for async { ... }, as the scope is retained across
thread boundaries.
On Tue, Aug 9, 2011 at 2:05 AM, BGB cr88...@gmail.com wrote:
if clients use their own avatars (which are bounced along using the
webserver to distribute them to anyone who sees them), and a persons' avatar
is derived from copyrighted material, there is always a risk that some
jerkface lawyers
On Mon, Aug 8, 2011 at 6:55 PM, Casey Ransberger
casey.obrie...@gmail.comwrote:
2. Their entire business model ended up being a cultural toxin. Free
accounts mean spam and griefing/trolling/abuse. A profit motive for users
seemed like a good idea at the outset, as it's about the most
On Tue, Aug 9, 2011 at 11:09 AM, Steve Wart st...@wart.ca wrote:
3D design is extraordinarily expensive to develop properly
That is not an essential property of 3D design. We could have an ontology /
'markup language' just for building and animating avatars, similar to
dressing up a doll, if
On Tue, Aug 9, 2011 at 3:40 PM, BGB cr88...@gmail.com wrote:
ideally, we should probably be working with higher-level entities instead
of lower-level geometry.
I agree with rendering high-level concepts rather than low-level geometries.
But I favor a more logical model - i.e. rendering a set
?
I realize that I'm probably pushing my luck:) but crowds are important for
large groups like everyone, so this just got twice as interesting!
On Tue, Aug 9, 2011 at 5:37 PM, David Barbour dmbarb...@gmail.com wrote:
On Tue, Aug 9, 2011 at 3:40 PM, BGB cr88...@gmail.com wrote:
ideally, we
On Wed, Aug 10, 2011 at 7:35 PM, BGB cr88...@gmail.com wrote:
not all code may be from trusted sources.
consider, say, code comes from the internet.
what is a good way of enforcing security in such a case?
Object capability security is probably the very best approach available
today - in
On Thu, Aug 11, 2011 at 1:07 PM, BGB cr88...@gmail.com wrote:
this would have a notable impact on the design of an HLL (and couldn't just
be retrofitted onto an existing traditional OO language such as ActionScript
or C#).
That's a fair point. Some projects such as Joe-E [1] achieve
On Thu, Aug 11, 2011 at 5:06 PM, BGB cr88...@gmail.com wrote:
the big problem though:
to try to implement this as a sole security model, and expecting it to be
effective, would likely impact language design and programming strategy, and
possibly lead to a fair amount of effort WRT hole
On Thu, Aug 11, 2011 at 10:22 PM, BGB cr88...@gmail.com wrote:
if the alteration would make the language unfamiliar to people;
It is true that some people would rather work around a familiar, flawed
language than accept an improvement. But here's the gotcha, BGB: *those
people are not part of
On Fri, Aug 12, 2011 at 1:23 PM, BGB cr88...@gmail.com wrote:
also, security-check models are well proven in systems like Windows and
Linux...
It is true that there are success stories using checked permissions. But,
for security, the successes aren't what you should be counting.
my
On Fri, Aug 19, 2011 at 5:33 PM, BGB cr88...@gmail.com wrote:
'Messaging' is a problem child of its own. It forces us to write
highly stateful applications, in order to coordinate or orchestrate
multiple devices. Resulting applications are neither resilient nor
robust: a missed, lost,
On Fri, Aug 19, 2011 at 8:24 PM, BGB cr88...@gmail.com wrote:
if a message is equivalent to a method call, then it is equivalent to a
method call...
Yes. But it's hard to make a point with a circular argument.
there are worse ways to do things than by passing messages
Certainly! We could
On Sat, Aug 20, 2011 at 9:25 AM, John McKeon p3ano...@gmail.com wrote:
The other model has the sun pumping out its messages into the ether
to which all objects may (or may not) respond. Much better scaling.
Sounds like you want a publish/subscribe model.
Anyhow, this and your B12 analogy made
FWIW, the notion of 'game engine as platform' for UI is certainly worth
exploring. And a lot of good UI concepts can be taken from games.
I like the idea of users having an 'inventory' of objects that determine the
context for context-menus, for example. Sort of: if you see a door, the
options
On Fri, Sep 2, 2011 at 8:06 AM, John Zabroski johnzabro...@gmail.comwrote:
Focus: What other systems support in situ update, and en vivo studies?
* Automated truth maintenance systems
* Smalltalk-80, using Tombstones
* Lisp, using special forms
* Term rewriting systems
* Anything that
On Fri, Sep 2, 2011 at 10:35 AM, John Zabroski johnzabro...@gmail.comwrote:
For your own goals, check out Montanari's work on representing concurrent
computations as contextual nets. Contextual nets are used to close off
feedback loops so that hard problems like weakly and meagerly specified
On Wed, Sep 7, 2011 at 12:48 PM, Casey Ransberger
casey.obrie...@gmail.comwrote:
It seems to me that there is tension here, forces pulling in orthogonal
directions. In systems which include a MOP, it seems as though encapsulation
is sort of hosed at will. Certainly I'm not arguing against the
I would like to see dedicated papers or links on Gezira and Nile - enough
to re-implement them in another language.
I expect techniques as used in Vertigo [1] or GPipe [2] could put Nile
directly on a GPU, via pixel and geometry shaders. This would be a far
better proof-of-concept, IMO, than
Thanks.
On Tue, Nov 8, 2011 at 12:21 PM, Kevin Driedger linuxbox+f...@gmail.comwrote:
Both are available on github.
Gizera:
https://github.com/damelang/gezira
Nile:
https://github.com/damelang/nile
Perhaps that could get you started.
]{evin
On Tue, Nov 8, 2011 at 3:09 PM, David
`+1`? Really? I seriously do not appreciate having my mail spammed in this
manner.
If you're offering an opinion on the article, try to say something specific
and relevant to those who might have skimmed it. Which parts interested you?
If you're referring to Sean's comment for recording the
On Tue, Nov 8, 2011 at 4:54 PM, Dan Amelang daniel.amel...@gmail.comwrote:
On Tue, Nov 8, 2011 at 4:22 PM, David Barbour dmbarb...@gmail.com wrote:
Can you elucidate the distinctions between Nile and Gezira?
Nile is the programming language. Its syntax is a bit like Haskell.
The high-level
` is not very valuable, at least not
on this forum. On a mailing list `+1` is just noise, whereas
community-moderated fora (like Stack Exchange or Slash Dot) offer some
mechanism to express exactly this.
Regards,
Dave
On Tue, Nov 8, 2011 at 5:32 PM, David Barbour dmbarb...@gmail.com wrote:
`+1
On Tue, Nov 8, 2011 at 11:13 PM, Dan Amelang daniel.amel...@gmail.comwrote:
I have never seen input prefixing in a stream-processing/dataflow
language before. I could only find one passing reference in the
literature, so unless someone points me to previous art, I'll be
playing this up as an
On Wed, Nov 9, 2011 at 7:18 PM, David Barbour dmbarb...@gmail.com wrote:
That said, I have no doubts that anti-aliased rasterization can be
achieved in a functional style - I've read a few simple functional
ray-tracing engines, for example, and I understand that raycast per pixel
results
On Wed, Dec 14, 2011 at 11:02 PM, Casey Ransberger casey.obrie...@gmail.com
wrote:
But in general... my computer is only a tiny bit faster than the one I had
in the early nineties. In terms of day to day stuff, it's only gotten a
tinsy bit faster. Sometimes I sit there looking at an hourglass
from reusing maps made by other people
for other games, I can't make it even a small amount nearly as
interesting or inspiring.
On Jan 16, 2012, at 8:45 AM, David Barbour dmbarb...@gmail.com wrote:
Consider offloading some of your creativity burden onto your computer.
The idea
On Tue, Jan 17, 2012 at 2:57 PM, BGB cr88...@gmail.com wrote:
game art doesn't need to be particularly awe inspiring, so much as
basically works and is not total crap.
It can't be awe inspiring all the time, anyway. Humans would quickly become
jaded to that sort of stimulation.
The quality
to another environment. We measure our experiences in relative
terms, not absolute terms.
Regards,
Dave
On 18/01/2012, at 11:10 AM, David Barbour wrote:
It can't be awe inspiring all the time, anyway. Humans would quickly
become jaded to that sort of stimulation
necessarily always follow that awe
will be inspired, though ;-)
:P
Julian
On 18/01/2012, at 11:34 AM, David Barbour wrote:
You don't find it awe-inspiring all the time. (If you do, you're
certainly dysfunctional.) But I readily believe you still find it inspiring
some of the time
, but not in a
long-lasting impacting sense...
I do not believe awe-inspiring connotes long-lasting. Ever seen an
awe-inspiring thermite fire? judo throw? belch? live theatrical play?
Regards,
Dave
On 18/01/2012, at 3:06 PM, David Barbour wrote:
I understand `awe inspiring` to be subjective - hence
On Tue, Jan 17, 2012 at 10:02 PM, Julian Leviston jul...@leviston.netwrote:
Noted, but not relevant to my point.
Oh? You say that without any explanation? Perhaps you need some hand
holding to follow my logic.
1) You make an argument about contexts being `awe inspiring to humanity as
a
suggestions for how we might pursue the goal of
`collaborative creativity`?
Regards,
Dave
On Tue, Jan 17, 2012 at 11:47 PM, David Barbour dmbarb...@gmail.com wrote:
On Tue, Jan 17, 2012 at 10:02 PM, Julian Leviston jul...@leviston.netwrote:
Noted, but not relevant to my point.
Oh? You say
Thanks for this perspective.
With respect to building virtual worlds, I have long entertained the notion
of `augmented virtuality` - i.e. the converse of augmenting reality with
virtual elements is to augment a virtual world with real elements.
Consider, for example, taking all the news articles
I thought the recent article from Herb Sutter was quite good.
http://herbsutter.com/welcome-to-the-jungle/
On Sun, Feb 12, 2012 at 12:53 PM, John Zabroski johnzabro...@gmail.comwrote:
This is a very good article but it does not mention the ultimate
bottleneck above Amdahl's Law: the speed of
On Thu, Mar 1, 2012 at 4:25 AM, Martin Baldan martino...@gmail.com wrote:
Hi,
What got me wondering this was the fact that people, as far as I know,
don't use domain-specific languages in natural speech. What they do use is
jargon, but the syntax is always the same. What if one could program
On Thu, Mar 1, 2012 at 7:08 AM, Martin Baldan martino...@gmail.com wrote:
I think it was Julian, in message:
http://vpri.org/mailman/private/fonc/2012/003131.html
BTW, I'm having a hard time trying to find who said what in this mailing
list. Maybe I'm missing something, I feel a bit silly,
Bret Victor's work came to my attention due to a recent video, Inventing on
Principle
http://vimeo.com/36579366
If you haven't seen this video, watch it. It's especially appropriate for
the FoNC audience.
Anyhow, since then I've been perusing Bret Victor's other works at:
On Mon, Mar 12, 2012 at 8:13 PM, Julian Leviston jul...@leviston.netwrote:
On 13/03/2012, at 1:21 PM, BGB wrote:
although theoretically possible, I wouldn't really trust not having the
ability to use conventional text editors whenever need-be (or mandate use
of a particular editor).
for
On Tue, Mar 13, 2012 at 5:42 AM, Josh Grams j...@qualdan.com wrote:
On 2012-03-13 02:13PM, Julian Leviston wrote:
What is text? Do you store your text in ASCII, EBCDIC, SHIFT-JIS or
UTF-8? If it's UTF-8, how do you use an ASCII editor to edit the UTF-8
files?
Just saying' ;-) Hopefully
This has been an interesting conversation. I don't like how it's hidden
under the innocent looking subject `Error trying to compile COLA`
On Tue, Mar 13, 2012 at 8:08 AM, Martin Baldan martino...@gmail.com wrote:
this is possible, but it assumes, essentially, that one doesn't run into
On Mon, Mar 12, 2012 at 10:24 AM, Martin Baldan martino...@gmail.comwrote:
And that's how you get a huge software stack. Redundancy can be
avoided in centralized systems, but in distributed systems with
competing standards that's the normal state. It's not that programmers
are dumb, it's that
Better off looking at my blog.
http://awelonblue.wordpress.com
I'm still working on a concept of generative grammars for stable
pseudo-state. It's described in a few of my blog articles, including the
most recent ones.
On Mon, Mar 19, 2012 at 2:52 PM, John Nilsson j...@milsson.nu wrote:
Maybe
Various motivations include looser coupling, extensibility,
resilience. Also, pub/sub allows modeling frameworks as regular objects.
On Mon, Mar 19, 2012 at 3:35 PM, Casey Ransberger
casey.obrie...@gmail.comwrote:
Here's the real naive question...
I'm fuzzy about why objects should receive
wireless communication (bluetooth and wifi) to make it
practical and support peripherals (like joysticks or gloves).
This is in early development phases, and only a developer's set is
available at the moment (for the price of a gaming PC!).
(Sorry to sound like an advertisement!)
Regards,
David
On Thu, Mar 29, 2012 at 12:29 PM, Max Orhai max.or...@gmail.com wrote:
Probability is highly applicable to (bounded) nondeterminism, but I get
the impression that most CS theorists don't tend to learn much about it,
and I know for sure that it gets extremely short shrift in the applied CS
On Tue, Apr 3, 2012 at 8:02 AM, Miles Fidelman
mfidel...@meetinghouse.netwrote:
On Tue, Apr 3, 2012 at 7:23 AM, Tom Novellitnove...@gmail.com wrote:
Even if there does turn out to be a simple and general way to do parallel
programming, there'll always be tradeoffs weighing against it -
On Tue, Apr 3, 2012 at 8:25 AM, Eugen Leitl eu...@leitl.org wrote:
It's not just imperative programming. The superficial mode of human
cognition is sequential. This is the problem with all of mathematics
and computer science as well.
Perhaps human attention is basically sequential, as we're
On Tue, Apr 3, 2012 at 9:46 AM, Miles Fidelman
mfidel...@meetinghouse.netwrote:
And for that matter, driving a car, playing a sport, walking and chewing
gum at the same time :-)
Would this be a Flintstones racecar?
I can think of a lot of single-threaded interfaces that put people in a
On Tue, Apr 3, 2012 at 10:22 AM, David Barbour dmbarb...@gmail.com wrote:
I think the parallel programming models of the future will look more like
Dedalus, Bloom, synchronous reactive, or concurrent constraint programming.
Or my reactive demand programming. Dataflows, with lots of isolation
On Tue, Apr 3, 2012 at 10:47 AM, Miles Fidelman
mfidel...@meetinghouse.netwrote:
Hah. You've obviously never been involved in building a CGF simulator
(Computer Generated Forces) - absolute spaghetti code when you have to have
4 main loops, touch 2000 objects (say 2000 tanks) every simulation
On Tue, Apr 3, 2012 at 5:17 PM, Miles Fidelman mfidel...@meetinghouse.net
wrote:
But there are good architectures that won't become spaghetti code in
these circumstances. If you pipelined 2000 tank data objects through four
processes each instant, for example (i.e. so tanks 1-100 are in the
On Tue, Apr 3, 2012 at 7:55 PM, Miles Fidelman
mfidel...@meetinghouse.netwrote:
You seem to be starting from the assumption that process per object is a
good thing.
absolutely - I come from a networking background - you spawn a process for
everything - it's conceptually simpler all around
On Wed, Apr 4, 2012 at 2:44 PM, Miles Fidelman
mfidel...@meetinghouse.netwrote:
Outside of mainstream, there are a lot more options. Lightweight time
warp. Synchronous reactive. Temporal logic. Event calculus. Concurrent
constraint. Temporal concurrent constraint. Functional reactive
On Wed, Apr 4, 2012 at 9:37 PM, Miles Fidelman
mfidel...@meetinghouse.netwrote:
David, I'm sorry to say, but every time I see a description of reactive
demand programming, I'm left scratching my head trying to figure out what
it is you're talking about. Do you have a set of slides, or a
On Thu, Apr 5, 2012 at 10:50 AM, David Pennell pennell.da...@gmail.comwrote:
On Apr 5, 2012, at 2:50 AM, David Barbour dmbarb...@gmail.com wrote:
On Wed, Apr 4, 2012 at 9:37 PM, Miles Fidelman
mfidel...@meetinghouse.net wrote:
David, I'm sorry to say, but every time I see a description
Going back to this post (to avoid distraction), I note that
Aggregate Level Simulation Protocol
and its successor
High Level Architecture
Both provide time management to achieve consistency, i.e. so that the
times for all simulations appear the same to users and so that event
causality is
AM, Miles Fidelman
mfidel...@meetinghouse.netwrote:
David Barbour wrote:
Going back to this post (to avoid distraction), I note that
Aggregate Level Simulation Protocol
and its successor
High Level Architecture
Both provide time management to achieve consistency, i.e. so that the
times
,
David Barbour
[1] http://awelonblue.wordpress.com/2011/05/28/anticipation-in-rdp/
[2] http://awelonblue.wordpress.com/2012/03/14/stability-without-state/
On Tue, Apr 24, 2012 at 9:48 AM, Toby Schachman t...@alum.mit.edu wrote:
Benjamin Pierce et al did some work on bidirectional computation
On Mon, May 7, 2012 at 11:13 PM, Julian Leviston jul...@leviston.netwrote:
What's your point?
I like my PLs to be point free, as much as possible. ;)
Regards,
Dave
--
bringing s-words to a pen fight
___
fonc mailing list
fonc@vpri.org
On Mon, May 7, 2012 at 11:07 PM, Clinton Daniel clinton...@yahoo.com.auwrote:
The other side of that coin is burdening users with a bunch of new
terms to learn that don't link to existing human concepts and words.
Click to save the document is easier for a new user to grok than
Flarg to flep
Some of you would probably be interested in joining a new group created
recently (in response to Jonathon Edward's recent
appealhttp://alarmingdevelopment.org/?p=680for richer IDEs and some
of the ensuing discussions). It is a google group
called Augmented Programming. (Let's discuss what can
On Fri, Jun 15, 2012 at 1:38 PM, Paul Homer paul_ho...@yahoo.ca wrote:
there is some underlying complexity tied to the functionality that
dictates that it could never be any less the X lines of code. The system
encapsulates a significant amount of information, and stealing from Shannon
I discuss a similar vision in:
http://awelonblue.wordpress.com/2012/09/12/stone-soup-programming/
My preferred glue is soft stable constraint logics and my reactive
paradigm, RDP. I discuss a particular application of this technique with
regards to game art development:
Your idea of first specifying the model... then adding translations can
be made simpler and more uniform, btw, if you treat acquiring initial data
(the model) as a translation between, say, a URL or query and the result.
If you're interested in modeling computation as continuous synchronization
1 - 100 of 219 matches
Mail list logo
