Comments on: Ocaml Lazy Lists- An Introduction http://enfranchisedmind.com/blog/2007/01/01/ocaml-lazy-lists-an-introduction/ Robert Fischer and Brian Hurt on Punditry, Programming Languages, and Other Religious Issues Sat, 05 Jul 2008 18:47:43 +0000 http://wordpress.org/?v=2.5.1 By: David Teller http://enfranchisedmind.com/blog/2007/01/01/ocaml-lazy-lists-an-introduction/#comment-33190 David Teller Sun, 11 May 2008 14:17:18 +0000 http://enfranchisedmind.com/blog/archive/2007/01/01/177#comment-33190 If you are interested, here's a preview implementation of a full-featured module LazyList. It has been submitted to ExtLib : https://forge.ocamlcore.org/frs/shownotes.php?release_id=12 . If you are interested, here’s a preview implementation of a full-featured module LazyList. It has been submitted to ExtLib : https://forge.ocamlcore.org/frs/shownotes.php?release_id=12 .

]]> By: Brian http://enfranchisedmind.com/blog/2007/01/01/ocaml-lazy-lists-an-introduction/#comment-31964 Brian Sat, 08 Dec 2007 19:00:58 +0000 http://enfranchisedmind.com/blog/archive/2007/01/01/177#comment-31964 jt: you need to actually write the function zlist_of_list (it's not automatically supplied). I leave this as an exercise to the reader :-). Brian jt: you need to actually write the function zlist_of_list (it’s not automatically supplied). I leave this as an exercise to the reader :-).

Brian

]]> By: jt http://enfranchisedmind.com/blog/2007/01/01/ocaml-lazy-lists-an-introduction/#comment-31961 jt Sat, 08 Dec 2007 13:13:31 +0000 http://enfranchisedmind.com/blog/archive/2007/01/01/177#comment-31961 Unbound value zlist_of_list Unbound value zlist_of_list

]]> By: jt http://enfranchisedmind.com/blog/2007/01/01/ocaml-lazy-lists-an-introduction/#comment-31960 jt Sat, 08 Dec 2007 13:13:10 +0000 http://enfranchisedmind.com/blog/archive/2007/01/01/177#comment-31960 When I try to evaluate this piece I get an error: # let zlst = zlist_of_list [1.0;2.0;3.0;4.0;5.0];; Characters 11-24: let zlst = zlist_of_list [1.0;2.0;3.0;4.0;5.0];; ^^^^^^^^^^^^^ When I try to evaluate this piece I get an error:

# let zlst = zlist_of_list [1.0;2.0;3.0;4.0;5.0];;
Characters 11-24:
let zlst = zlist_of_list [1.0;2.0;3.0;4.0;5.0];;
^^^^^^^^^^^^^

]]> By: ChriS http://enfranchisedmind.com/blog/2007/01/01/ocaml-lazy-lists-an-introduction/#comment-31649 ChriS Sun, 09 Sep 2007 13:41:11 +0000 http://enfranchisedmind.com/blog/archive/2007/01/01/177#comment-31649 <blockquote>(...) indeed, I haven’t heard of it being done with lazy lists yet either</blockquote> The following paper ``<a href="http://www.math.chalmers.se/~rjmh/Papers/whyfp.html" rel="nofollow">Why Functional Programming Matters</a>'', section 4.1, uses the very same example. I haven't seen this being taught in numerical classes however — in lots of cases, numerical analysis courses are forced to use suboptimal languages because CS students have only be taught hyped languages...

(…) indeed, I haven’t heard of it being done with lazy lists yet either

The following paper “Why Functional Programming Matters”, section 4.1, uses the very same example. I haven’t seen this being taught in numerical classes however — in lots of cases, numerical analysis courses are forced to use suboptimal languages because CS students have only be taught hyped languages…

]]> By: Victor http://enfranchisedmind.com/blog/2007/01/01/ocaml-lazy-lists-an-introduction/#comment-13003 Victor Wed, 25 Apr 2007 11:32:45 +0000 http://enfranchisedmind.com/blog/archive/2007/01/01/177#comment-13003 Thanks for a nice intro. That statement: <blockquote>If the elements of the lazy list are being brought in peicemeal from the database or a file, and then being copied back out again to a database or a file, only a small number of elements need to be in memory at any given time- we get the benefits of stream processing without having to explicitly code it.</blockquote> was what I have been looking for. Thanks for a nice intro. That statement:

