rewsd 2017-02-08 22:45:22
liste: yes, at least to some extent. I have a bunch of nodes that don't change, but a lot of different values or "boxes of content" getting added or deleted, or moving between these nodes
srhb 2017-02-08 22:48:31
cocreature: Perhaps I'll try both and figure out which I like more. :-)
rewsd 2017-02-08 22:49:29
oh, and I forgot to mention, but this supposed to be the business logic for a web server and needs to have a constant uptime. I haven't looked too deeply at FRP yet, so not sure how it performs wrt. e.g. memory over a long period of time, but I'm assuming that part will be okay
davean 2017-02-08 23:00:39
rewsd: I use FRP as the conceptualization for a website framework
davean 2017-02-08 23:01:51
rewsd: Specificly, https://code.xkrd.net/davean/ALON
rewsd 2017-02-08 23:06:37
davean: I'll take a look at your source. have you done any tests to see how well the application runs with large amounts of data?
giry 2017-02-08 23:06:59
hi
giry 2017-02-08 23:07:01
list!
davean 2017-02-08 23:07:14
define large, your "10000" is entirely unclear - also it isn't really important how many, but how they're composed
davean 2017-02-08 23:15:16
rewsd: well, i'm going to bed
rewsd 2017-02-08 23:15:28
daevean, as my understanding of FRP is (correct me if I've misunderstood), you assign Events or Behaviours to different sources you want to keep track of, for example keyboard input, or the state of some data structure. i.e. the player character in a game, or the state of a prompt in a GUI application. In my case I have some 10000 Haskell records that would have to respond to Events. as I understand your
rewsd 2017-02-08 23:15:34
case, you track things such as whether or not static files are found in a folder, so I guess what I meant is if there are any limits to the amount of different data sources that can send events. again, please excuse my ignorance when it comes to RP
rewsd 2017-02-08 23:16:22
oh, allright! have a good night! :)
merijn 2017-02-08 23:25:08
@ask byorgey I'm preparing some additions for monoid-extras, do you have any targets w.r.t. which GHCs to support?
lambdabot 2017-02-08 23:25:08
Consider it noted.
merijn 2017-02-08 23:40:03
hmmm, I wonder why we haven't expanded Enum to have "safeToEnum :: Int -> Maybe a", this would drastically make my live easier :\
merijn 2017-02-08 23:41:12
Because as far as I can tell there's no way to write a Bounded instance that adds a single element "after" the last enum from some other type, as there's no way in the Enum to find the highest possible value of a type
bitonic 2017-02-08 23:42:34
merijn: well, if you add a `Bounded` constraint you can
merijn 2017-02-08 23:42:53
bitonic: Right, but I'm trying to write a Enum instance for a newtype wrapper
merijn 2017-02-08 23:43:11
bitonic: And if I add the Bounded constraint it won't work for any type that's not Bounded
bitonic 2017-02-08 23:43:18
merijn: Yeah what I'm saying is that you might have to do `instance (Bounded a) => Enum (Foo a)`
bitonic 2017-02-08 23:43:21
Yep
merijn 2017-02-08 23:43:51
bitonic: The problem is basically that we have a single Enum, rather than one for Bounded and one for unbounded, it's a mess
bitonic 2017-02-08 23:44:30
merijn: or, you could do `safeToEnum n = unsafePerformIO (catch (return (Just (toEnum n))) (\_ -> return Nothing))` :P
merijn 2017-02-08 23:45:01
bitonic: Except that doesn't work, because 'error' leaks out of the catch due to laziness
