Danny_ 2017-03-04 23:50:25
Anyone on?
int-e 2017-03-04 23:51:01
...
suppi 2017-03-04 23:51:36
..
Xnuk 2017-03-04 23:52:20
.
dyreshark 2017-03-04 23:58:08
aregidor 2017-03-05 00:10:28
hi
eSko 2017-03-05 00:12:16
https://www.youtube.com/watch?v=ZFxqjZ2H9yE
aregidor 2017-03-05 00:13:53
somebody knows what's the problem with this program? http://pastebin.com/fzwk41Zp
aregidor 2017-03-05 00:13:59
I obtain:
aregidor 2017-03-05 00:14:02
a.hs:9:21:
aregidor 2017-03-05 00:14:04
Couldn't match expected type `String -> String'
aregidor 2017-03-05 00:14:06
against inferred type `[Char]'
aregidor 2017-03-05 00:14:08
Probable cause: `showString' is applied to too many arguments
aregidor 2017-03-05 00:14:10
In the first argument of `Endo', namely `(showString t)'
aregidor 2017-03-05 00:14:12
In the expression: Endo (showString t)
Xnuk 2017-03-05 00:26:15
:t Endo
lambdabot 2017-03-05 00:26:19
(a -> a) -> Endo a
Xnuk 2017-03-05 00:26:51
:t showString
lambdabot 2017-03-05 00:26:54
String -> ShowS
Xnuk 2017-03-05 00:27:31
so (a -> a) is ShowS, which is String -> String
Xnuk 2017-03-05 00:27:43
so you'll get Endo String
Xnuk 2017-03-05 00:27:45
aregidor:
aregidor 2017-03-05 00:27:59
Xnuk: yes
aregidor 2017-03-05 00:28:06
mmm
aregidor 2017-03-05 00:28:28
aaah, ok
aregidor 2017-03-05 00:28:39
thanks, Xnuk