If the elements of the lazy list are being brought in peicemeal from the database or a file, and then being copied back out again to a database or a file, only a small number of elements need to be in memory at any given time- we get the benefits of stream processing without having to explicitly code it.

was what I have been looking for.

]]> By: technophobicgeek http://enfranchisedmind.com/blog/2007/01/01/ocaml-lazy-lists-an-introduction/#comment-9517 technophobicgeek Tue, 03 Apr 2007 15:10:59 +0000 http://enfranchisedmind.com/blog/archive/2007/01/01/177#comment-9517 Hey there Thanks for a great introduction to OCaml lazy lists. And yes, your website comes up first when I look up 'ocaml lazy' :) I am actually trying to implement some more general things using lazy evaluation. I'm fairly new to functional programming and may need some advice if I can't figure it out myself with help from your awesome introduction. I was wondering if I could communicate with you by email about this. Hey there

Thanks for a great introduction to OCaml lazy lists. And yes, your website comes up first when I look up ‘ocaml lazy’ :)

I am actually trying to implement some more general things using lazy evaluation. I’m fairly new to functional programming and may need some advice if I can’t figure it out myself with help from your awesome introduction. I was wondering if I could communicate with you by email about this.

]]> By: Enfranchised Mind » Java and Lazy Lists: I Stand Corrected (Sort Of) http://enfranchisedmind.com/blog/2007/01/01/ocaml-lazy-lists-an-introduction/#comment-2366 Enfranchised Mind » Java and Lazy Lists: I Stand Corrected (Sort Of) Tue, 06 Feb 2007 15:26:25 +0000 http://enfranchisedmind.com/blog/archive/2007/01/01/177#comment-2366 [...] If you’re not sure what I’m babbling about, check out this post for an introduction to lazy lists in their natural environment, and this post for my railing about Java’s lack of lazy lists. You can also bookmark this on del.icio.us or check the cosmos [...] [...] If you’re not sure what I’m babbling about, check out this post for an introduction to lazy lists in their natural environment, and this post for my railing about Java’s lack of lazy lists. You can also bookmark this on del.icio.us or check the cosmos [...]

]]> By: Enfranchised Mind http://enfranchisedmind.com/blog/2007/01/01/ocaml-lazy-lists-an-introduction/#comment-1185 Enfranchised Mind Wed, 03 Jan 2007 14:10:11 +0000 http://enfranchisedmind.com/blog/archive/2007/01/01/177#comment-1185 <strong>Java’s Failure to be Lazy...</strong> Now that BHurt has done a nice job talking about why Laziness is cool, I’ve got a bit of an ax to grind. The problem I have is that Java all but completely fails to be lazy, which is a shame considering how useful the trick is. The Sun team thems... Java’s Failure to be Lazy…

Now that BHurt has done a nice job talking about why Laziness is cool, I’ve got a bit of an ax to grind.
The problem I have is that Java all but completely fails to be lazy, which is a shame considering how useful the trick is.
The Sun team thems…

]]> By: Enfranchised Mind » Sorting Lazy Lists http://enfranchisedmind.com/blog/2007/01/01/ocaml-lazy-lists-an-introduction/#comment-1170 Enfranchised Mind » Sorting Lazy Lists Mon, 01 Jan 2007 22:33:54 +0000 http://enfranchisedmind.com/blog/archive/2007/01/01/177#comment-1170 [...] I’m assuming you’re familiar with Ocaml and have read my introduction to lazy lists earlier today. [...] [...] I’m assuming you’re familiar with Ocaml and have read my introduction to lazy lists earlier today. [...]

]]>