IWETHEY v. 0.3.0 | TODO
1,095 registered users | 1 active user | 0 LpH | Statistics
Login | Create New User
IWETHEY Banner

Welcome to IWETHEY!

IWETHEY Home / IWETHEY Board / Theory and Practice of Programming Forum / Re: Not just macros!
Post #44,588
by wharris2
7/6/02 2:00:04 AM
Reply
New Re: Not just macros!
To me, that's not clear at all. Where did A and B come from? Vapor? Assumed arguments to functions? Some sort of object-oriented stuff that I haven't wrapped my mind around yet?
Post #44,593
by neelk
7/6/02 5:44:28 AM
Reply
New Re: Not just macros!
That's a function definition -- a and b are the arguments. Caml has a funny syntax. Here's an annotated version, with comments (* like this *). 

 
module StringCmp =
  struct
    type t = string (* This is like a C typedef *)

    (* This is a function definition. 'let compare a b = <foo>'
       declares a function that takes two arguments a and b. The <foo>
       expression after the = is the function body. Function calls don't
       use the 'f(x, y)' syntax.  Instead, Caml uses simple
       juxtaposition: 'f x y' instead. *)

    let compare a b =
      compare (String.lowercase a) (String.lowercase b)

    (* This call to compare calls the generic comparison function, and
       rebinds it locally in this module. (String.lowercase s) will return
       a lowercase version. So what we are doing is lowercasing both args
       and then calling the generic compare, to get a case-insensitive 
       comparison. 
    *)
  end
     TPC slides are coming online - (ben_tilly) - (43) - July 4, 2002, 01:19:26 PM EDT
         Problems with patterns - (JayMehaffey) - (42) - July 4, 2002, 08:30:10 PM EDT
             Re: Problems with patterns - (Dominus) - (7) - July 4, 2002, 10:07:32 PM EDT
                 Fixing existing languages... - (admin) - July 4, 2002, 10:59:35 PM EDT
                 Re: Problems with patterns - (JayMehaffey) - July 4, 2002, 11:40:30 PM EDT
                 Context shouldn't be C++ - (tuberculosis) - July 5, 2002, 05:08:37 AM EDT
                 Re: Problems with patterns - (neelk) - (1) - July 5, 2002, 05:43:42 AM EDT
                     That is what Perl 6 is about :-) - (ben_tilly) - July 5, 2002, 07:01:27 AM EDT
                 Please don't remove the slides - (ben_tilly) - July 5, 2002, 06:53:50 AM EDT
                 Patterns and languages. - (Arkadiy) - July 10, 2002, 04:50:46 PM EDT
             The iterators complaint is truncated, not misguided - (ben_tilly) - (33) - July 5, 2002, 06:48:42 AM EDT
                 Reusable components? - (wharris2) - (32) - July 5, 2002, 08:30:10 AM EDT
                     Re: Reusable components? - (neelk) - (4) - July 5, 2002, 07:22:13 PM EDT
                         Macros - (wharris2) - (3) - July 5, 2002, 08:16:15 PM EDT
                             Not just macros! - (neelk) - (2) - July 5, 2002, 08:58:57 PM EDT
                                 Re: Not just macros! - (wharris2) - (1) - July 6, 2002, 02:00:04 AM EDT
                                     Re: Not just macros! - (neelk) - July 6, 2002, 05:44:28 AM EDT
                     What "prevailing style of thought" are you talking about? - (ben_tilly) - (26) - July 5, 2002, 09:27:51 PM EDT
                         Speaking for myself... - (tseliot) - (25) - July 8, 2002, 01:36:46 PM EDT
                             Re: Speaking for myself... - (neelk) - (24) - July 8, 2002, 03:05:03 PM EDT
                                 Paul Graham on OO - (tablizer) - (23) - July 11, 2002, 01:33:43 AM EDT
                                     Note his first criticism - (ben_tilly) - (8) - July 11, 2002, 04:19:50 AM EDT
                                         Elitist claim? - (tablizer) - (7) - July 11, 2002, 08:24:56 PM EDT
                                             Don't guess, measure! - (neelk) - (4) - July 11, 2002, 09:10:14 PM EDT
                                                 Simplify - (tablizer) - (3) - July 12, 2002, 04:14:05 PM EDT
                                                     Re: Simplify - (neelk) - (2) - July 12, 2002, 08:19:18 PM EDT
                                                         Depends on the language - (ben_tilly) - (1) - July 13, 2002, 12:43:23 AM EDT
                                                             This is why I prefer PHP to C... :-) -NT - (static) - July 15, 2002, 12:01:18 AM EDT
                                             You can judge that for yourself - (ben_tilly) - July 11, 2002, 10:06:20 PM EDT
                                             You can judge that for yourself - (ben_tilly) - July 11, 2002, 10:06:32 PM EDT
                                     HAS-A is orthogonal to OO - (admin) - (13) - July 11, 2002, 10:13:53 AM EDT
                                         Guess you gotta... - (folkert) - (1) - July 11, 2002, 12:12:02 PM EDT
                                             Muah. -NT - (admin) - July 11, 2002, 12:42:47 PM EDT
                                         It is more common in OO - (tablizer) - (10) - July 11, 2002, 08:27:15 PM EDT
                                             Don't go there. You will regret it. -NT - (static) - (1) - July 11, 2002, 11:27:31 PM EDT
                                                 What is wrong with a little romp with a cute harmless troll? -NT - (tablizer) - July 17, 2002, 01:32:20 AM EDT
                                             Been down this road before... - (admin) - (7) - July 12, 2002, 10:05:18 AM EDT
                                                 Defining definition - (tablizer) - (6) - July 12, 2002, 04:27:29 PM EDT
                                                     Mister... - (folkert) - (5) - July 12, 2002, 04:43:17 PM EDT
                                                         Frameworks and votes - (tablizer) - (4) - July 13, 2002, 01:12:39 AM EDT
                                                             Now... - (folkert) - (3) - July 14, 2002, 03:05:57 AM EDT
                                                                 Erect Ape - (tablizer) - (2) - July 15, 2002, 12:54:12 PM EDT
                                                                     Hey.. I feel the *same* way about the tyranny of - (Ashton) - (1) - July 15, 2002, 09:10:12 PM EDT
                                                                         What we need are more DISorganized religions? Hmmm -NT - (tablizer) - July 17, 2002, 01:16:12 AM EDT

Know what's better than being born on third base? Being born in the owner's box.
69 ms