<    March 2017    >
Su Mo Tu We Th Fr Sa  
          1  2  3  4  
 5  6  7  8  9 10 11  
12 13 14 15 16 17 18  
19 20 21 22 23 _2_4 25  
26 27 28 29 30 31
00:02 mengu joined
00:07 vadimich joined
00:08 louispan joined
00:08 mengu joined
00:09 animated joined
00:13 lewis joined
00:14 hvr joined
00:14 hvr joined
00:16 Rodya_ joined
00:16 dgonzo joined
00:18 Quintasan joined
00:24 aarvar joined
00:27 mounty joined
00:28 <dibblego> SaidinWoT: fixed, sorry about that
00:34 dgonzo_ joined
00:34 jdelreal joined
00:34 vadimich joined
00:36 skeet70 joined
00:39 <SaidinWoT> ah, thanks!
00:43 louispan joined
00:47 zanshin joined
00:47 dgonzo joined
00:48 Foras joined
00:51 eacameron joined
00:56 sigmundv joined
00:58 hphuoc25 joined
00:58 <peterbecich> Hi there! Ignoring the messiness of this code, can someone tell me why these type annotations cause problems? I've had to comment them out: (<*>) stateTSFAB stateTSFA = StateT (\s0 -> let
00:58 <peterbecich> fabs = runStateT stateTSFAB s0 -- :: f (a -> b, s)
00:58 <peterbecich> in fabs >>= (\tup -> let
00:58 <peterbecich> ab = fst tup -- :: a -> b
00:58 <peterbecich> s1 = snd tup -- :: s
00:58 <peterbecich> fas = runStateT stateTSFA s1 -- :: f (a, s)
00:58 <peterbecich> fbs = (bimap ab id) <$> fas -- :: f (b, s)
00:58 <peterbecich> in fbs
00:58 <peterbecich> ) -- :: f (b, s)
00:58 <peterbecich> )
00:59 <glguy> do not paste tha tmuch to channel
00:59 <peterbecich> sorry, I won't again
01:00 <peterbecich> I'll use lpaste like it says in the channel message. Thanks glguy
01:00 <glguy> The problem is that when you put, for example, :: a -> b on the ab definition, you're saying it works FOR ALL a and b
01:01 <glguy> not the a and b from the signature on the lines above
01:01 <glguy> There's an extension called ScopedTypeVariables
01:01 <glguy> if you want to be able to refer to variables from other type signatures
01:02 eacameron joined
01:03 <peterbecich> ScopedTypeVariables sounds exactly like what I had in mind. I'll learn more about `forall`, also. Thanks very much glguy
01:06 <peterbecich> here's the paste if anyone is curious. Much cleaner: http://lpaste.net/353115
01:09 tom7942 joined
01:14 cschneid_ joined
01:26 eacameron joined
01:28 lewis joined
01:35 aarvar joined
02:00 lewis joined
02:05 eacameron joined
02:13 conal joined
02:15 jokester joined
02:16 <jmg8766> anyone want to critique what I have atm for my sudoku solver? http://lpaste.net/353117
02:16 nomotif joined
02:18 louispan joined
02:19 seagreen joined
02:20 mjs2600 joined
02:24 eacameron joined
02:28 eacameron joined
02:31 vadimich joined
02:32 vicfred joined
02:32 vadimich joined
02:37 hphuoc25 joined
02:38 hphuoc25 joined
02:51 jmnk joined
02:54 hexagoxel joined
02:55 cschneid_ joined
02:56 cschneid_ joined
02:57 lak joined
03:01 lewis joined
03:03 lak joined
03:04 takle joined
03:06 exferenceBot joined
03:08 Rodya_ joined
03:10 \Mike joined
03:10 lspitzner joined
03:10 hexagoxel joined
03:15 louispan joined
03:17 unmanbearpig joined
03:17 uglyfigurine joined
03:30 mac10688 joined
03:32 peterbecich joined
03:33 lak joined
03:35 howdoi joined
03:38 damason joined
03:41 damason_afk joined
03:49 malaclyps joined
03:56 mengu joined
04:04 eacameron joined
04:04 exferenceBot joined
04:04 takle joined
04:07 lspitzner joined
04:09 hexagoxel joined
04:15 cschneid_ joined
04:16 takle joined
04:18 mounty joined
04:23 takle joined
04:31 hphuoc25 joined
04:32 lewis joined
04:34 lak joined
04:38 takle joined
04:45 matp joined
04:47 MarcelineVQ joined
04:49 hphuoc25 joined
04:56 lithie joined
04:58 systemfault joined
04:59 hexagoxel joined
05:14 malaclyps joined
05:15 louispan joined
05:23 takle joined
05:30 catalin joined
05:35 cschneid_ joined
05:36 lak joined
05:46 hphuoc25 joined
05:47 howdoi joined
05:57 malaclyps joined
05:58 eacameron joined
06:02 Pupnik joined
06:05 vicfred joined
06:09 systemfault joined
06:10 eacameron joined
06:14 eacameron joined
06:14 takle joined
06:16 jsoo joined
06:16 hexagoxel joined
06:24 takle joined
06:33 lewis joined
06:37 louispan joined
06:47 peterbecich joined
06:55 peterbec` joined
07:06 kritzcreek_ joined
07:06 takle joined
07:08 eacameron joined
07:21 takle joined
07:24 lewis joined
07:36 lak joined
07:37 harfangk joined
07:37 takle joined
07:46 takle joined
07:55 Elsi joined
07:57 greeny__ joined
08:01 lewis joined
08:01 lithie joined
08:04 peterbec` joined
08:07 lewis joined
08:16 mattyw joined
08:17 hphuoc25 joined
08:28 bruschkov joined
08:31 zero_byte joined
08:31 takle joined
08:32 unmanbearpig joined
08:38 lak joined
08:39 Durz0 joined
08:45 thc202 joined
08:52 hphuoc25 joined
08:58 grdryn joined
09:03 matp joined
09:06 nacon joined
09:06 nacon joined
09:08 gregman_ joined
09:09 louispan joined
09:14 takle joined
09:20 zero_byte joined
09:24 hexagoxel joined
09:25 Uniaika joined
09:33 unmanbearpig joined
09:38 zero_byte joined
09:41 nille joined
09:41 nille joined
09:48 aarvar left
09:54 madjestic joined
09:55 takle joined
10:04 hexagoxel joined
10:12 Miroboru joined
10:16 unmanbearpig joined
10:16 peterbec` joined
10:17 louispan joined
10:27 merijn joined
10:29 uglyfigurine joined
10:30 slomo joined
10:31 shayan_ joined
10:39 lak joined
10:43 hoffmeyer joined
10:43 hexagoxel joined
10:56 eacameron joined
10:57 Gurkenglas joined
11:01 jmg8766 joined
11:04 vfewbuew joined
11:08 deank joined
11:14 cschneid_ joined
11:17 hphuoc25 joined
11:19 contiver joined
11:20 <contiver> what does being a maintainer for a package imply?
11:20 <contiver> Just making sure bounds are updated? fixing bugs?
11:21 <contiver> (btw, I'm talking about maintaining a package that is not my own)
11:26 <merijn> contiver: The same thing that "developing your own package" is, fixing bugs, updating bounds, making improvements, releasing new versions
11:29 eacameron joined
11:32 sarkin joined
11:34 <contiver> merijn, so normally I'd fork the repo, change the repository links in the package.cabal file, and just hack at it as if it were my own?
11:35 <contiver> my concern is how much liberty I have when modifying it, but I guess that changes from author to author.
11:37 <merijn> contiver: Yeah, it depends on the original author
11:38 <merijn> contiver: But tbh, if someone makes you (co)maintainer, they're giving you a fairly broad freedom in what to do
11:38 unmanbearpig joined
11:38 <merijn> Because if they wanted to keep control, they'd keep only themselves as maintainer and request patches/PRs
11:41 lak joined
11:41 eacameron joined
11:43 lewis joined
11:46 eacameron joined
11:46 snowcrshd joined
11:47 watersoul joined
11:49 uglyfigurine joined
11:53 ederign joined
11:53 eacameron joined
11:53 Uniaika joined
11:54 Miroboru joined
12:14 fedomedobedogedo joined
12:15 saylu joined
12:15 contiver joined
12:16 takle joined
12:28 saylu joined
12:28 lewis joined
12:30 merijn joined
12:38 deank joined
12:45 hoffmeyer joined
12:53 mattyw joined
13:06 hoffmeyer joined
13:09 mattyw joined
13:13 Uniaika joined
13:13 lewis joined
13:23 Dnthr joined
13:25 vadimich joined
13:25 vadimich joined
13:27 Miroboru joined
13:28 vadimich joined
13:29 vadimich joined
13:34 mengu joined
13:38 Miroboru joined
13:39 jnj joined
13:41 chlong_ joined
13:42 lak joined
13:42 wei2912 joined
13:44 <freechips> hey guys i just discovered that haskell, unlike ocaml, allows partial functions
13:44 <freechips> i really dislike it now checking for exhaustive patterns, as i loved that about ocaml
13:44 <merijn> wut
13:44 <freechips> how can i force this and check for non-exhaustive functions?
13:44 <merijn> ocaml allows partial functions just fine
13:44 <freechips> s/now/not
13:45 lithie joined
13:45 mjs2600 joined
13:45 <merijn> And if you use -Wall ghc checks exhaustiveness/redundancy
13:45 <freechips> yeah but ocaml tells me when it's not exhaustive
13:45 <freechips> what about in ghci?
13:46 <merijn> So does ghc with -Wall]
13:46 grayjoc joined
13:46 <jnj> you can start ghci with -Wall as well
13:46 <freechips> ok thanks
13:46 <freechips> though i think it should be the default action
13:47 <freechips> i mean why let users pass on such a big mistake?
13:47 contiver_ joined
13:50 keutoi joined
13:53 tedcruise joined
14:03 mjs2600 joined
14:07 <geekosaur> freechips, mainly because the definers of Haskell added things like head to the standard library --- thus legitimizing partial functions.
14:09 harfangk joined
14:09 vmeson joined
14:14 hphuoc25 joined
14:15 pbrant joined
14:16 hphuoc25_ joined
14:18 Bane^ joined
14:19 carlomagno joined
14:21 Miroboru joined
14:22 hphuoc25 joined
14:24 pbrant joined
14:25 hphuoc25_ joined
14:27 Bane^ joined
14:29 hoffmeyer joined
14:29 delexi joined
14:29 <freechips> i mean still the unused cases could be covered with exceptions
14:30 <freechips> like a function could still be partial but its definition complete if the undefined part is handled with an exception
14:30 hphuoc25 joined
14:30 <freechips> seems like bad practice not warn about partial functions at all
14:30 contiver_ joined
14:31 MattWest joined
14:32 jmg8766 joined
14:32 <jmg8766> didn't realize I disconnected sorry if anyone responded
14:34 mizu_no_oto_work joined
14:35 <merijn> freechips: Why do you keep saying it doesn't warn about that when it does?
14:38 <freechips> because i'd have to enable all warnings to get that
14:38 <freechips> anyway no biggie, just sayin its not healthy thats all
14:38 lak joined
14:39 <qu1j0t3> this might be the wrong forum to get it changed
14:44 contiver joined
14:44 <hexagoxel> Every warning can be toggled individually, including -Wincomplete-patterns
14:44 mjs2600 joined
14:46 <hexagoxel> also note that -Wall is not "all warnings"
14:57 mjs2600 joined
14:58 zanshin joined
15:01 <freechips> alright thanks
15:02 dgonzo joined
15:19 uglyfigurine joined
15:25 e14 joined
15:31 hoffmeyer joined
15:31 cschneid_ joined
15:33 BeiZero joined
15:34 animated joined
15:37 mjs2600 joined
15:40 contiver joined
15:42 uglyfigurine joined
15:47 grayjoc joined
15:48 saylu joined
15:50 louispan joined
15:52 argent0 joined
16:01 tsmish joined
16:02 chlong__ joined
16:04 hphuoc25 joined
16:05 jathan joined
16:06 Rodya_ joined
16:07 blissdev joined
16:09 mizu_no_oto_work joined
16:15 cschneid_ joined
16:24 zero_byte joined
16:31 skeet70 joined
16:32 hoffmeyer joined
16:36 <contiver> when using FFI, does GHC handle the C code compilation ?
16:37 <contiver> I'm maintaining a code that is basically haskell bindings to a C library. I updated the C library files with newer released ones, and everything is building fine, but I'm just a bit skeptical about it, so I thought I'd ask.
16:39 <contiver> the C files are listed in the .cabal "include-dirs", "c-sources", and "includes". The relevant Haskell files are using the ForeignFunctionInterface Language pragma.
16:42 Gurkenglas joined
16:46 <argent0> contiver: IDK, try in #haskell
16:49 mjs2600 joined
17:05 hphuoc25 joined
17:06 <jmg8766> how do I convert [Integer] -> [Char] ?
17:07 <qu1j0t3> you could fmap with any function that is Integer -> Char
17:08 <* qu1j0t3> wonders what the bot syntax is...
17:09 <qu1j0t3> :h Integer -> Char
17:10 SomeT joined
17:12 <contiver> jmg8766, what are your integers? Because the Integer data type is for numbers of arbitrary size, while Char is just 2 bytes (iirc).
17:13 <contiver> so how are you expecting to convert them? Are you trying to get the ascii or utf-8 representation of the integers?
17:13 <jmg8766> so I'm trying to write a show function to display a sudoku puzzle
17:14 <jmg8766> the integers are 0-9 and I need to display 0 as _
17:14 <contiver> ok, in that case you probably want to use Int instead of Integer
17:14 <contiver> Integer is what some other languages or libraries call "BigInt"
17:15 <contiver> while Int is your usual int, a long if I'm not mistaken.
17:16 <jmg8766> ok so how do I convert Integer to int?
17:16 <jmg8766> and Int to Integer
17:16 <contiver> well.. if the code is yours, just change Integer to Int in the function type
17:17 <contiver> or are you getting the Integers from somewhere?
17:17 keutoi joined
17:17 <contiver> If you need to "convert", I guess that using fromIntegral should do it.
17:17 <jmg8766> oh I was thinking the homework specified that my functions needed to take Integers
17:18 <jmg8766> but I misread he was just saying "takes a list of integers"
17:18 <contiver> then it's probably better to just use [Int]
17:20 <contiver> as for what converts Ints into Char, the easiest way to find out is using hoogle or hayoo. For example, searching for "Int -> Char" in Hoogle: https://www.haskell.org/hoogle/?hoogle=Int+-%3E+Char
17:24 wildlander joined
17:24 mizu_no_oto_work joined
17:27 tom7942 joined
17:30 flounders joined
17:30 Deide joined
17:31 <ski> jmg8766 : probably make a custom function to convert an individual integer to a character, since `0' should be converted specially
17:32 <SomeT> anyone know why gchi command would not work over ssh, but when I sit at the computer and type the command it works
17:33 hoffmeyer joined
17:34 <flounders> Is it in an interactive or scripted ssh session?
17:34 <ski> sounds weird
17:49 Rodya_ joined
17:50 jle` joined
17:51 <SomeT> ah don't matter
17:51 <SomeT> I just asked someone to log in and check its installed lol
17:51 <SomeT> I have another question, whats the best command for brew on mac to install haskell
17:52 pilne joined
17:54 <SomeT> haskell-stack vs haskell?
17:54 <flounders> SomeT: If you want stack: https://docs.haskellstack.org/en/stable/install_and_upgrade/#macos
17:54 <SomeT> and haskell-platform
17:54 <SomeT> so many lol
17:54 <SomeT> thanks
17:54 <contiver> SomeT: I'm not a mac user, but stack is usually painless.
17:54 <contiver> I'd recommend that.
17:55 <SomeT> will it give me the full blown haskell experience?
17:56 <contiver> well, you can always "stack install xxxx" when you miss something, and if you are working on some package, as long as you list the dependencies in the .cabal file, stack handles the rest.
17:57 <SomeT> I will be using the software haskell for mac
17:57 <SomeT> I am about to write a genetic algorithm
17:57 <SomeT> well attempt it anyway
17:57 peterbecich joined
17:58 Nik05 joined
18:00 peterbecich joined
18:00 mizu_no_oto_work joined
18:06 hphuoc25 joined
18:13 mjs2600 joined
18:14 saylu joined
18:18 netheranthem joined
18:23 e14 joined
18:31 greeny joined
18:32 NoCreativity_ joined
18:34 mjs2600 joined
18:34 lewis joined
18:36 contiver joined
18:42 <jmg8766> ski : is there a nicer way to write that than pattern matching 0-9?
18:43 Rodya_ joined
18:44 saylu joined
18:45 hoffmeyer joined
18:46 peterbec` joined
18:50 <qu1j0t3> a guard?
18:50 <qu1j0t3> actually you don't need a guard
18:52 <jmg8766> right now I have char 0 = '_' \n char 1 = '1' etc
18:53 <SomeT> for a false beginner in haskell, whats the best genetic algorithm library?
18:55 <contiver> jmg8766, you don't need to list all of them, you can just do char x = chr x, where chr is a function of type Int -> Char
18:56 <contiver> so you need the first case for 0 (because that's an exception for you), and then for any other char, just convert it as normal.
18:56 AndreasK joined
18:58 <jmg8766> oh your talking about importing Char ?
18:58 <contiver> jmg8766, the function "chr" is from Data.Char, so you would need to do "import Data.Char (chr)"
18:58 saylu joined
18:59 <contiver> or, you could import it qualified, e.g. "import qualified Data.Char as C", and then call "chr" as "C.chr"
18:59 <SomeT> I have cabal-install version 1.22.9.0 but when I type `cabal install moo` it is saying `You may need to run 'cabal update' to get the latest list of available
18:59 <SomeT> packages.` so when I run that command, the same thing happens again, how can I fix?
19:01 nadirs joined
19:03 <contiver> I don't know about genetic algorithm libraries for Haskell, maybe nitrix has some idea?
19:03 <contiver> but moo seems to be quite outdated. The latest version is from 2013.
19:07 hphuoc25 joined
19:09 <jmg8766> > map (\x -> if x == 0 then '_' else chr x) [0..9]
19:09 <lambdabot> "_\SOH\STX\ETX\EOT\ENQ\ACK\a\b\t"
19:09 <jmg8766> what is going on here?
19:10 <ski> jmg8766 : you could use a guard, and `intToDigit', i suppose
19:10 <ski> > intToDigit 1
19:10 <lambdabot> '1'
19:10 <ski> > inRange (1,9) 2
19:10 <jmg8766> oh okay
19:11 <lambdabot> True
19:13 <Sornaensis> :t inRange
19:13 <lambdabot> Ix a => (a, a) -> a -> Bool
19:13 <Sornaensis> > inRange (0,1) (-0.0)
19:13 <ski> jmg8766 : contiver presumably had `char x = chr (x + ord '0')' in mind, which is more or less what `intToDigit' does
19:13 <lambdabot> error:
19:13 <lambdabot> • Ambiguous type variable ‘a0’ arising from a use of ‘inRange’
19:13 <lambdabot> prevents the constraint ‘(Ix a0)’ from being solved.
19:13 <Sornaensis> > inRange (0,1) (-0)
19:13 <ski> `Double' is not an instance of `Ix'
19:14 <lambdabot> True
19:14 <Sornaensis> is Ix some integral type
19:14 <Sornaensis> @hoogle Ix
19:14 <lambdabot> module Data.Ix
19:14 <lambdabot> Data.Ix class (Ord a) => Ix a
19:14 <lambdabot> module Data.IxSet.Ix
19:14 <ski> `Ix' is used for indexing arrays
19:14 <Sornaensis> ah
19:14 <ski> > inRange ((0,-5),(10,5)) (13,3)
19:14 <lambdabot> False
19:15 <ski> @type (Data.Array.IArray.!)
19:15 <lambdabot> (Data.Array.Base.IArray a e, Ix i) => a i e -> i -> e
19:17 <ski> @type range
19:17 <lambdabot> Ix a => (a, a) -> [a]
19:18 <ski> @let tabulate :: Ix i => (i,i) -> (i -> e) -> Array i e; tabulate ix f = array ix [(i,f i) | i <- range ix]
19:18 <lambdabot> Defined.
19:18 uglyfigurine joined
19:20 <ski> > let fibs7 = tabulate (0,7) $ \i -> case i of 0 -> 0; 1 -> 1; _ -> fibs7 ! (i - 1) + fibs7 ! (i - 2) in fibs7 -- dynamic programming
19:20 <lambdabot> array (0,7) [(0,0),(1,1),(2,1),(3,2),(4,3),(5,5),(6,8),(7,13)]
19:31 <SomeT> Why can't I install these? I really need to install these: https://hastebin.com/wopipabegi.txt
19:31 saylu joined
19:35 <Sornaensis> :t tabulate
19:35 <lambdabot> Ix i => (i, i) -> (i -> e) -> Array i e
19:39 contiver_ joined
19:39 binaryplease joined
19:42 albertus1 joined
19:48 mengu joined
19:57 sarkin joined
20:01 <jmg8766> what is the right way to derive 2 typeclasses? deriving (Eq,Show) ?
20:02 <contiver_> ski: yes, my bad, forgot about shifting the values. Thanks for pointing it out.
20:03 <contiver_> jmg8766: that's right.
20:03 <mengu> jmg8766: yes
20:03 <mengu> i.e. deriving (Eq, Show, Read)
20:07 averagehat joined
20:08 hphuoc25 joined
20:08 <averagehat> how do I get stack to forget about an old package dependency?
20:09 <averagehat> I depended on Chart (defaulted to 1.5.4) but now need a newer version
20:09 <averagehat> Chart-1.5.4 must match >=1.8.1 (latest applicable is 1.8.1)
20:09 <averagehat> That's the error above. Naturally I tried `stack clean`
20:10 <SomeT> how do I install a package manually? The one I need is not listed here : https://www.stackage.org/lts-5.18
20:11 <SomeT> I am after this one: https://github.com/astanin/moo
20:12 nomotif joined
20:14 <mengu> SomeT: it's on hackage
20:15 <mengu> you can add it as dependency and then build
20:15 <mengu> but as for the question, i have no clue :-)
20:16 <contiver_> averagehat: did you change the dependency in your .cabal file?
20:16 <contiver_> and have you tried using a different (newer) resolver?
20:16 <averagehat> contiver_: yes I did and now it won't build
20:16 <averagehat> contiver_: no I didn't try using a different resolver . . .
20:17 <averagehat> how would I know which one to try?
20:17 <contiver_> I think you can do stack solver
20:17 <jmg8766> to make something an instance of Eq, I need to define the (==) and (/=) functions for it?
20:17 <contiver_> or specify a particular one with --resolver
20:18 <averagehat> I tried `stack solver` too
20:18 <contiver_> jmg8766: just one of the two is enough.
20:18 <averagehat> I dunno, Chart is base (>=3 && <5) . and my project is in that window
20:18 lspitzner joined
20:19 <contiver_> what did the solver say?
20:19 abhiroop joined
20:19 <contiver_> and what happens if you do stack build --resolver nightly ?
20:21 <averagehat> No compiler found, expected minor version match with ghc-8.0.2 (x86_64) (based on resolver setting in /Users/mikep/haskell/Pathogen.hs/stack.yaml)
20:21 <averagehat> (results of nightly)
20:22 <jmg8766> really dumb question; when I define data that derives Eq, does that just mean it will compile if I pass it into a function that requires an Eq?
20:22 <jmg8766> and it will break unless I define the == functions for it?
20:22 <averagehat> https://www.irccloud.com/pastebin/9SfD5Rpz/solver-results
20:22 <averagehat> ah
20:23 <averagehat> I left out --update-config
20:23 louispan joined
20:24 <contiver_> jmg8766: No, if you derive Eq, you don't need to define it, the compiler does it for you.
20:26 <contiver_> averagehat: do you have a cabal.config file?
20:26 <contiver_> it seems the 1.5.4 constraint is coming from there.
20:27 <averagehat> that contiver_ Yes, but I figured out the problem. When I ran "stack solver" I thought it automatically updated "stack.yaml"
20:30 MotherFlojo joined
20:34 Durz0 joined
20:35 contiver__ joined
20:38 contiver_ joined
20:41 kadoban joined
20:49 Guest68756 joined
20:50 OscarZ joined
20:50 OscarZ_ joined
20:53 dni- joined
20:58 binaryplease joined
21:01 binaryplease1 joined
21:09 hphuoc25 joined
21:18 Rodya_ joined
21:19 grayjoc joined
21:26 contiver__ joined
21:27 peterbecich joined
21:31 lspitzner joined
21:36 binaryplease joined
21:49 greeny joined
22:25 irclogger_com joined
22:25 Topic for
22:25 louispan joined
22:25 <mounty> Gah: found the answer: http://book.realworldhaskell.org/read/using-databases.html
22:31 hiratara joined
22:42 dni- joined
22:46 contiver__ joined
22:50 louispan joined
22:52 GlobalAtom joined
22:56 <nitrix> contiver__: SomeT moo and instinct are the ones I played the most with. It's decent but in the end I ended up doing my own thing though.
22:56 <nitrix> The reason being that I needed a little more control over a few aspects of the evolution cycle.
22:57 <nitrix> It might just've been API ignorance. I'm looking at it now and it seems very complete. I wonder what the issue was :/
22:57 e14 joined
23:10 louispan joined
23:12 hphuoc25 joined
23:14 malaclyps joined
23:16 fhoffmeyer joined
23:27 <argent0> so: type family Field a :: * where
23:27 <argent0> Field a = Position -> a
23:27 <argent0> is the same as: type Field a = Position -> a
23:28 <monochrom> Is it?
23:29 <glguy> Seems like it would be
23:29 <argent0> monochrom: I mean equivalent
23:29 <monochrom> type family syntax can take a "where"?
23:29 <argent0> monochrom: yep
23:29 <glguy> yeah, it makes a "closed" type family
23:30 <monochrom> yikes
23:30 kritzcreek_ joined
23:30 <monochrom> Oh haha, yes equivalent.
23:31 <monochrom> Runaway feature inflation such as C++
23:31 <monochrom> Then again, a sign of success!
23:32 uglyfigurine joined
23:35 contiver__ joined
23:40 eacameron joined
23:44 eacamero_ joined
23:49 peterbecich joined