Re: Page 76 of OCaml by John Whitington ???

"Kenneth Miller [email protected] [ocaml_beginners]" <[email protected]> Thu, 24 Mar 2016 21:05:28 +0000 (UTC)
Newsgroups gmane.comp.lang.ocaml.beginners
Message-ID <[email protected]>
LISP is awesome because it allows you to generate code that fits what you want.

The way I understand it is, if you're familiar with what ppx is and does, imagine having a language that's built around making code that can fit into things like that - when you finish a solution, you can annotate it onto anything basically. It's like generics or type inference, but with whole modules and data structures instead of just a single function. 

    On Thursday, March 24, 2016 5:02 PM, "Douglas Lewit [email protected] [ocaml_beginners]" <[email protected]> wrote:
 

     Thanks Hendrik.  I'll have to find that paper by Peter Landin.  The author's name is strongly familiar, but right now I can't quite place it.  My AI professor said that LISP and other functional programming languages are great for AI, but I didn't quite get his explanation.  ( And to be fair, his explanation was pretty short and quick. )  Something about how AI requires the manipulation of symbolic values ( as in computer algebra ) and for that sort of thing functional programming is better suited than other programming paradigms.
On Thu, Mar 24, 2016 at 3:07 PM, Hendrik Boom [email protected] [ocaml_beginners] <[email protected]> wrote:

     On Thu, Mar 24, 2016 at 11:49:44AM -0500, Douglas Lewit [email protected] [ocaml_beginners] wrote:

> 
> P.S. I almost forgot. Is LISP considered the great granddaddy of all
> functional programming languages? Is it correct to say that OCaml is
> descended from LISP? Thanks for the feedback.

I'd say so, yes.

Since you are asking about history, perhaps you'd like some:

One of the important papers, while not explicitly about functional 
programming, that liberated functional programming from LISP was
"The Next 700 Programming Languages", by Peter Landin.

