scala - Can this be simplified? -


referring previous answer of mine on stackoverflow

the core of complexity illustrated in 1 method:

implicit def traversabletofilterops[cc[x] <: traversable[x], t] (xs: cc[t])(implicit witness: cc[t] <:< traversablelike[t,cc[t]]) =   new morefilteroperations[cc[t], t](xs)

with 2 questions:

  1. is there way give compiler hint map meets signature cc[x] <: traversable[x]? expect match traversable[tuple2[_,_]] doesn't happen. in end, had write second method taking cc[kx,vx] <: map[kx,vx], feels redundant

  2. witness: cc[t] <:< traversablelike[t,cc[t]] seems redundant given first type parameter, gut feeling enforced type of traversable , must always hold true possible subclass or value of x, there should no reason explicitly require witness.

if test using existential type in repl, compiler seems agree me:

scala> implicitly[traversable[x] <:< traversablelike[x,traversable[x]] forsome { type x }] res8: <:<[traversable[x],scala.collection.traversablelike[x,traversable[x]]] forsome { type x } = <function1>

is there therefore way away boilerplate?

i'm scala noob, please don't shoot me down if doesn't help.

assuming this:

class morefilteroperations[repr <% traversablelike[t,repr], t] (xs: repr) {}

would work?

// t2fo short traversabletofilterops implicit def t2fo[repr <% traversablelike[t, repr], t](xs: repr) =    new morefilteroperations[repr, t](xs)  // m2fo short maptofilterops implicit def m2fo[repr <% map[k, v] <% traversablelike[(k,v), repr], k, v]   (xs: repr) = new morefilteroperations[repr, (k, v)](xs)

this should work because (according book have.. programming scala, p264) following method definition view bound:

def m [a <% b](arglist): r = ...

it same method definition:

def m [a](arglist)(implicit viewab: => b): r = ...

Comments

Post a Comment

Popular posts from this blog

apache - Add omitted ? to URLs -

i working on website cms reads page name of query string, e.g. http://exmaple.com/?pagename . trying create rewrite rule rewrite ? . so, user types in /pagename , taken /?pagename try this: rewriteengine on rewritecond %{request_filename} !-d rewritecond %{request_filename} !-f rewriterule ^/?(.*) index.php?$1 [l]
Read more

redirect - bbPress Forum - rewrite to wwww.mysite prohibits login -

i using bbpress installation without wordpress integration. the redirect of rewriteengine @ forum site works: rewriteengine on rewritecond %{http_host} ^forum.mysite.com$ rewriterule (.*)$ http://www.forum.mysite.com/$1 [r=301,l] the problem login pppress. bbpress login not recognize: http://www.forum.mysite/bb-login.php . it redirects to: http://forum.mysite.com/bb-login.php . i tried permalink settings none , name based, same issue. does uses redirect in bbpress or how can eliminate "double" content , redirect permanently www.? i redirected www.forum.mysite.com forum.mysite.com , achieved eliminate "double" content.
Read more

php - How can I stop spam on my custom forum/blog? -

so have custom built forum & blog system of late has been dealing lot of spam. if wordpress use akismet, if different common platform i'm sure i'd find plugin. there kind of static class can download this? using php. i'd still go akismet, if it. uses outside of wordpress, may have pay fee it, depending on use -- check terms , conditions -- it's option , easy implement in php using api. use api key wordpress. com account access. basically, grab whichever php client library takes fancy -- use alex potsides' php5 library -- plug in key, , it's handful of lines of code. here's bare bones of validation straight 1 of live sites: ... if ($akismet) { $akismet->setcommentauthor($name); $akismet->setcommentauthoremail($session->userinfo["email"]); $akismet->setcommentauthorurl(""); $akismet->setcommentcontent($sentence);...
Read more