do-notation

24Ciepło

1Odpowiedz

Jak uczę Haskell Mam świadomość, że do notacja jest cukier tylko syntatic: a = do x <- [3..4] [1..2] return (x, 42) przekłada się a = [3..4] >>= (\x -> [1..2] >>= (\_ -> return (x, 42)))

6Ciepło

2Odpowiedz

Odpowiednik do notacji Haskella lub Wyrażeń obliczeniowych F # w Scali?

F # Wyrażenia obliczeniowe pozwalają ukryć złożoność monadycznej składni za grubą warstwą cukru syntaktycznego. Czy w Scali jest coś podobnego? Myślę, że to dla listowe ... Przykład: val f = for {

13Ciepło

2Odpowiedz

Jaki jest typ zmiennej w notacji tutaj w Haskell?

Poniższe kody wygląda całkiem jasne: do x <- Just 3 y <- Just "!" Just (show x ++ y) Tutaj rodzaj x jest Num i y jest String. (<- tutaj służy do podjęcia rzeczywistej wartości z monad

8Ciepło

3Odpowiedz

Haskell do notacji do wiązania

Próbuję wygaśnięcia oświadczenia do wykonania w Haskell. Znalazłem kilka przykładów tutaj na SO, ale nie był w stanie zastosować je do mojej sprawy. Jedyne, co mogę wymyślić, to ciężkie zagnieżdżone o

6Ciepło

1Odpowiedz

Refaktoryzacja funkcji Haskell, który używa monady Reader

Mam trochę kodu, który wygląda trochę jak ten, ignorując cały kod, który nie jest właściwy do mojego pytania: import qualified Control.Monad.Reader as Reader data FooEnv = FooEnv { bar :: Int -> Int

6Ciepło

2Odpowiedz

zwracając element wyodrębniony z monady; zbędny?

Czy są następujące dwie implementacje równoważenia spłaszczenia dla wszystkich dobrze zachowanych Monad? flatten1 xss = do xs <- xss x <- xs return x flatten2 xss = do xs <- xss

7Ciepło

3Odpowiedz

Dodaj akcję bez zmiany wyniku do notacji refactora

Chcę sekwencyjnie komponować dwie akcje monad w Haskell, odrzucając każdą wartość wytworzoną przez drugą i przekazując argument do obu akcji. Obecnie używam do-bloku tak: ask = do result <- getLi