From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.3 required=5.0 tests=AWL,HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id B8E6CBBC1 for ; Fri, 14 Mar 2008 06:00:50 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjoBAPWj2UfRVca4kmdsb2JhbACCPTWOCgEBAQEHBAQJChaRL4Z5 X-IronPort-AV: E=Sophos;i="4.25,498,1199660400"; d="scan'208";a="23753136" Received: from rv-out-0910.google.com ([209.85.198.184]) by mail4-smtp-sop.national.inria.fr with ESMTP; 14 Mar 2008 06:00:46 +0100 Received: by rv-out-0910.google.com with SMTP id k20so2044221rvb.3 for ; Thu, 13 Mar 2008 22:00:45 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:sender:to:subject:mime-version:content-type:x-google-sender-auth; bh=8pPTLKIubLxaN02RVJEGZBOiz9eO2NUeshuUK6aYtjg=; b=bdS3vzg6E2CL/7B2Wemp0Blxho28qkaxIFo5OMtz9VY1yThiqTn5KH9/hfG7eHswOr7sE9EdFFq6ozSK58sbPGLmomKjVTRvDrJnz5xNxHtkYcP1ireteDE5kd2hycpAeYddDjZ5dSv5VuYAOpBA0jYolfngiaFra24C8N0u5QY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:sender:to:subject:mime-version:content-type:x-google-sender-auth; b=pel0XPg0CCiBQEsQB6ixXeJeY/zzf1254s8+TV8tiPQaHn5WLIKUSaC+2QfdDwD0pqTgQ9ieb128RlMi6wu0ExM54oHHNrXETCu+M9O4TxFRfCPXyaiQQZokGfJGdokazZcC2qH+gpEIJGrdIWKSRpdSIOM12pduHTcYjIKRm0M= Received: by 10.141.15.19 with SMTP id s19mr6220904rvi.269.1205470844696; Thu, 13 Mar 2008 22:00:44 -0700 (PDT) Received: by 10.141.161.8 with HTTP; Thu, 13 Mar 2008 22:00:45 -0700 (PDT) Message-ID: <5de3f5ca0803132200r41e00a0co10807b7b53fc69e3@mail.gmail.com> Date: Thu, 13 Mar 2008 22:00:45 -0700 From: "Greg Meredith" Sender: lgreg.meredith@gmail.com To: caml-list@yquem.inria.fr Subject: Naming as infection MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_11154_30649094.1205470845276" X-Google-Sender-Auth: 71bebd605466616f X-Spam: no; 0.00; ocaml:01 haskell:01 ocaml:01 haskell:01 806:98 806:98 naming:01 naming:01 data:02 data:02 structures:02 structures:02 comments:10 comments:10 deliberately:87 ------=_Part_11154_30649094.1205470845276 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline All, Here is a deliberately provocative posting (with running code -- that works in OCaml as well as Haskell -- and a shameless plug for BNFC) on the process of introducing naming and name management into the design of data structures. Comments greatly appreciated. Best wishes, --greg -- L.G. Meredith Managing Partner Biosimilarity LLC 806 55th St NE Seattle, WA 98105 +1 206.650.3740 http://biosimilarity.blogspot.com ------=_Part_11154_30649094.1205470845276 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline All,

Here is a deliberately provocative posting (with running code -- that works in OCaml as well as Haskell -- and a shameless plug for BNFC) on the process of introducing naming and name management into the design of data structures. Comments greatly appreciated.

Best wishes,

--greg

--
L.G. Meredith
Managing Partner
Biosimilarity LLC
806 55th St NE
Seattle, WA 98105

+1 206.650.3740

http://biosimilarity.blogspot.com ------=_Part_11154_30649094.1205470845276--