Currying error on the wrong side
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 20/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Da chiarire
- Stato di attività
- Ferma
- Stack tecnologico
- fsharp
- Ambito
- developer-experience
Direzione di ricerca
Esamina la funzione either esistente e l’API dei bifoldables, quindi leggi la discussione collegata sul linguaggio F# riguardo a Async.Catch e alle convenzioni di Result. Il lavoro è completato quando si è raggiunta una decisione a livello di progetto sull’ordine degli argomenti errore/valore e si è determinato se le funzioni interessate debbano essere scambiate prima della v1.1.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
This story tracks back to the first release of F# where the function Async.Catch was added, using the type on the left for the "right" value.
This in a type system with HKT support is the wrong decision, as we're interested in currying types, then we want to have the good value on the rightmost position.
Now, in F# land we don't have real HKTs so that's not a technical restriction, just theorotical at the moment.
So, people started adopting it, then the new Result type landed in F# and guess what? They did it again. Left type for the right type.
Now, people is asking for some Result functions added to F# core. This is when the problem becomes a real problem, because here we're not talking about types, we're talking about actual values.
For values, it's fair to think that's also convenient to curry on the good one. See this comment from @kspeakman https://github.com/fsharp/fslang-suggestions/issues/526#issuecomment-393539604
Now the problem is we still don't know what would be the standard for F# it's probably a bit early. Here in F#+ we did the either function with the error on the right, we can change it in V2 but now we're about to ship bifoldables, so the question is do we want to swap the functions? If the answer is yes, we can still do it for v1.1 but not later.
- Lingua principale
- F#
- Stelle
- 941
- Fork
- 106
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di fsprojects/FSharpPlus
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
fsprojects/FSharpPlus#683 · 1 commento · 2 reazioni ·
-
bug
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
fsprojects/FSharpPlus#678 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
fsprojects/FSharpPlus#644 ·
-
breaking change F#+ v2.0
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
fsprojects/FSharpPlus#643 ·
-
lens type signature Apertabreaking change F#+ v2.0
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
fsprojects/FSharpPlus#641 ·
Tutte le issue di fsprojects/FSharpPlus
Issue simili
-
area: harness bug status: needs-triage
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
Human-Agent-Society/reef#625 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
vercel-labs/just-bash#464 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100