onceiwasthere 2 years ago

Irrelevant to article content, but did anyone else find the cookie UX on this site infuriating?

  • hosh 2 years ago

    Yes. I could not tell whether I was enabling or disabling cookies. I don't know whether that was badly done, or a dark pattern.

    • yoricksijsling 2 years ago

      Oof, I don’t think that’s intentional. I’ve passed it on to the frontend team!

hosh 2 years ago

I thought that Arrows (https://www.haskell.org/arrows/) can handle conditionals, and the splitting and joining of concurrent streams of computation?

Is there something novel about this approach that is distinct from Arrows?

  • yoricksijsling 2 years ago

    Arrows don’t really _do_ anything. Just like monads, they’re just a generic interface and their behaviour depends entirely on the instance implementation.

    You can have stream transformers that fit in de arrow class, and parallel composition might then mean that things are done concurrently. How that compares to our approach entirely depends on the exact stream transformer implementation.

    Note that the ConduitT type that we use doesn’t really fit in the Arrow class, due to the additional parameter for the return type.

    • grumpyprole 2 years ago

      Arrows do imply certain behaviours, if the laws are to be satisfied. For example, they require synchronous streams. This means one can't really do things like coalescing very easily.

      • yoricksijsling 2 years ago

        I never really used Arrows, let alone stream transformers with an Arrow interface, but yes that makes sense. With the conduit library you’d use ZipConduit which has the same characteristics.

        On reddit, in reply to the first blog post, someone asked how ZipConduit compared to our parallel streams. Maybe that’s helpful for hosh as well. https://www.reddit.com/r/haskell/comments/10339fe/comment/j2...