@avibryant @Eigenvariable Jeff, dunno if you can be bothered, but a gist of what you wished you could do and what you actually did would be+
-
-
-
Replying to @jco
@jco@avibryant I'll see what I can come up with. Basically I have a list whose elements all have abstract types...1 reply 0 retweets 0 likes -
Replying to @Eigenvariable
@jco@avibryant and I want to iterate over that to return a function whose type is calculated in terms of the elements of the list.2 replies 0 retweets 0 likes -
Replying to @Eigenvariable
@jco@avibryant e.g. given [x, y, z], I'd be returning Bar[(((), x.A), y.A), z.A)]2 replies 0 retweets 0 likes -
Replying to @Eigenvariable
@jco@avibryant And I can do that with a fold, returning Bar[X] forSome {type X}. But then I also need a Codec[X].1 reply 0 retweets 0 likes -
Replying to @Eigenvariable
@jco@avibryant I can produce something like val p: (Bar[X], Codec[X]) forsome {type X}, but then when I try to use p._1 and p._2...2 replies 0 retweets 0 likes -
Replying to @Eigenvariable
@Eigenvariable@jco@avibryant What I do here: MyType[T](a: A[T], b: B[T]) then write methods that take MyType[T], but pass MyType[_].1 reply 0 retweets 2 likes -
Replying to @posco
@posco@Eigenvariable@avibryant yes that's exactly what I was trying to convey haha1 reply 0 retweets 0 likes -
Replying to @jco
@jco@posco@avibryant OK, that works much better than what I thought@jco was saying. Use a wrapper method, not a wrapper class.2 replies 0 retweets 1 like
@Eigenvariable @jco @posco one of y'all should write up a gist summarizing this in more than 140 chars :)
-
-
Replying to @avibryant
@avibryant@Eigenvariable@jco https://gist.github.com/johnynek/02428e7b88ba3b03dcc0 … from to phone. I hope it compiles.0 replies 0 retweets 6 likesThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.