From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 6C25A7F615; Sat, 10 Dec 2016 14:34:26 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=sp@orbitalfox.com; spf=None smtp.mailfrom=sp@orbitalfox.com; spf=None smtp.helo=postmaster@orbitalfox.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.com) identity=pra; client-ip=95.172.232.202; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.com) identity=mailfrom; client-ip=95.172.232.202; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@orbitalfox.com) identity=helo; client-ip=95.172.232.202; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="postmaster@orbitalfox.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A8FybcxK45XNpDQfu+tmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgUKvzxwZ3uMQTl6Ol3ixeRBMOAuqkC1rqd6vCoGTRZp83e4DZaKN0EfiRGoP?= =?us-ascii?q?tVtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blIt?= =?us-ascii?q?dazdU7TfhMWv1u2054abI0AR3GL8MvtOK0CHpB/WsIEzgI15Kbd5ngrMo31TeP?= =?us-ascii?q?V+x2puKEmPhRvx+oG7+5s1oApKvPd0zPYIBb7iV6MiR71EBTAoNHBz78ru40qQ?= =?us-ascii?q?BTCT72cRBz1F2iFDBBLIuVSjBs/8?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DaBAAmA0xYfcrorF9dHgYMGQYMgwwBA?= =?us-ascii?q?QEBAYF/pF2MMYpbhiECDIFaQxABAQEBAQEBAQEBARIBARYvMIIzBAEVAQSCFwE?= =?us-ascii?q?FJxECBgEBNwEPCw4KCSUPLRsGiQKrWYJUPYMMAQEFiAgBAQgCHggghA+GaoUrh?= =?us-ascii?q?H6aXBSRGYIAiEiGC44LhA82gT8kgzCCCD40hzOBTwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DaBAAmA0xYfcrorF9dHgYMGQYMgwwBAQEBAYF/pF2MMYp?= =?us-ascii?q?bhiECDIFaQxABAQEBAQEBAQEBARIBARYvMIIzBAEVAQSCFwEFJxECBgEBNwEPC?= =?us-ascii?q?w4KCSUPLRsGiQKrWYJUPYMMAQEFiAgBAQgCHggghA+GaoUrhH6aXBSRGYIAiEi?= =?us-ascii?q?GC44LhA82gT8kgzCCCD40hzOBTwEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,327,1477954800"; d="scan'208";a="249159448" Received: from orbitalfox.com ([95.172.232.202]) by mail2-smtp-roc.national.inria.fr with ESMTP; 10 Dec 2016 14:34:25 +0100 Received: from tiger (tiger [192.168.88.5]) by orbitalfox.com (Postfix) with ESMTPSA id D9A74AA0067; Sat, 10 Dec 2016 13:34:24 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=orbitalfox.com; s=orbitalfox; t=1481376865; bh=QVQtV+41hG65TAaD0QUJaFL8+vQ+aIw2kKahWMD3jJU=; h=Date:From:To:Cc:Subject:References:In-Reply-To; b=R+XfY+L96ExugOsIEGMTx8kZn4WlxX3Y2heftbVVx8VD5O3m1KWsk9KJmG0FrIAXh 66+rx74LtgyDkAhXbi7/LMwrBeXrS2Zk39y3eykPV/QVnY1Ki/a4QWKBvh7M8Kzmel fuC8H2F+9BgqoSPJ4D1TTVdohHdt3qQ9XN0rFLJA= Date: Sat, 10 Dec 2016 13:34:27 +0000 From: SP To: Yaron Minsky Cc: Alain Frisch , Vincent Balat , ocsigen@inria.fr, OCaml Mailing List Message-ID: <20161210133427.fkwnxshem2hxbgbr@tiger> References: <96757896-e79c-f940-fc3a-090fc1419df2@lexifi.com> <4b5b6340-0cdd-abc1-b6dc-b97e3d6b9cdf@lexifi.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Disposition: inline In-Reply-To: User-Agent: NeoMutt/20161003 (1.7.0) Subject: Re: [Caml-list] Announce: ocaml-vdom (pre-release) On Fri, Dec 02, 2016 at 05:31:00PM -0500, Yaron Minsky wrote: >I think FRP and SAC are pretty different in their roles here. Really, >SAC is just a system for optimizing a unidirectional computation --- > [..] >val view : Model.t Incr.t -> Vdom.t Incr.t > >which is really just an incremental version of an ordinary function. >You don't have to think about anything signal-like when you consider > [..] >My somehat biased view is that SAC addresses performance, [..] whereas >FRP doesn't address a problem which is similarly central. And the >ability to express >time-dependent computations (which FRP provides) adds lots of other >problems (in particular, monadic FRP is plagued by space leaks.) >[..] >Incremental adds some conceptual weight (less, I claim, than >traditional FRP libraries), but it also solves a real problem. Would be nice to read an article on these findings & comparison of the two concepts and their techniques. -- SP