glguy 2017-01-28 06:45:18
GHC.Generics is only potentially faster if you know what you're doing with it. If you don't you can make code that's just as slow
glguy 2017-01-28 06:45:37
You have to structure things so that the generic representation is able to optimize away
monochrom 2017-01-28 06:46:56
It is strange that you are comparing their speeds, implying that you still don't believe that they have different purposes to begin with.
glguy 2017-01-28 06:47:33
There's some overlap in what they can do, so the comparison isn't totally out of scope
dsfox 2017-01-28 06:48:33
glguy: I'm just a person trying to figure out a reasonable approach based on info I've been able to pick up from the internets. I have no firm beliefs on any of these issues, just a desire to get a job done.
glguy 2017-01-28 06:49:34
Did you look at the paste I linked to above?
dsfox 2017-01-28 06:50:35
glguy: oh, thank you, I missed that the first time
codedmart 2017-01-28 06:55:49
I am trying to create packages with stack, and I don't want to build a package unless I pass the build flag. I get this error though when just running `stack build`: https://gist.github.com/codedmart/fb06caf06d2b62534e98060661868094
codedmart 2017-01-28 06:59:36
I got it
dsfox 2017-01-28 07:12:30
glguy: for ghc8 the first example needs a DataKind annotation: data SelProxy (s :: Meta) (f :: * -> *) a = SelProxy
glguy 2017-01-28 07:12:52
Yeah.
glguy 2017-01-28 07:13:03
The second version doesn't make a new proxy type , though
dsfox 2017-01-28 07:13:13
nice
glguy 2017-01-28 07:16:49
Also DataKinds isn't dangerous to enable
reactormonk 2017-01-28 07:16:49
Anything out there to construct URIs?
reactormonk 2017-01-28 07:17:08
Network.URI is mostly for parsing them.
monochrom 2017-01-28 07:19:00
If you fill out the URI record and then use show, do you get an url?
monochrom 2017-01-28 07:19:35
actually there is also uriToString
tsahyt 2017-01-28 07:19:42
Hello. I'm in the process of reading conal's paper on push-pull FRP and I checked haskell to see what libraries implementing it. I noticed that there doesn't seem to be any library implementing it that is also still maintained. Why is that?
monochrom 2017-01-28 07:20:25
Probably because conal is busy.
tsahyt 2017-01-28 07:21:12
but what about the other parts of the FRP zoo? there are a few AFRP libraries and monadic FRP things like reactive-banana, which all seem to be maintained.
tsahyt 2017-01-28 07:21:31
I guess my question is really whether push-pull just fell out of favor, and if yes, whether there's some technical reason for it
monochrom 2017-01-28 07:22:37
The other parts of the zoo are from other people.
tsahyt 2017-01-28 07:23:49
so it's basically just that everybody has their own take on it then?
reactormonk 2017-01-28 07:28:30
monochrom, ohh, right. oops.
reactormonk 2017-01-28 07:28:39
didn't see the contructor.
monochrom 2017-01-28 07:29:47
Yes tsahyt.
monochrom 2017-01-28 07:30:12
Now also look at pipes vs conduits vs machines vs iteratee vs enumeratee vs ...
reactormonk 2017-01-28 07:36:32
Is there a reverse dependency index on hackage?
monochrom 2017-01-28 07:37:00
Not on hackage. Someone else has one. But I forgot the url.
glguy 2017-01-28 07:37:27
Try typing "reverse dependency hackage" into Google
reactormonk 2017-01-28 07:38:17
ehh, sorry
monochrom 2017-01-28 07:38:27
No worries.
reactormonk 2017-01-28 07:38:36
https://github.com/haskell/hackage-server/issues/40 :-(
monochrom 2017-01-28 07:38:55
yikes
reactormonk 2017-01-28 07:39:33
There's http://packdeps.haskellers.com/reverse
monochrom 2017-01-28 07:39:50
We need a crowdfunding campaign to buy more computers for hackage to do reverse dependency.
reactormonk 2017-01-28 07:40:11
So I started using Network.URI, but then I realized it's String-based - apparently there's http-types which gives you a few things, but no URI type from what I see (?)
monochrom 2017-01-28 07:40:26
And we need to repeat a similar campaign every 5 years for replacement parts.
monochrom 2017-01-28 07:40:56
Let me take a look at http-types doc
dunx 2017-01-28 07:41:51
can the computer it's running on take any more memory?
monochrom 2017-01-28 07:43:04
Maybe. But adding memory requires crowdfunding too.
monochrom 2017-01-28 07:44:01
http-types seems to be moar bytestrings for urls
dunx 2017-01-28 07:44:20
could it not be more distributed?
dunx 2017-01-28 07:44:40
like, hsve people volunteer computing for it
monochrom 2017-01-28 07:44:46
More distributed requires buying more computers which is back to what I said first.
monochrom 2017-01-28 07:45:01
Ah OK yes, so someone needs to organize it. Who?
