glguy 2017-02-07 13:45:37
That's correct. The only "optimization" in that space that that library does is to avoid the generic representation having paths out to empty parts of the tree per data type
dfeuer 2017-02-07 13:45:54
Do you have a sense of what would be involved in adding such support?
dfeuer 2017-02-07 13:47:13
I would imagine compressing the tails would be non-impossible, while trying to compress internal runs would at least be very difficult, but that's just a guess.
glguy 2017-02-07 13:47:36
I don't really, at least not off the top of my head. The path is derived from the structure of the type.
dfeuer 2017-02-07 13:48:17
IIUC, the Generic `from` converts things one constructor at a time.
dfeuer 2017-02-07 13:48:45
So presumably you could avoid unrolling the path further than necessary?
dfeuer 2017-02-07 13:48:53
I don't quite grok all your code yet.
dfeuer 2017-02-07 13:49:04
(although I see the general outlines fairly well)
Squarism 2017-02-07 14:15:13
is there some way i can tell stack not to build all executables defined in my cabal file when i just want to run the testsuite ?
Welkin 2017-02-07 14:16:07
cabal build test ?
Squarism 2017-02-07 14:18:10
id prefer stack because of my initial troubles with cabal non-install
jchia 2017-02-07 14:18:18
Recursion can often be converted into a fold. Some people say using fold is more efficient but sometimes recursion is more readable, at least to me. Any rules of thumb for deciding whether to convert a recursion into a fold?
ThusSpakeHarambe 2017-02-07 14:19:20
hey guys its 2040, is this channel still active?
suzu 2017-02-07 14:19:34
pretty sure ghc will do the same thing regardless of if it's a use of fold or a recursion that is a fold
Welkin 2017-02-07 14:19:38
2040?
suzu 2017-02-07 14:19:40
barring rewrite rules
jle` 2017-02-07 14:29:13
ThusSpakeHarambe: will this channel be actuve in 23 years?
jle` 2017-02-07 14:29:15
probably
Welkin 2017-02-07 14:29:33
o.o
jle` 2017-02-07 14:29:34
haskell is 27 years old
ThusSpakeHarambe 2017-02-07 14:29:48
still the friendliest channel on freenode in 23 years too? or will u all be robots then
Welkin 2017-02-07 14:29:49
do you notice the nickname of the person who left that comment?
jle` 2017-02-07 14:29:59
i just Th :|
jle` 2017-02-07 14:30:39
jchia: i think you might have it backwards
jle` 2017-02-07 14:30:45
recursion typically makes things less readable
jle` 2017-02-07 14:31:00
using a higher order function usually makes things easier to read/understand
Welkin 2017-02-07 14:31:05
jle`: unless you are doing something that would be a big mess with a fold
jle` 2017-02-07 14:31:33
yes, there exist cases where explicit recursion would be the more readable option
jle` 2017-02-07 14:31:43
but one of the entire points of higher order functions is that they make most code more readable
jle` 2017-02-07 14:32:05
the cases were the fold is less readable is the exception, not the norm
Welkin 2017-02-07 14:32:18
@pl Nothing <$ a
lambdabot 2017-02-07 14:32:18
Nothing <$ a
Welkin 2017-02-07 14:32:20
lol
dfeuer 2017-02-07 14:32:57
?
kylo_ 2017-02-07 14:34:32
hi guys
Squarism 2017-02-07 14:34:41
Is there something really wrong with this cabal file : http://lpaste.net/352210 - if i change my root modules it rebuild every executable even if i run : stack build jc:test:jc-testsuite
Squarism 2017-02-07 14:34:55
rebuilds
kylo_ 2017-02-07 14:35:00
im new to programming , and what book would you recommend for learning haskell ?
Welkin 2017-02-07 14:36:26
@where learnhaskell -- kylo_
lambdabot 2017-02-07 14:36:26
https://github.com/bitemyapp/learnhaskell
jchia 2017-02-07 14:38:14
http://gerrit/#/c/979/
