Article View: fa.caml
Article #112Re: [Caml-list] [ANN] PEC ver. 1.1
From: Daniel Bünzli
Date: Thu, 19 Apr 2012 14:10
Date: Thu, 19 Apr 2012 14:10
46 lines
4988 bytes
4988 bytes
Le jeudi, 19 avril 2012 à 15:02, Satoshi Ogasawara a écrit : > Your event semantics has two invariant. > > 1. for all e, t : occurrence of [e] at time [t] is one or zero. > 2. if primitive [e] is occurred in time [t], update cycle runs in time [t]. Yes. You can read about the denotational semantics of React here: http://erratique.ch/software/react/doc/React#sem Besides all the combinators of React have a complete description of their denotational semantics. Note that in general for users of FRP I think it really doesn't help to think about update cycles, it seems to bring in more confusion. Users should care and think in terms of the semantics of events and signals. Update cycles are an implementation detail and should be understood only by programmers who need to interface the FRP system to a problem domain. > Do you have any experience to proof a theorem against event combination term > by using above axiom and event combinators semantics? I'm interested in this > kind of reasoning. In this post I use the semantics and equational reasoning to understand why something doesn't happen. https://sympa-roc.inria.fr/wws/arc/caml-list/2009-12/msg00054.html (you may have to read the whole thread to fully understand the example). > It's correct. But the performance can be optimized in future I think. > > When subscribing a event, we can collect and store information about tree structure. > Present implementation discards these information. I didn't think hard about this but I suspect you'll hit problems with dynamic changes to the dependency graph (e.g. switching). And besides one should be careful not to make the creation of signals and events too expensive. I'm doubtful but I'm interested in hearing if you get any results in that direction. Best, Daniel -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Technical Details
Message-ID:
<fa.Q5AcOD+O8JN3cve6YGd92xgVQy4@ifi.uio.no>Path:
arc1-ca.pugleaf.net!r9ni74451pbh.0!nntp.google.com!news1.google.com!goblin2!goblin1!goblin.stu.neva.ru!uio.no!nntp.uio.no!.POSTED!not-for-mailReferences:
<fa.eC97+rvXE0DePndGOv7yil7xbi4@ifi.uio.no> <fa.DWabK3GfNAKQqoq/86Op5IE4fTo@ifi.uio.no> <fa.5HptiBmGebyjf7J8D7fIfuwuAk8@ifi.uio.no> <fa.USrvWWMOvEmRKzzRKZKJFsu4grE@ifi.uio.no> <fa.CPAs6FfCCaiMCvgZH0lMfVI7TDk@ifi.uio.no>Show Full Headers
Complete Article Headers
X-Google-Thread: ff861,710aa013f40c0473
X-Google-NewGroupId: yes
X-Google-Attributes: gidc0fe4b917e,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Received: by 10.68.202.37 with SMTP id kf5mr2124000pbc.7.1334844606945;
Thu, 19 Apr 2012 07:10:06 -0700 (PDT)
Path: arc1-ca.pugleaf.net!r9ni74451pbh.0!nntp.google.com!news1.google.com!goblin2!goblin1!goblin.stu.neva.ru!uio.no!nntp.uio.no!.POSTED!not-for-mail
From: Daniel Bünzli <daniel.buenzli@erratique.ch>
Newsgroups: fa.caml
Subject: Re: [Caml-list] [ANN] PEC ver. 1.1
Date: Thu, 19 Apr 2012 14:10:06 UTC
Organization: Internet mailing list
Lines: 47
Message-ID: <fa.Q5AcOD+O8JN3cve6YGd92xgVQy4@ifi.uio.no>
References: <fa.eC97+rvXE0DePndGOv7yil7xbi4@ifi.uio.no> <fa.DWabK3GfNAKQqoq/86Op5IE4fTo@ifi.uio.no> <fa.5HptiBmGebyjf7J8D7fIfuwuAk8@ifi.uio.no> <fa.USrvWWMOvEmRKzzRKZKJFsu4grE@ifi.uio.no> <fa.CPAs6FfCCaiMCvgZH0lMfVI7TDk@ifi.uio.no>
NNTP-Posting-Host: mail-jess.uio.no
Mime-Version: 1.0
X-Trace: readme.uio.no 1334844606 13763 129.240.7.9 (19 Apr 2012 14:10:06 GMT)
X-Complaints-To: abuse@uio.no
NNTP-Posting-Date: Thu, 19 Apr 2012 14:10:06 +0000 (UTC)
Cc: caml-list@inria.fr
To: Satoshi Ogasawara <ogasawara@itpl.co.jp>
X-IronPort-AV: E=Sophos;i="4.75,446,1330902000";
d="scan'208";a="154744542"
X-Authentication-Warning: walapai.inria.fr: sympa set sender to caml-list-owner@inria.fr using -f
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AtEDAC8bkE9KN1ZKnGdsb2JhbABDhWWrfwEBAQEBCAsJHSeCCQEBBAEjVgULCxoCGA4CAj0KEAYbiAIFBAenQ5MtgS+NdjVjBJcBhE+NQw
X-IronPort-AV: E=Sophos;i="4.75,446,1330902000";
d="scan'208";a="154744449"
In-Reply-To: <4F900CCD.5050102@itpl.co.jp>
X-Mailer: sparrow 1.5 (build 1043.1)
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q3JE9Lqk020583
X-Sequence: 3938
List-Id: <caml-list.inria.fr>
List-Archive: <https://sympa-roc.inria.fr/wws/arc/caml-list>
List-Help: <mailto:sympa@inria.fr?subject=help>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Post: <mailto:caml-list@inria.fr>
List-Subscribe: <mailto:sympa@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa@inria.fr?subject=unsubscribe%20caml-list>
Original-Date: Thu, 19 Apr 2012 16:09:06 +0200
Original-Message-Id: <2B7FE930300F440ABE0F439A3418222C@erratique.ch>
Original-References: <4F8D9D0E.1040007@itpl.co.jp>
<F7294E8F02FB474AA2373765B8BCAB57@erratique.ch>
<4F8E1FF4.5070702@itpl.co.jp>
<B2FE8DD50C9B4611809BC1F6B9CDD2E4@erratique.ch>
<4F8EA91C.3060001@itpl.co.jp>
<2B372C89CE4F408688B67B090FA5105C@erratique.ch>
<4F8EFC34.7080906@itpl.co.jp>
<B6E07E1F07A048D1BE101C5F5D01C781@erratique.ch>
<4F8FD3EB.5050307@itpl.co.jp>
<A9328FABD92A4920AB6703673BC7ACD6@erratique.ch>
<4F900CCD.5050102@itpl.co.jp>
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 8bit
Content-Disposition: inline