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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 89E447EEBF for ; Tue, 4 Aug 2015 14:26:22 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of vrotaru.md@gmail.com) identity=pra; client-ip=209.85.215.47; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vrotaru.md@gmail.com"; x-sender="vrotaru.md@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of vrotaru.md@gmail.com designates 209.85.215.47 as permitted sender) identity=mailfrom; client-ip=209.85.215.47; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vrotaru.md@gmail.com"; x-sender="vrotaru.md@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-la0-f47.google.com) identity=helo; client-ip=209.85.215.47; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vrotaru.md@gmail.com"; x-sender="postmaster@mail-la0-f47.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DVAgANrsBVmy/XVdFbgzk1aYMjqUeEXTCKRII3hXkCgTBMAQEBAQEBEgEBAQEBBgsLCSEuhCQBAQMBEhEEGQEbEgsBAwELBgUEBxodAgIiAREBBQEKEgYBEhIQh3YBAwoIDaY1gS4+MYs/gWyCeYtKChknAwpXhGABAQEBAQEEAQEBAQEBAQEBEwEFDotBhQQEB4JpgUMFhWYMjwkBhHyHU4INlXw1gRcRBoQMPjGCTAEBAQ X-IPAS-Result: A0DVAgANrsBVmy/XVdFbgzk1aYMjqUeEXTCKRII3hXkCgTBMAQEBAQEBEgEBAQEBBgsLCSEuhCQBAQMBEhEEGQEbEgsBAwELBgUEBxodAgIiAREBBQEKEgYBEhIQh3YBAwoIDaY1gS4+MYs/gWyCeYtKChknAwpXhGABAQEBAQEEAQEBAQEBAQEBEwEFDotBhQQEB4JpgUMFhWYMjwkBhHyHU4INlXw1gRcRBoQMPjGCTAEBAQ X-IronPort-AV: E=Sophos;i="5.15,608,1432591200"; d="scan'208";a="141993677" Received: from mail-la0-f47.google.com ([209.85.215.47]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Aug 2015 14:26:21 +0200 Received: by labow3 with SMTP id ow3so6019256lab.1 for ; Tue, 04 Aug 2015 05:26:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:content-type; bh=eBHcQXz7fNnUrlM57Q+o9coerWS7loE5kEizzHfGD4g=; b=gFN58e2lpOKBfpp8gTDQy69JLEEphZKS0IHOHvlsWpi5Md/XvtkMJxTI17V6vDjB8l 1CwrjLPAekdWtoX9GXaxZL4kxjY6AGDe/8eT8NCWXOCix2JWNYn+Zd9ELgk6WG1zZZCZ R4Mybei9qXAm+zGs18TZPYGnpszWwlQhQ0RJU4f7MNO/OaFeF6qnHIXnlfeIMjKhEShD XgQ7/grzJxgd93bMM+nVYPKf+afPSeGMfmWQdfVpCxzjOv8/ebsG2fzyosM6Omv3wATk u3LeObOJmbxqZRJvzzHDzHnbtmaosFgCvRFxjk2PhF5/U2iRRAtLg+okmcv0BVu6x3UY 6zyA== X-Received: by 10.152.28.105 with SMTP id a9mr3150798lah.9.1438691181063; Tue, 04 Aug 2015 05:26:21 -0700 (PDT) MIME-Version: 1.0 References: <55BF6F1C.3050705@bioquant.uni-heidelberg.de> <55BF75F6.1040006@bioquant.uni-heidelberg.de> <8E1A640CE3374EB492981ADB0A2DA5C6@erratique.ch> <20150804092633.GC5689@frosties> <5C2023F4AF0549F58F3E4C9A6F8ABE84@erratique.ch> In-Reply-To: <5C2023F4AF0549F58F3E4C9A6F8ABE84@erratique.ch> From: "vrotaru.md@gmail.com" Date: Tue, 04 Aug 2015 12:26:11 +0000 Message-ID: To: =?UTF-8?Q?Daniel_B=C3=BCnzli?= , Goswin von Brederlow Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=089e0160a240c9f39a051c7b643c Subject: Re: [Caml-list] destructive local opens --089e0160a240c9f39a051c7b643c Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable After reading this thread, I'm starting to thinking about another option, namely: "local un-open", because I certainly dislike ambiguity. So, maybe, something like: Vec.( ^(3 * v) * vx + vy) where anything in ^(... ) is not subject local open. Regards =C3=8En Mar, 4 aug. 2015 la 12:40, Daniel B=C3=BCnzli a scris: > Le mardi, 4 ao=C3=BBt 2015 =C3=A0 10:26, Goswin von Brederlow a =C3=A9cri= t : > > > let ox =3D V2.((dot v ox) * ox) in > > > V2.(3 * ox + oy) > > > > What is wrong with that code? > > > > I'm assuming V2 has: > > > > val (+): t -> t -> t > > val (*): int -> t -> t > > val dot: t -> t -> int > > It also has > > val ox : t > > Daniel > > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs --089e0160a240c9f39a051c7b643c Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
After reading this thread, I'm starting to thinking ab= out another option, namely: "local un-open", because I certainly = dislike ambiguity.

So, maybe, something like:
=
Vec.( ^(3 *=C2=A0v) * vx + vy)

where = anything in ^(... ) is not subject local open.

Reg= ards


=C3=8En Mar, 4 aug. 2015 la 12:40, Daniel B=C3=BCnzli <daniel.buenzli@erratique.ch>= a scris:
Le mardi, 4 ao=C3=BBt 201= 5 =C3=A0 10:26, Goswin von Brederlow a =C3=A9crit :
> > let ox =3D V2.((dot v ox) * ox) in
> > V2.(3 * ox + oy)
>
> What is wrong with that code?
>
> I'm assuming V2 has:
>
> val (+): t -> t -> t
> val (*): int -> t -> t
> val dot: t -> t -> int

It also has

val ox : t

Daniel



--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocam= l_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
--089e0160a240c9f39a051c7b643c--