Perguntas com a marcação «haskell»

No wiki do haskell, há o seguinte exemplo de uso condicional da mônada de E / S (veja aqui) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Observe que, neste exemplo, a definição de IO …

12 programming-languages  functional-programming  haskell 

Então, eu estou tentando convencer Curry-Howard. (Eu tentei várias vezes, não é gelificante / parece muito abstrato). Para abordar algo concreto, estou trabalhando nos dois tutoriais de Haskell vinculados à wikipedia, especialmente no de Tim Newsham . Também há uma discussão útil quando Newsham postou o tutorial. (Mas vou ignorar …

7 type-theory  curry-howard  haskell