adm's articles:

Items(13) /2 Next >> Last >|

macros that build macros 6 27 (9/11/2007 1:08:16 AM) comp.lang.c Back before C++ templates, I was taught a trick whereby one built C macros that built other C macros. I can't remember how the heck we did it. The problem is that there seems to be no standard way to include... Thant

category theory: brouwer's fixed point theorem 2 35 (8/15/2007 3:08:06 PM) comp.lang.functional I'm having trouble with the exercises in Session 10 of Lawvere and Schanuel. Let j : C -> D be the inclusion of a circle into the disc. Suppose we have two continuous maps f : D -> D and g : D -> D, and tha... Thant

category theory: cross product exercise 6 15 (7/4/2007 5:01:59 PM) comp.lang.functional Dirk Thierbach: > Followup-exercise, if you're still interested: Show the same > for products. That is, if P is a product for A and B, and P' is also > a product for A and B, then P and P' must be isomorphic.... Thant

monomorphisms, epimorphisms, and isomorphisms 58 26 (6/11/2007 2:42:37 PM) comp.lang.functional I'm trudging my way through Pierce's "Basic Category Theory for Computer Scientists," and I definitely think I'm missing some background material. In particular, I'm having a hard time understanding epimorph... Thant

building mlton for darwin + intel 2 22 (2/19/2007 3:26:34 AM) comp.lang.functional I installed MLton on my MacBook Pro to build a standalone SML executable. It sorta seems to work, except that at link time it complained that libmlton.a, libgmp.a, and libgdtoa.a have the wrong cpu type. This m... thant

recursive type vs recursive datatype in SML 5 18 (2/5/2007 2:36:08 AM) comp.lang.functional I have some code that uses this datatype declaration: datatype ('k, 'v) node = NODE of 'v option * ('k * ('k, 'v) node) list and it compiles and works. I originally tried to write the code based on this typ... Thant

Standard ML Annotated Reference Manual 2 17 (2/4/2007 2:57:48 AM) comp.lang.functional Can anyone recommend any documentation for Standard ML that is analogous to "The Annotated C++ Reference Manual" or Dybvig's "The Scheme Programming Language"? I'm looking for something more concise and com... Thant

mutually recursive functions in SML 4 20 (7/23/2006 1:47:31 PM) comp.lang.functional Argh. I'm away from my books for a couple days and I can't remember (or easily google) how the heck to define mutually-recursive functions in SML a la Scheme's let*. Obliged for any assistance. (Is there a de... thant

.sml file type on Mac OS X 2 39 (7/6/2006 11:53:59 AM) comp.lang.functional [Originally sent to comp.lang.ml, but it never appeared.] I've been using Aquamacs Emacs to edit SML source files on a MacBook Pro. Originally, files ending in .sml were associated with QuickTime, but I us... Thant

smlnj nlffi for intel macs 1 17 (4/2/2006 2:24:42 PM) comp.lang.functional The latest working version of SML/NJ includes support for Intel-based Macs. (Wow! Cool!) Is it reasonable to expect future support for NLFFI? -thant P.S. Is comp.lang.ml still active? ... Thant

adm's replies:

Items(41) /5 Next >> Last >|

Why stay with lisp when there are python and perl? 158 59 (5/3/2007 1:20:39 AM) comp.lang.lisp Python has readable syntax, a huge library, and bindings for what seems like every major in linux. Perl has CPAN. It seems with those languages if you want to do something all you have to do is import function... flifus (15)

Type of a Skip Parser? 16 17 (5/15/2007 6:02:08 PM) comp.lang.functional Hello, I am implementing a parser combinator library in C++. I know C++ isn't a popular language in this group, but my question is about getting the type signatures of parsers to match, which is a problem some ... alex.rubinsteyn (19)

monomorphisms, epimorphisms, and isomorphisms 58 26 (6/11/2007 2:42:37 PM) comp.lang.functional I'm trudging my way through Pierce's "Basic Category Theory for Computer Scientists," and I definitely think I'm missing some background material. In particular, I'm having a hard time understanding epimorph... adm (206)

Unlearning Lisp 54 54 (6/29/2007 10:11:36 AM) comp.lang.lisp Most people have managed to uninstall Lisp but many are still having trouble unlearning it. This story is well known from programming language folklore where it is said that "BASIC (and Lisp) pollute your mind... jon (3267)

category theory: cross product exercise 6 15 (7/4/2007 5:01:59 PM) comp.lang.functional Dirk Thierbach: > Followup-exercise, if you're still interested: Show the same > for products. That is, if P is a product for A and B, and P' is also > a product for A and B, then P and P' must be isomorphic.... adm (206)

shootout: implementing an interpreter for a simple procedural language Minim 559 139 (7/18/2007 12:24:53 AM) comp.lang.lisp \Jon suggested that it would be good to implement some significant programs in different functional languages for comparison. He suggested interpreters for procedural languages like Basic. QUOTE There seems t... dr.mtarver (661)

Newbie Question: Is it allowed for the function to change the value of parameters? 102 14 (7/24/2007 3:04:10 PM) comp.lang.functional Hi, I am really new to functional programming. I am just wondering if it is theoretically allowed to for the function to change the value of the parameters? Haskell's list seems to be immutable so it is not a... zyzhu2000 (95)

category theory: brouwer's fixed point theorem 2 35 (8/15/2007 3:08:06 PM) comp.lang.functional I'm having trouble with the exercises in Session 10 of Lawvere and Schanuel. Let j : C -> D be the inclusion of a circle into the disc. Suppose we have two continuous maps f : D -> D and g : D -> D, and tha... adm (206)

macros that build macros 6 27 (9/11/2007 1:08:16 AM) comp.lang.c Back before C++ templates, I was taught a trick whereby one built C macros that built other C macros. I can't remember how the heck we did it. The problem is that there seems to be no standard way to include... adm (206)

on the relations of traditional CS theory to modern programming practice 105 51 (10/15/2007 10:23:48 AM) comp.lang.lisp This is gathering some threads that arose from my comp.lang.lisp post 'On the Strange Weakness of Graphical User Programming Languages' - threads that link up to other essays I've written. Really I think the p... dr.mtarver (661)