ralu 2017-02-09 07:46:35
pie__: do you have more specific questions in mind?
pie__ 2017-02-09 07:47:00
well y priary interest is reverse engineering, but im also interested in verification
reactormonk 2017-02-09 07:47:12
Got some -Werror here, any way I can supress the missing fields warning at a specific point?
pie__ 2017-02-09 07:47:13
but i dont know anybody anywhere so i dont really know how to get into it
pie__ 2017-02-09 07:47:38
*my
pie__ 2017-02-09 07:48:34
i figured people here might be slightly more academically inclined and i might find someone here :P
reactormonk 2017-02-09 07:53:10
Is it possible to have stack add a certain library to all builds globally?
reactormonk 2017-02-09 07:53:27
ghci-pretty is nice to have everywhere.
mangustt 2017-02-09 07:56:20
ralu are you still here?:)
ralu 2017-02-09 07:57:34
mangustt: sure :D
mangustt 2017-02-09 07:58:37
ralu is there any chance you could help me understand this function better? http://lpaste.net/352280 i dont quite understand the recursion there in line 9
Sonolin 2017-02-09 07:58:43
is there a word for "translating" an object from one Data Type to another?
mangustt 2017-02-09 07:59:23
ralu http://sequence.complete.org/node/296 found here, but there is no really explanaiton:/
mangustt 2017-02-09 07:59:27
explanation *
Sonolin 2017-02-09 07:59:30
i.e. maybeToList "transates" a Maybe a value to a [a] value (for lack of better word..)
lyxia 2017-02-09 07:59:44
Sonolin: transform?
Sonolin 2017-02-09 07:59:54
that works, thanks lyxia
shapr 2017-02-09 08:04:56
delYsid``: you still writin Haskell?
mnoonan 2017-02-09 08:07:00
Sonolin: you might be after the notion of "natural transformation", too: https://lukepalmer.wordpress.com/2008/04/28/whats-a-natural-transformation/
krey 2017-02-09 08:09:50
lc__: weird, forM_ is exactly what I needed next!
kadoban 2017-02-09 08:11:37
Haha
ralu 2017-02-09 08:12:58
mangustt: about line 9 - is like : If last element in array is number, then pop this element and move position by x
Sonolin 2017-02-09 08:14:26
that's actually quite helpful thanks mnoonan
Tuplanolla 2017-02-09 08:21:12
Is `cabal build` supposed to handle `.hsc` files automatically? It's not working for me.
tsahyt 2017-02-09 08:23:53
I'm pretty sure it should, yes
tsahyt 2017-02-09 08:24:11
as long as you have hsc2hs in your path at least
Tuplanolla 2017-02-09 08:24:33
It just says "Could not find module".
tsahyt 2017-02-09 08:25:00
it's listed in exposed-modules or other-modules?
Tuplanolla 2017-02-09 08:25:06
Neither.
tsahyt 2017-02-09 08:25:13
Well you need to have it there
Tuplanolla 2017-02-09 08:26:16
Those fields are not allowed for executables.
tsahyt 2017-02-09 08:27:16
other-modules is allowed for executables afaik
Tuplanolla 2017-02-09 08:27:28
Ah, yes. That one works.
tsahyt 2017-02-09 08:27:51
stack at least even gives a warning when you don't list something in there
Tuplanolla 2017-02-09 08:28:45
This should get me going. Thanks.
mangustt 2017-02-09 08:29:40
ralu ah thanks! got it
mangustt 2017-02-09 08:31:03
ralu can i ask you the last question? i googled it too, but the syntax is still not very clear: http://lpaste.net/352283 how does it compute the representation?:|
geekosaur 2017-02-09 08:34:10
the "representation" here is turning "a1" into [7,0]. google won't help you much there since it's a program specific representation
wamaral 2017-02-09 08:34:15
quick question on Aeson: I have the following `status <- (o .: "fields") >>= (.: "status") >>= (.:? "name")` and it works as expected. However, how do I handle the possibility of the "status" key not being present?
monochrom 2017-02-09 08:34:32
(7,0)
geekosaur 2017-02-09 08:34:34
although the comment is misleading in that case, *or* the code is incomplete
geekosaur 2017-02-09 08:34:40
er, yes
ralu 2017-02-09 08:35:09
aciic char is converted in number using integer (ord). Ascii arithmetics turns 'a' , 'b' , 'c' -> 0 , 1 , 2 .. and similarly for charaters '1' , '2'
tsahyt 2017-02-09 08:35:33
since yesterday I've been wondering, how does AFRP work with event driven frameworks, say GTK?
tsahyt 2017-02-09 08:36:06
I've been looking at wires in particular, but afaik all AFRP frameworks basically run in a tight loop and aren't driven from an outside source of callbacks like say reactive-banana is
tsahyt 2017-02-09 08:36:44
otherwise AFRP seems like a very good fit for me to implement some audio stuff on top of JACK, for performance reasons
zipper 2017-02-09 08:37:54
WOW ethereum's "Bitcoin As A State Transition System" sounds like the state monad.
monochrom 2017-02-09 08:40:03
No I think it's the writer monad.
zipper 2017-02-09 08:41:22
monochrom: Is that so? I am not familiar with the writer monad :) I am eager to play with this.
tsahyt 2017-02-09 08:41:45
I suppose I could have a polling function that keeps trying to read an MVar and set up the callbacks via a thread that then puts something into that MVar
zipper 2017-02-09 08:41:48
Goddamn Writer monad is not in the book I have :(
tsahyt 2017-02-09 08:41:51
but that seems like a hilariously ugly solution
zipper 2017-02-09 08:42:00
bitemyapp: Give us the Writer monad :P
monochrom 2017-02-09 08:42:49
Bitcoin is a log rather than a state.
cocreature 2017-02-09 08:44:22
zipper: I think it's deliberately left out. there are very few places where the writer monad is the appropriate thing to use. it tends to lead to space leaks
