infix-operator

6calore

2risposta

Guardando il Haskell Servant package, c'è un esempio iniziale di definire un'API webservice come: -- GET /date type MyAPI = "date" :> Get '[JSON] Date -- GET /time/:tz :<|> "time" :>

12calore

1risposta

Definizione di un operatore infisso per l'uso all'interno di una formula

Sto provando a creare una versione più parsimoniosa della soluzione this, che comporta l'indicazione dell'RHS di una formula nel formato d1 + d1:d2. Dato che * nel contesto di una formula è una concis

12calore

1risposta

Perché è f <$> g <$> x equivalente a (f g) <$> x sebbene <$> non sia associato al diritto?

Perché f <$> g <$> x equivale a (f . g) <$> x sebbene <$> non sia associato al diritto? (Questo tipo di equivalenza è valido in a popular idiom con piano $, ma attualmente $ è giusto-associativa!) <*>

5calore

2risposta

Haskell: Perché non sono permessi i costruttori del tipo infisso?

Nel Haskell 98 report, ho trovato questo: La sintassi per espressioni di tipo Haskell è dato sopra. Proprio come i valori dei dati vengono creati utilizzando i costruttori di dati, i valori di tipo ve

11calore

1risposta

Come dare infissi agli operatori in lambda?

Ad esempio, questo non digitare controllare \cons nil -> 5 `cons` 3 `cons` nil né fa \(#) -> 5 # 3 # nil Sebbene entrambi questi fanno \cons nil -> 5 `cons` nil \(#) nil -> 5 # nil C'è un modo