Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Fri, 24 Dec 1993 10:12:54 +0000
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA04849;
          Fri, 24 Dec 1993 03:01:08 -0700
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: bulk
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA04845;
          Fri, 24 Dec 1993 03:01:06 -0700
Received: from relay1.pipex.net by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.8/16.2) id AA23235;
          Fri, 24 Dec 1993 01:59:05 -0800
Received: from Q.icl.co.uk by relay1.pipex.net with SMTP (PP) 
          id <02881-0@relay1.pipex.net>; Fri, 24 Dec 1993 09:58:42 +0000
Received: from ming.oasis.icl.co.uk by Q.icl.co.uk (4.1/icl-2.9-server) 
          id AA05612; Fri, 24 Dec 93 10:04:06 GMT
Received: on ming.oasis.icl.co.uk over UUCP id AA14172;
          Fri, 24 Dec 93 09:57:44 GMT
From: Rob Arthan <rda@win.icl.co.uk>
Date: Fri, 24 Dec 93 09:54:47 GMT
Message-Id: <9312240954.4872.0@norman.win.icl.co.uk>
To: info-hol@cs.uidaho.edu
Subject: underscore

Konrad Slind wonders whether underscores are passe', whereas John
Harrison finds them rather recherche'. ML lets you use a prime character
as a letter (more or less). So as an alternative to the uncouth
underscore or the ungainly lower-upper case, you can use primes to
glue the bits of a name together:

> val But'I'suppose'this'idea'is'a'little'too'accentue' = 7*11*13;

val But'I'suppose'this'idea'is'a'little'too'accentue' = 1001 : int
 
(Acknowledgements to AHL's Poly/ML for the prompt and the arithmetic)

Merry Christmas
Rob Arthan.
