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 F300A81799 for ; Mon, 22 Jul 2013 16:59:24 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of krismicinski@gmail.com) identity=pra; client-ip=209.85.214.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="krismicinski@gmail.com"; x-sender="krismicinski@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of krismicinski@gmail.com designates 209.85.214.169 as permitted sender) identity=mailfrom; client-ip=209.85.214.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="krismicinski@gmail.com"; x-sender="krismicinski@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f169.google.com) identity=helo; client-ip=209.85.214.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="krismicinski@gmail.com"; x-sender="postmaster@mail-ob0-f169.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AowBABRI7VHRVdapjWdsb2JhbABagztQrg+SIoELCBYOAQEBAQcLCwkSBiSCJAEBBUABGxILAQMMBgULDQ0hIgERAQUBChIZEodrAQMPDJo9jE+Cf4QiChknAwpkh3QBBQyNHoJsBxaDaAOVeIFlgSmKfoNBFimEVCA X-IPAS-Result: AowBABRI7VHRVdapjWdsb2JhbABagztQrg+SIoELCBYOAQEBAQcLCwkSBiSCJAEBBUABGxILAQMMBgULDQ0hIgERAQUBChIZEodrAQMPDJo9jE+Cf4QiChknAwpkh3QBBQyNHoJsBxaDaAOVeIFlgSmKfoNBFimEVCA X-IronPort-AV: E=Sophos;i="4.89,719,1367964000"; d="scan'208";a="26898057" Received: from mail-ob0-f169.google.com ([209.85.214.169]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Jul 2013 16:59:24 +0200 Received: by mail-ob0-f169.google.com with SMTP id up14so8327210obb.0 for ; Mon, 22 Jul 2013 07:59:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=wjVoDrecJcE6SWuBkG7TncWNYIj95cpkPLj1OaxaeVo=; b=wVEa0s0/pegCgku2xlGoGZw1RoFyU6zshpEnuiOD0+syQEeMvzzXUwfu6fvpxoXXB2 H245uJ3xkB8QOHwssyNslKeB76u/IHUkmWu6EkYj7me7zCNlT9YLNkv9OEXPGibg6Vka HiaqHJs1YaO5miQ9Gid9WKxcuAOUEb3oWOxT036J27JqE0fU4DPXJKYEdUlIntLu3E+Q o1tHGvAyxOezW7tT4aMYw++2fNARWYPYFRI9+mj5rihzqF11i8gYO40HlcIm1DEexkFB Qkd9Khy+F4wLOfb7KtDi9C14PaBTGiooFKJvnPULRaF8QRRUiWlD7BYtyno+T02ncGdg iL9A== MIME-Version: 1.0 X-Received: by 10.182.213.162 with SMTP id nt2mr20820800obc.44.1374505163102; Mon, 22 Jul 2013 07:59:23 -0700 (PDT) Received: by 10.182.153.197 with HTTP; Mon, 22 Jul 2013 07:59:23 -0700 (PDT) In-Reply-To: References: Date: Mon, 22 Jul 2013 10:59:23 -0400 Message-ID: From: Kristopher Micinski To: habet_ms@yahoo.fr Cc: "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] functional or imperative feature ? As others have mentioned, you can desugar sequenced statements to lambdas, but that doesn't make it functional (in the pure sense) per se. The purest way to view it is that after desugaring, sequenced statements turn into lambdas, which turn into (morally) binds from the IO monad. The observation is that when writing in ML, you are implicitly writing in the IO monad. Kris On Sun, Jul 21, 2013 at 4:50 PM, wrote: > Hi, > are sequencing (;) and block structure (begin ... end) functional features > or imperative ones ? > > Thanks, > > M.S > > -- > 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