Eli Dowling (Jan 08 2024 at 22:29): Eli Dowling (Jan 08 2024 at 22:29):Yeah, I'm across all that. I think the real question which i kind of failed to ask is, why is it not accumulating errors in a Task(Result a [A,B,C]) instead of Task a [A,B,C]?
Eli Dowling (Jan 08 2024 at 22:30):Oh, it's because it returns a result! and you'd end up with a function signature that returns Task [Result a A, Result b [B]] right?
Brendan Hansknecht (Jan 08 2024 at 22:33):I'm not sure I follow the question. Is the question for current roc code or for this proposal specifically?
Eli Dowling (Jan 08 2024 at 22:34):Sorry I've strayed off topic a little. I was actually talking about current roc code, but this syntax just brought to mind that Tasks kind of being a copy of result is a little weird on the surface.
Eli Dowling (Jan 08 2024 at 22:35):Can you just remove those messages?
Notification Bot (Jan 08 2024 at 22:36):5 messages were moved here from #ideas > chaining but with Task.attempt and ? for error returns by Brendan Hansknecht.
Brendan Hansknecht (Jan 08 2024 at 22:36):Moved them here, hopefully that is good
Brendan Hansknecht (Jan 08 2024 at 22:37):So Task is actually defined as Effect (Result ok err)
Brendan Hansknecht (Jan 08 2024 at 22:37):So a task is just an effect that can fail.
Brendan Hansknecht (Jan 08 2024 at 22:38):How platforms are designed today, essentially all Effects map to a Task and the Task is given to the end user so that they always get a consistent type. It is just always a Task.
Brendan Hansknecht (Jan 08 2024 at 22:38):That said, in many cases, we could theoretically cut out the middle man. We could just have an Effect x and return that to the user. They would never need to deal with error cases cause there would be none
Brendan Hansknecht (Jan 08 2024 at 22:40):They would just:
x <- cantFail 123 |> Effect.after
I think after is the correct name for the Effect type.
Brendan Hansknecht (Jan 08 2024 at 22:41):Of course, if you have some values as Effect and some as Task, you would have type errors if you missed the two.
Last updated: Jul 05 2025 at 12:14 UTC