저는 카테고리 이론을 배우고 있습니다. 나는 독자 모나드의 개념을 이해 , 그것을 구현하는 데에도 꽤 쉽게 : case class Reader[DEP, A](g: DEP => A) {
def apply(dep: DEP): A = g(dep)
def map[B](f: A => B): Reader[DEP, B] = Reader(dep =>
예 :으로 Purescript를 읽었으며 리더 모나드를 소개하는 부분에 도달했습니다. 이 예는 다음과 같습니다 : createUser :: Reader Permissions (Maybe User)
createUser = do
permissions <- ask
if hasPermission "admin" permissions
th
스칼라에서 올바르게 기능하는 구성 가능한 개체를 어떻게 만듭니 까? 나는 Reader 모나드에있는 Tony Morris의 비디오를 보았고 여전히 점들을 연결할 수 없습니다. class Client(name : String, age : Int){ /* etc */}
object Client{
//Horrible!
val clients =
리더 모나드 사용법을 배우고 싶습니다. 불행히도 단지 적은 양의 예제 코드를 사용할 수 있습니다. 환경 및 검색된 값이 Int 인 Reader를 만들고 싶습니다. ReaderT이 예상되기 때문에, 나는 오류가 발생 addStuff :: Reader Int Int
addStuff = do
a <- (*2)
b <- (+10)
re
구성을 위해 Reader 모나드를 사용하는 다음 코드를 가지고 있으며 IO[Option[String]]을 처리해야하며 내 encode 함수의 계단 단계가 끝났습니다. 내 encode 함수의 추한 중첩 for 함축을 피하기 위해 Reader 및 OptionT위한 모나드 변압기를 공식화 수있는 방법 ? def encode(fileName: String): Re
리더 모나드 사용하는 하스켈 기능 리팩토링 : import qualified Control.Monad.Reader as Reader
data FooEnv = FooEnv { bar :: Int -> Int }
type FooReader = Reader.Reader FooEnv
foo :: Int -> FooReader String
foo i =