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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 9A7A57ED45 for ; Sat, 23 Jun 2012 16:32:24 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AocBAEvS5U/RVaC2kGdsb2JhbABErQMBiF0IIgEBAQEJCQ0HFAQjgg8iAiwBGx4DEggBAgVdAREBBQEiNYdaAQMLmCCCYQkDjCOCcYROChknDVeIcQEFDJEmA5UsgRKJc4MfPoQa X-IronPort-AV: E=Sophos;i="4.77,462,1336341600"; d="scan'208";a="164146526" Received: from mail-gh0-f182.google.com ([209.85.160.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-MD5; 23 Jun 2012 16:32:24 +0200 Received: by ghbz22 with SMTP id z22so3228237ghb.27 for ; Sat, 23 Jun 2012 07:32:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=tuMI5TDZqLKRCCefe132nzWL42/5zzOKmJujT0G6YPM=; b=BOyClRpbL+nWvUlaGDm1bkKVGOLb0ij8QEiJZGAZnEXqYki1MevPX5jYJtlZoqknXc bm54ZYKkLJGIJrmYv4VQt34IOL3SD3omoyVTE4bRPhVt54alhd4nFW/AQWYN56fyKIwf xuKS5odlzfX3bqo1CWpRWk88lLzTo7iirfzQ4Cq3ZoPNjw4KmB5ReXBulsHW6Jes5khp N/nFkzK86asXOpn67NRAv1OPYqsIR1l0TiMaBQMU4Ek0cLh43Tjy2uoBToIZDCmLaPaQ WdNF0hS1a4B7DyBXpKX6ctJmUabuGuzSeQxt1msFgou31W5BBZvD8LjRHR8ZSwmOmtNY R+Rg== MIME-Version: 1.0 Received: by 10.50.168.1 with SMTP id zs1mr4325145igb.45.1340461942514; Sat, 23 Jun 2012 07:32:22 -0700 (PDT) Received: by 10.64.39.78 with HTTP; Sat, 23 Jun 2012 07:32:22 -0700 (PDT) Date: Sat, 23 Jun 2012 10:32:22 -0400 Message-ID: From: bob zhang To: Caml List Content-Type: multipart/alternative; boundary=e89a8f83a613eb255604c3249d9c Subject: [Caml-list] Sharing the code between Monad and MonadState? --e89a8f83a613eb255604c3249d9c Content-Type: text/plain; charset=ISO-8859-1 Hi List, Given the syntax of first class module is improved a lot. I try to encode Monad and MonadState, http://ideone.com/HgG4M Unfortunately I found it's still impossible to share the code between differrent Monad Instances. Is it theoretically impossible or I missed something? Many thanks -- -- Bob --e89a8f83a613eb255604c3249d9c Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hi List,
=A0 =A0Given the syntax of first class module is improved a lo= t. I try to encode Monad and MonadState, =A0http://ideone.com/HgG4M
Unfortunately I found it's s= till impossible to share the code between differrent Monad Instances. Is it= theoretically impossible or I missed something?
=A0 =A0Many thanks

--
-- Bob
--e89a8f83a613eb255604c3249d9c--