-- hendrik
   

  #yiv8176238927 #yiv8176238927 -- #yiv8176238927ygrp-mkp {border:1px solid #d8d8d8;font-family:Arial;margin:10px 0;padding:0 10px;}#yiv8176238927 #yiv8176238927ygrp-mkp hr {border:1px solid #d8d8d8;}#yiv8176238927 #yiv8176238927ygrp-mkp #yiv8176238927hd {color:#628c2a;font-size:85%;font-weight:700;line-height:122%;margin:10px 0;}#yiv8176238927 #yiv8176238927ygrp-mkp #yiv8176238927ads {margin-bottom:10px;}#yiv8176238927 #yiv8176238927ygrp-mkp .yiv8176238927ad {padding:0 0;}#yiv8176238927 #yiv8176238927ygrp-mkp .yiv8176238927ad p {margin:0;}#yiv8176238927 #yiv8176238927ygrp-mkp .yiv8176238927ad a {color:#0000ff;text-decoration:none;}#yiv8176238927 #yiv8176238927ygrp-sponsor #yiv8176238927ygrp-lc {font-family:Arial;}#yiv8176238927 #yiv8176238927ygrp-sponsor #yiv8176238927ygrp-lc #yiv8176238927hd {margin:10px 0px;font-weight:700;font-size:78%;line-height:122%;}#yiv8176238927 #yiv8176238927ygrp-sponsor #yiv8176238927ygrp-lc .yiv8176238927ad {margin-bottom:10px;padding:0 0;}#yiv8176238927 #yiv8176238927actions {font-family:Verdana;font-size:11px;padding:10px 0;}#yiv8176238927 #yiv8176238927activity {background-color:#e0ecee;float:left;font-family:Verdana;font-size:10px;padding:10px;}#yiv8176238927 #yiv8176238927activity span {font-weight:700;}#yiv8176238927 #yiv8176238927activity span:first-child {text-transform:uppercase;}#yiv8176238927 #yiv8176238927activity span a {color:#5085b6;text-decoration:none;}#yiv8176238927 #yiv8176238927activity span span {color:#ff7900;}#yiv8176238927 #yiv8176238927activity span .yiv8176238927underline {text-decoration:underline;}#yiv8176238927 .yiv8176238927attach {clear:both;display:table;font-family:Arial;font-size:12px;padding:10px 0;width:400px;}#yiv8176238927 .yiv8176238927attach div a {text-decoration:none;}#yiv8176238927 .yiv8176238927attach img {border:none;padding-right:5px;}#yiv8176238927 .yiv8176238927attach label {display:block;margin-bottom:5px;}#yiv8176238927 .yiv8176238927attach label a {text-decoration:none;}#yiv8176238927 blockquote {margin:0 0 0 4px;}#yiv8176238927 .yiv8176238927bold {font-family:Arial;font-size:13px;font-weight:700;}#yiv8176238927 .yiv8176238927bold a {text-decoration:none;}#yiv8176238927 dd.yiv8176238927last p a {font-family:Verdana;font-weight:700;}#yiv8176238927 dd.yiv8176238927last p span {margin-right:10px;font-family:Verdana;font-weight:700;}#yiv8176238927 dd.yiv8176238927last p span.yiv8176238927yshortcuts {margin-right:0;}#yiv8176238927 div.yiv8176238927attach-table div div a {text-decoration:none;}#yiv8176238927 div.yiv8176238927attach-table {width:400px;}#yiv8176238927 div.yiv8176238927file-title a, #yiv8176238927 div.yiv8176238927file-title a:active, #yiv8176238927 div.yiv8176238927file-title a:hover, #yiv8176238927 div.yiv8176238927file-title a:visited {text-decoration:none;}#yiv8176238927 div.yiv8176238927photo-title a, #yiv8176238927 div.yiv8176238927photo-title a:active, #yiv8176238927 div.yiv8176238927photo-title a:hover, #yiv8176238927 div.yiv8176238927photo-title a:visited {text-decoration:none;}#yiv8176238927 div#yiv8176238927ygrp-mlmsg #yiv8176238927ygrp-msg p a span.yiv8176238927yshortcuts {font-family:Verdana;font-size:10px;font-weight:normal;}#yiv8176238927 .yiv8176238927green {color:#628c2a;}#yiv8176238927 .yiv8176238927MsoNormal {margin:0 0 0 0;}#yiv8176238927 o {font-size:0;}#yiv8176238927 #yiv8176238927photos div {float:left;width:72px;}#yiv8176238927 #yiv8176238927photos div div {border:1px solid #666666;height:62px;overflow:hidden;width:62px;}#yiv8176238927 #yiv8176238927photos div label {color:#666666;font-size:10px;overflow:hidden;text-align:center;white-space:nowrap;width:64px;}#yiv8176238927 #yiv8176238927reco-category {font-size:77%;}#yiv8176238927 #yiv8176238927reco-desc {font-size:77%;}#yiv8176238927 .yiv8176238927replbq {margin:4px;}#yiv8176238927 #yiv8176238927ygrp-actbar div a:first-child {margin-right:2px;padding-right:5px;}#yiv8176238927 #yiv8176238927ygrp-mlmsg {font-size:13px;font-family:Arial, helvetica, clean, sans-serif;}#yiv8176238927 #yiv8176238927ygrp-mlmsg table {font-size:inherit;font:100%;}#yiv8176238927 #yiv8176238927ygrp-mlmsg select, #yiv8176238927 input, #yiv8176238927 textarea {font:99% Arial, Helvetica, clean, sans-serif;}#yiv8176238927 #yiv8176238927ygrp-mlmsg pre, #yiv8176238927 code {font:115% monospace;}#yiv8176238927 #yiv8176238927ygrp-mlmsg * {line-height:1.22em;}#yiv8176238927 #yiv8176238927ygrp-mlmsg #yiv8176238927logo {padding-bottom:10px;}#yiv8176238927 #yiv8176238927ygrp-msg p a {font-family:Verdana;}#yiv8176238927 #yiv8176238927ygrp-msg p#yiv8176238927attach-count span {color:#1E66AE;font-weight:700;}#yiv8176238927 #yiv8176238927ygrp-reco #yiv8176238927reco-head {color:#ff7900;font-weight:700;}#yiv8176238927 #yiv8176238927ygrp-reco {margin-bottom:20px;padding:0px;}#yiv8176238927 #yiv8176238927ygrp-sponsor #yiv8176238927ov li a {font-size:130%;text-decoration:none;}#yiv8176238927 #yiv8176238927ygrp-sponsor #yiv8176238927ov li {font-size:77%;list-style-type:square;padding:6px 0;}#yiv8176238927 #yiv8176238927ygrp-sponsor #yiv8176238927ov ul {margin:0;padding:0 0 0 8px;}#yiv8176238927 #yiv8176238927ygrp-text {font-family:Georgia;}#yiv8176238927 #yiv8176238927ygrp-text p {margin:0 0 1em 0;}#yiv8176238927 #yiv8176238927ygrp-text tt {font-size:120%;}#yiv8176238927 #yiv8176238927ygrp-vital ul li:last-child {border-right:none !important;}#yiv8176238927