haskell - Strict Maybe in data definitions -

-

i have seen many talks / read blog posts should have strict fields in data avoid various performance issues, e.g.:

data person = person     { personname     :: !text     , personbirthday :: !utctime     }

this makes total sense me. functions operation on data lazy, composability isn't sacrificed.

yet if add maybe field:

data person = person     { personname     :: !text     , personbirthday :: !utctime     , personaddress  :: !(maybe address)     }

i'm introducing lazyness data structure, after maybe control structure. can't unevaluated thunk hide behind just constructor?

however, there strict maybe in strict or thru strict-base-types. according reverse dependencies (strict, strict-base-types) aren't used.

so question: why 1 should or shouldn't use strict maybe in not-control data definitions?

reasons use strict either/maybe/tuple types:

  • if profile code , notice space leak, way plug leak

  • strict data types regarded useful thing high-performance code, even latest ghc 8.0 language extensions

  • other people doing (those strict packages might not popular, exist reason – argue kind of applications need strict packages wouldn't uploaded hackage)

reasons not:

overall don't think there's dogma going 1 way or another. it's matter of convenience.


Comments

Post a Comment

Popular posts from this blog

ruby - Trying to change last to "x"s to 23 -

-
i have been playing around irb , have string looks this: irb(main):072:0> puts ["[\"4354 5432 5432 xxxxx\", \"6547 6547 8543 xxxxx\", \"2344 6543 6674 xxxxx\", \"2346 6236 7543 xxxxx\", \"1273 5585 5587 xxxxx\"]"] => nil irb(main):073:0> what want gsub last 2 "x" s of each 17 digit combination, 23 . what i've tried far (i've been using rubular): a.gsub(/\d[x]/,"23") <= grabs "x" s i'm close a.gsub(/\w[x{2}]/,"23") <= grabs "x" s grabs two digits each combination. is there easier way i'm not understanding? a.gsub(/\d{4} \d{4} \d{4} xxx\kxx/, '23') \d{4} = 4 digits what \k drop matched far. can use don't replace entire number, still able validate have in desired format.
Read more

jquery - Clone last and append item to closest class -

-
this bare-bones code on page: <div class="list-container"> <div class="single-list-item"> <button>remove</button> </div> <div class="single-list-item"> <button>remove</button> </div> <div class="single-list-item"> <button>remove</button> </div> </div> <p><button class="add-list-item">add</button></p> <div class="list-container"> <div class="single-list-item"> <button>remove</button> </div> <div class="single-list-item"> <button>remove</button> </div> <div class="single-list-item"> <button>remove</button> </div> </div> <p><button class="add-list-item">add</button></p> <di...
Read more

css - Can I use the :after pseudo-element on an input field? -

-
i trying use :after css pseudo-element on input field, not work. if use span , works ok. <style type="text/css"> .mystyle:after {content:url(smiley.gif);} .mystyle {color:red;} </style> this works (puts smiley after "buu!" , before "some more") <span class="mystyle">buuu!</span>a more this not work - colors somevalue in red, there no smiley. <input class="mystyle" type="text" value="somevalue"> what doing wrong? should use pseudo-selector? note: cannot add span around input , because being generated third-party control. :after , :before not supported in internet explorer 7 , under, on elements. it's not meant used on replaced elements such form elements (inputs) , image elements . in other words it's impossible pure css. however if using jquery can use $(".mystyle").after("add smiley here"); api docs on .after to ...
Read more