scala - Why does scalaz's implementation of Monoid for Option evaluate the f2 function twice? -


the definition of scalaz's option monoid follows:

implicit def optionmonoid[a: semigroup]: monoid[option[a]] = new monoid[option[a]] {   def append(f1: option[a], f2: => option[a]) = (f1, f2) match {     case (some(a1), some(a2)) => some(semigroup[a].append(a1, a2))     case (some(a1), none)     => f1     case (none, some(a2))     => f2     case (none, none)         => none   }    def zero: option[a] = none }

f2 pass name param means each call evaluate expression. why should evaluated again when evaluated in pattern match? returning some(a2) should same result , expression f2 expensive.

am missing something?

scalaz's option.scala source

it looks me written highlight symmetry of problem , clarity, not speed. can't drop laziness of second argument since semigroup defines way, , in other contexts times laziness of second argument may essential. preserve visual representation of symmetry of problem, want add

val g2 = f2  // force evaluation (f1, g2) match { ...

or somesuch.

(it nice if name arguments called lazy automatically memoize them.)


Comments

Post a Comment

Popular posts from this blog

linux - Does gcc have any options to add version info in ELF binary file? -

i mean whether gcc can insert source code version infor elf binary section or similar. not want change source file, add info gcc option in makefile. you can emit version info text file, turn text file object file statically link executable. the first step simple have write code: script or write version info in format plain text file. write makefile rule produce version.o version.txt, using objcopy . you'll have object file 2 useful symbols defined in it: beginning , end of textual version info. add generated object executable, , you'll able access version 2 ways: running strings on binary, or writing code in application print version string (you'll need declare start , end symbols variables in header file).
Read more

javascript - Clean way to programmatically use CSS transitions from JS? -

as title implies, there proper way set initial css properties (or class) , tell browser transition these value? for example ( fiddle ): var el = document.queryselector('div'), st = el.style; st.opacity = 0; st.transition = 'opacity 2s'; st.opacity = 1; this not animate opacity of element in chrome 29/firefox 23. because ( source ): [...] you’ll find if apply both sets of properties, 1 after other, browser tries optimize property changes, ignoring initial properties , preventing transition. behind scenes, browsers batch property changes before painting which, while speeding rendering, can have adverse affects. the solution force redraw between applying 2 sets of properties. simple method of doing accessing dom element’s offsetheight property [...] in fact, hack work in current chrome/firefox versions. updated code ( fiddle - click run after opening fiddle run animation again): var el = document.queryselector('div'
Read more

android - send complex objects as post php java -

is possible send contact numbers via post php class inside eclipse ? or post limited primitive types , have find work arounds send them string ? i propose: send them json in post request, befor start, have @ gson project , keep in mind set content application -> json. luck
Read more