Search Haskell Channel Logs

Friday, January 27, 2017

#haskell channel featuring unclechu, vapid, thatguy, quchen, uiop, Logio, and 9 others.

merijn 2017-01-26 22:45:11
Which means that instead of learning to use Haskell for things it shines in and real programming, you end up rubbing your face in historical unpleasantness and wondering why things feel awkward
merijn 2017-01-26 22:45:36
Kristof_HT: Like I said, I think PE is fun. But I don't think it's good exercise
merijn 2017-01-26 22:45:41
@where exercises
lambdabot 2017-01-26 22:45:41
http://www.haskell.org/haskellwiki/H-99:_Ninety-Nine_Haskell_Problems https://github.com/bitemyapp/learnhaskell http://www.reddit.com/r/dailyprogrammer/ http://www.reddit.com/r/programmingchallenges/
Omnic 2017-01-26 22:45:51
oh i did H-99
Omnic 2017-01-26 22:45:52
well
Omnic 2017-01-26 22:45:55
in scala
Omnic 2017-01-26 22:45:56
S-99
merijn 2017-01-26 22:46:14
Those are focussed on providing more programming oriented tasks
Omnic 2017-01-26 22:46:23
yeah i enjoyed S99
Omnic 2017-01-26 22:48:42
ah yeah, s-99 is an adaptation of h-99 for scala
uiop 2017-01-26 22:51:24
does dons still hang around here?
merijn 2017-01-26 22:52:00
uiop: He mostly tweets pics of skylines nowadays ;)
uiop 2017-01-26 22:52:35
sounds like 1st world problems merijn...? ... :)
merijn 2017-01-26 22:53:51
uiop: He's rather busy with work, I gather and thus not as active as he used to be.
uiop 2017-01-26 22:53:52
merijn: thx, that was perfect info amount to locate
thatguy 2017-01-26 23:01:50
can anyone explain me the error here: http://lpaste.net/351694 (very short code). I am trying to use point-free style
thatguy 2017-01-26 23:02:04
ah found it
thatguy 2017-01-26 23:02:07
nvm
ph88 2017-01-26 23:05:11
hi guys, i have a question about a syntax i should use in return https://paste.fedoraproject.org/537440/51145614/ with applicative style i would use more <*> but now with do notation i don't know how to express this
clmg 2017-01-26 23:12:06
Does anyone know how to get the window size in vty?
vapid 2017-01-26 23:12:22
> x = x
lambdabot 2017-01-26 23:12:24
:1:3: error:
lambdabot 2017-01-26 23:12:24
parse error on input '='
lambdabot 2017-01-26 23:12:24
Perhaps you need a 'let' in a 'do' block?
quchen 2017-01-26 23:13:15
clmg: Yes. @fmthoma is answering (author of vgrep, sitting next to me), I'm his IRC puppet. One moment. :-)
quchen 2017-01-26 23:13:45
clmg: https://github.com/fmthoma/vgrep/blob/master/src/Vgrep/App/Internal.hs#L27
clmg 2017-01-26 23:14:37
Great :-)
zipper 2017-01-26 23:14:40
Is there a function that means the same as (fmap . fmap) or (fmap . fmap .fmap ...) continued?
zipper 2017-01-26 23:14:56
Like is there a function that is like compose fmaps
zipper 2017-01-26 23:15:05
:t sequence
lambdabot 2017-01-26 23:15:08
(Traversable t, Monad m) => t (m a) -> m (t a)
ph88 2017-01-26 23:15:32
zipper, maybe i could use such a function too but then with <*>
merijn 2017-01-26 23:15:39
zipper: No, because that's asking the compiler to guess how many fmaps you want
zipper 2017-01-26 23:16:26
:t (.) <$> fmap <*> fmap
lambdabot 2017-01-26 23:16:27
Functor f => (b -> b) -> f b -> f b
zipper 2017-01-26 23:16:38
goddamn
zipper 2017-01-26 23:16:47
merijn: I see
quchen 2017-01-26 23:17:14
Profpatsch: Please approve of my mailing list subscription »alsbald«. :-รพ
ph88 2017-01-26 23:19:21
merijn, could you take a look at my paste please? i think it's not a difficult question
merijn 2017-01-26 23:20:10
ph88: Well, what's 'sp' supposed to return? What's it's type?
ph88 2017-01-26 23:21:14
sp is supposed to be like chr '(' <*> n get <*> chr '(' <*>
ph88 2017-01-26 23:21:27
uh without that last <*>
merijn 2017-01-26 23:22:01
I'm not sure what you mean by that?
ph88 2017-01-26 23:24:21
eh wait let me try it with <*> first and see if it compiles and then see if it's possible to do the same with a do notation
ph88 2017-01-26 23:29:52
merijn, i think i will come back to this later, i'm a bit swamped in compiler errors :|
shiona 2017-01-26 23:29:55
Random thought of the day: Is it sensible (or even favourable) to think as the time passing as a side effect of a function?
shiona 2017-01-26 23:31:52
or is it a philosophical question and the running program is more likely the side effect of the time
Logio 2017-01-26 23:35:09
I don't think it's a philosophical question, but the latter still holds
danza 2017-01-26 23:37:28
shiona, i think i've actually seen time encoded as a side effect, but i can't remember where :(
tabaqui1 2017-01-26 23:38:34
stack build i386 compiler without m32 flags
tabaqui1 2017-01-26 23:38:57
so I cannot use it to create x86 binaries
tabaqui1 2017-01-26 23:39:02
s/build/setup
tabaqui1 2017-01-26 23:39:26
maybe someone has solved this problem already>
tabaqui1 2017-01-26 23:39:29
*?
uiop 2017-01-26 23:39:50
shiona: what Logio said, it is not a philosopphical question, even though you may be smoking the good stuff.... if time if a river that everything floats down, then sure programs float down it as well.. but them being a *side effect* of time is a stretch. what, are the anthropahaskellizing time as a haskell program ans saying time has side-effects wqhich include the running of compuiter programs
uiop 2017-01-26 23:39:54
or something
uiop 2017-01-26 23:39:55
?
uiop 2017-01-26 23:40:22
*"what, are _we_ antropa...."
merijn 2017-01-26 23:40:55
shiona: You are on the brink of reinventing...*drumroll* Functional Reactive Programming ;)
shiona 2017-01-26 23:41:02
:D
uiop 2017-01-26 23:41:14
lol yes exactly, ":D"
merijn 2017-01-26 23:41:41
Recommended reading: "Functional Reactive Animation" and "Push-Pull FRP" by Conal Elliott
shiona 2017-01-26 23:42:30
Unfortunately I don't have time to study haskell at this time.
shiona 2017-01-26 23:42:59
I did dabble on FRP a tiny bit at some point, maybe I'll continue after I get my shit together at work
uiop 2017-01-26 23:43:02
u must be too busy swimming in rivers
unclechu 2017-01-26 23:43:09
hey guys, can I deduce type for monad by existing typeclass instsance? here is my small example: http://pastebin.com/QgSXCPpU , it's not something real, I just want `continueIf` to deduce its `Left` type as `()`, could I somehow make ghc to do it?
uiop 2017-01-26 23:43:58
good bye sweet prince