Ivo Balbaert (Jul 23 2023 at 08:52): Ivo Balbaert (Jul 23 2023 at 08:52):In a recent video (Native Deskop applications), I saw this very interesting Abilities/ Effects / FX notation:
main : Task.Task {} U32 [Write[File, Stdout, Stderr], Read[File], Env]
but now it doesn't compile anymore. Has this been discarded, temporarily or definitively?
It sure seemed a nice feature.
Luke Boswell (Jul 23 2023 at 09:03):This isn't how Task is currently implemented, at least not in basic-cli. I'm not sure of the history there, but have heard it referred to as three-arg-task in previous discussions.
I think there is a discussion around here somewhere where Richard discussed why it is desirable to prefer the Two arg version. Sorry this doesn't really answer your question.
Last updated: Jul 05 2025 at 12:14 UTC