by

Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Mar 13 2015 16:19

    mpilquist on master

    Fix effect application order in… Add accumulating applicative in… (compare)

  • Mar 13 2015 15:28

    mpilquist on master

    Add ops import to repl Fix ScalaDoc generation (compare)

  • Feb 23 2015 18:56

    mpilquist on master

    Rename psum to foldK (compare)

  • Feb 23 2015 17:21

    mpilquist on master

    SemigroupK and MonoidK should n… (compare)

  • Feb 20 2015 20:13
    mpilquist closed #6
  • Feb 18 2015 01:21

    mpilquist on synthesized-discipline

    Result of failed experiment in … (compare)

  • Feb 17 2015 23:49

    mpilquist on master

    Add additional MonadCombine law (compare)

  • Feb 17 2015 23:43

    mpilquist on master

    Major law refactoring to separa… (compare)

  • Feb 17 2015 17:04

    mpilquist on master

    Align names with cats (compare)

  • Feb 11 2015 03:21

    mpilquist on master

    Port to ScalaJS. Merge pull request #8 from matt… (compare)

  • Feb 11 2015 03:21
    mpilquist closed #8
  • Feb 11 2015 03:21
    mpilquist commented #8
  • Feb 11 2015 03:20
    matthughes commented #8
  • Feb 11 2015 03:19
    matthughes opened #8
  • Feb 11 2015 03:18
    matthughes commented #6
  • Feb 02 2015 03:31

    mpilquist on master

    Aggregate examples and fix fpro… Merge pull request #7 from matt… (compare)

  • Feb 02 2015 03:31
    mpilquist closed #7
  • Feb 02 2015 03:30
    matthughes opened #7
  • Feb 02 2015 00:47
    matthughes commented #6
  • Feb 01 2015 14:58

    mpilquist on master

    Fix typo in README (compare)

Erik Osheim
@non
since you'll eagerly evaluate arguments to f, the user has no control over laziness no matter what F or f are.
oh yeah, i meant the general instance would have that signature.
Cody Allen
@ceedubs
bah I'm bad communication. The general instance would have F[A] or the general instance would have Stream[A]?
Erik Osheim
@non
the general instance would be F[A]
Cody Allen
@ceedubs
okay thank you for your patience :)
Erik Osheim
@non
no worries
Cody Allen
@ceedubs
yeah that makes sense
I think I like it.
As long as you provide a helper method for the case where L[_] is Id since type inference probably won't help you there. But I imagine that was already in the plan
Erik Osheim
@non
yeah. the goal is to have things transparently work for (A, B) => B but also for (A, L[B]) => B as well
i think you could also "solve" this by generalizing over => instead, if you wanted.
Cody Allen
@ceedubs
hmm. I think generalizing over => is where my brain starts to break down :)
Miles Sabin
@milessabin
That's an interesting idea ... how do you see that working out?
Erik Osheim
@non
i think it's an infinite regress actually.
the idea was to create something like function but that evaluates its arguments lazily
but of course, that implies that whatever type class you have to generalize => and this new thing evaluates its arguments lazily too
which is circular, i think.
since what we're trying to get around is the fact that a type class is not using by-name params to simulate laziness
Michael Pilquist
@mpilquist
I think it is great to discuss this stuff - no pref in which room but happy to be a part of it :)
Erik Osheim
@non
thanks!
Matt Hughes
@matthughes
@mpilquist Examples don't compile. Specifically 'fproduct' doesn't seem to exist anymore.
Michael Pilquist
@mpilquist
should be .zipWith
oh examples project isn’t aggregatd
Matt Hughes
@matthughes
Ah. Any reason to not link examples in with the root?
yeah
Michael Pilquist
@mpilquist
nope, should be
Mike (stew) O'Connor
@stew
My bad
That's like 3 of my bad's
Michael Pilquist
@mpilquist
:)
Matt Hughes
@matthughes
Well I have structures compiling in ScalaJS. Not very interesting so far though. I'd be nice to actually get the discipline rules running in a browser.
And trying to come up with compelling exampe.
Michael Pilquist
@mpilquist
awesome! did you have to change source?
Matt Hughes
@matthughes
nope
Michael Pilquist
@mpilquist
crazy
Erik Osheim
@non
that is awesome :clap:
Miles Sabin
@milessabin
ScalaJS is an extraordinary piece of work ... you know it can compile shapeless, right?
Michael Pilquist
@mpilquist
that’s awesome
Frank S. Thomas
@fthomas
@mpilquist the separation of the laws from the discipline code looks awesome :-)
Michael Pilquist
@mpilquist
@fthomas thanks, though it is all based on your work in cats! :)
Angelo Genovese
@agenovese
@mpilquist I just finished watching your Functional Structures In Scala videos and I wanted to say thanks for making them and putting them out there, they were immensely informative and really well put together.
Michael Pilquist
@mpilquist
Hey thanks! I really appreciate you saying that!
@tksfz
@tksfz
Hey I super love structures
I was wondering if you were going to add the |@| operator to Apply / Applicative
Personally that's probably the operator I find most useful
Perhaps something similar is already there and I've missed it
If you're considering adding it, a non-symbol name would be welcome too
Michael Pilquist
@mpilquist
@tksfz hi, sorry for the late reply, i’ve been vacationing
given the amount of activity and interest in cats (https://github.com/non/cats), i was planning on stopping development of structures
if you prefer structures over cats, i’d love to know the rationale so as to either improve cats or else keep developing structures
@tksfz
@tksfz
got it. having compared the two more closely now, i think that makes sense. certainly there's a lot of overlap and cats isn't that much larger than structures.