meaning of unfold
1. To open the folds of; to expand; to spread out; as, to unfold a tablecloth.
2. To open, as anything covered or close; to lay open to view or contemplation; to bring out in all the details, or by successive development; to display; to disclose; to reveal; to elucidate; to explain; as, to unfold ones designs; to unfold the principles of a science.
3. To release from a fold or pen; as, to unfold sheep.
4. To open; to expand; to become disclosed or developed.
5. unfold inline unfold/fold A program transformation where a recursive call to a function is unfolded to an instance of the functions body and then later an instance of the functions body is replaced by a call. E. g. sumdouble l = sum double l double l = case l of [] -> [] x:xs -> 2*x + double xs ==> unfold double sumdouble l = sum case l of [] -> [] x:xs -> 2*x : double xs ==> distribute over case sumdouble l = case l of [] -> sum [] x:xs -> sum 2*x : double xs ==> unfold sum sumdouble l = case l of [] -> 0 x:xs -> 2*x + sum double xs ==> fold sumdouble sumdouble l = case l of [] -> 0 x:xs -> 2*x + sumdouble xs
6. develop or come to a promising stage; "Youth blossomed into
">maturity"
Related Words
unfold | unfolded | unfolder | unfolding | unfoldment |
