What is the purpose of OCaml's Lazy.lazy_from_val?

Posted by Ricardo on Stack Overflow See other posts from Stack Overflow or by Ricardo
Published on 2012-03-18T17:39:54Z Indexed on 2012/03/18 17:56 UTC
Read the original article Hit count: 242

Filed under:

ocaml

|

lazy-evaluation

The doc of Lazy.lazy_from_val states that this function is for special cases:

val lazy_from_val : 'a -> 'a t
  lazy_from_val v returns an already-forced suspension of v This is for special purposes only and should not be confused with lazy (v).

Which cases are they talking about?

If I create a pair of suspended computation from a value like:

let l1 = lazy 123
let l2 = Lazy.lazy_from_val 123

What is the difference between these two? Because Lazy.lazy_is_val l1 and Lazy.lazy_is_val l2 both return true saying that the value is already forced!

© Stack Overflow or respective owner

Related posts about ocaml

F# and OCaml

as seen on Stack Overflow - Search for 'Stack Overflow'
I hear that F# is derived from OCaml. How true is this statement? That is to say, are the resources available for learning OCaml useful to someone who wants to learn F#? What are the major differences between the two languages (aside from the fact that F# is .NET)? >>> More
Higher-order type constructors and functors in Ocaml

as seen on Stack Overflow - Search for 'Stack Overflow'
Can the following polymorphic functions let id x = x;; let compose f g x = f (g x);; let rec fix f = f (fix f);; (*laziness aside*) be written for types/type constructors or modules/functors? I tried type 'x id = Id of 'x;; type 'f 'g 'x compose = Compose of ('f ('g 'x));; type 'f fix = Fix… >>> More
Good projects to learn OCaml and F#

as seen on Stack Overflow - Search for 'Stack Overflow'
After learning the basic syntax, reading some non-trivial code is a fast way to learn a language. We can also learn how to design a library/software during reading others' code. I have following lists. A Chess program in OCaml by Tomek Czajka. Hal Daumé has written several machine learning libraries… >>> More
OCaml beginner needs help: What is wrong?

as seen on Stack Overflow - Search for 'Stack Overflow'
Code: let rec get_val (x, n) = match x with [] -> -1 | if (n=0) then (h::_) -> h else (_::t) -> get_val(t, n-1) ;; Error message: Characters 55-57: | if (n=0) then (h::_) - h ^^ Error: Syntax error >>> More
Tail-recursive merge sort in OCaml

as seen on Stack Overflow - Search for 'Stack Overflow'
Hello world! I’m trying to implement a tail-recursive list-sorting function in OCaml, and I’ve come up with the following code: let tailrec_merge_sort l = let split l = let rec _split source left right = match source with | [] -> (left, right) | head :: tail ->… >>> More

Related posts about lazy-evaluation

Can someone please explain this lazy evaluation code?

as seen on Stack Overflow - Search for 'Stack Overflow'
So, this question was just asked on SO: http://stackoverflow.com/questions/2740001/how-to-handle-an-infinite-ienumerable My sample code: public static void Main(string[] args) { foreach (var item in Numbers().Take(10)) Console.WriteLine(item); Console.ReadKey(); } public static… >>> More
Using lazy evaluation functions in varargs

as seen on Stack Overflow - Search for 'Stack Overflow'
What is wrong is the following method? def someMethod(funcs: = Option[String]*) = { ... } >>> More
When is lazy evaluation not useful?

as seen on Stack Overflow - Search for 'Stack Overflow'
Delay execution is almost always a boon. But then there are cases when it’s a problem and you resort to “fetch” (in Nhibernate) to eager fetch it. Do you know practical situations when lazy evaluation can bite you back…? >>> More
What good books are out there on program execution models? [on hold]

as seen on Programmers - Search for 'Programmers'
Can anyone out there name a few books that address the topic of program execution models?? I want a book that can answer questions such as... What is the difference between interpreted and compiled languages and what are the performance consequences at runtime?? What is the difference between lazy… >>> More
Lazy Evaluation – Why being lazy in F# blows my mind!

as seen on Geeks with Blogs - Search for 'Geeks with Blogs'
First of all – shout out to Peter Adams – from the feedback I have gotten from him on the last few posts of F# that I have done – my mind has just been expanded. I did a blog post a few days ago about infinite sequences – I didn’t really understand what was going on with it, and I still don’t really… >>> More