<    June 2018     >
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 _2_2 23  
24 25 26 27 28 29 30
00:02 dogweather joined
00:02 iAmerikan joined
00:12 tdjones joined
00:15 moei joined
00:17 abhiroop joined
00:20 conal joined
00:32 dogweather joined
00:36 obi_jan_kenobi__ joined
00:55 contiver joined
00:55 Linter joined
00:55 comerijn joined
00:59 twopoint718 joined
00:59 twopoint718 joined
01:02 andreabedini joined
01:05 Axman6 joined
01:07 giraffe joined
01:24 patlv joined
01:29 huxing joined
01:34 taumuon joined
01:40 xpycm joined
01:49 progfun joined
01:51 andreabedini joined
01:52 pfurla_ joined
01:53 andreabedini joined
01:55 merijn joined
02:01 conal joined
02:02 conal joined
02:02 dogweather joined
02:03 iAmerikan joined
02:04 cschneid joined
02:10 Pupnik joined
02:10 cschneid joined
02:14 obi_jan_kenobi_ joined
02:15 mizu_no_oto_work joined
02:31 taumuon joined
02:41 pfurla joined
02:43 cschneid joined
02:44 AetherWind joined
02:59 louispan joined
03:02 ToffeeYogurtPots joined
03:04 dogweather joined
03:05 cschneid joined
03:11 obi_jan_kenobi__ joined
03:15 eminhi joined
03:23 kapil___ joined
03:37 mud joined
03:40 dogweather joined
03:41 hphuoc25 joined
03:42 mizu_no_oto_work joined
03:45 mikedlr joined
03:45 progfun joined
03:46 blissdev joined
03:46 redcedar joined
03:46 NemesisD joined
03:46 simony joined
03:46 kapil___ joined
03:46 customminer joined
03:47 Linter joined
03:48 andyhoang joined
03:49 cschneid joined
03:56 MarcelineVQ joined
03:56 SPoF95 joined
03:57 dejanr joined
04:01 dxld joined
04:14 kroomey joined
04:33 mac10688 joined
04:33 agander joined
04:36 cschneid joined
04:45 dogweather joined
04:48 patlv joined
04:52 dogweather joined
04:52 dogweather joined
05:07 conal joined
05:15 agander_ joined
05:17 agander__ joined
05:21 thoradam joined
05:22 rizary joined
05:22 bradparker joined
05:22 Wizek joined
05:22 sclv joined
05:23 etrepum joined
05:23 jkachmar joined
05:23 joedevivo joined
05:23 dmj` joined
05:24 systemfault joined
05:24 Guest82928_ joined
05:24 Peter_Storm joined
05:24 AlainODea joined
05:24 dpren joined
05:25 ghuntley joined
05:25 tarcwynne__ joined
05:25 sonion joined
05:26 ocharles_ joined
05:26 amatecha__ joined
05:26 johs joined
05:26 ancarda joined
05:27 blissdev joined
05:27 alasi joined
05:28 banseljaj joined
05:28 gluegadget joined
05:28 Youmu joined
05:28 wedens joined
05:28 peschkaj joined
05:28 heyj joined
05:29 mikedlr joined
05:30 kevin1024 joined
05:30 kipd joined
05:31 bytesighs joined
05:31 verlet64 joined
05:31 cstrahan_ joined
05:32 r3my joined
05:32 zph joined
05:32 zgrepc joined
05:33 mudphone joined
05:33 kapil___ joined
05:33 manveru joined
05:34 dsal joined
05:35 andrew_n_ joined
05:35 jasobrown joined
05:36 michaelmeep__ joined
05:36 CARAM____ joined
05:40 simony joined
05:41 slomo joined
05:41 slomo joined
05:43 customminer joined
05:44 Ariakenom joined
05:46 progfun joined
05:47 NemesisD joined
05:47 Linter joined
05:47 merijn joined
05:50 rizary joined
05:51 howdoi joined
05:53 mbrcknl_ joined
05:53 dogweather joined
05:53 parseval joined
05:54 Cir0X joined
05:55 louispan joined
06:07 slomo_ joined
06:07 slomo_ joined
06:09 howdoi joined
06:10 rizary joined
06:10 kapil___ joined
06:12 dsal joined
06:12 customminer joined
06:14 terrorjack joined
06:16 sclv joined
06:17 verlet64 joined
06:17 NemesisD joined
06:17 blissdev joined
06:19 pie_ joined
06:19 kaychaks joined
06:19 metalrain__ joined
06:20 peschkaj joined
06:20 jkachmar joined
06:20 joel135 joined
06:20 Chris_ joined
06:20 systemfault joined
06:20 dmj` joined
06:20 Guest82928_ joined
06:20 wedens joined
06:20 AlainODea joined
06:20 r3my joined
06:20 etrepum joined
06:20 Cir0X joined
06:21 gluegadget joined
06:21 mudphone joined
06:21 zph joined
06:21 parseval joined
06:21 sonion joined
06:21 joedevivo joined
06:21 manveru joined
06:21 ghuntley joined
06:21 mbrcknl_ joined
06:21 heyj joined
06:21 mikedlr joined
06:21 PotatoGim joined
06:21 Peter_Storm joined
06:21 tarcwynne__ joined
06:21 bradparker joined
06:21 ocharles_ joined
06:21 redcedar joined
06:21 jasobrown joined
06:21 bytesighs joined
06:21 amatecha__ joined
06:22 bradparker joined
06:22 amatecha__ joined
06:22 Wizek joined
06:22 redcedar joined
06:22 jasobrown joined
06:22 bytesighs joined
06:22 feepo_ joined
06:22 Wizek joined
06:22 ratschance joined
06:22 machinedgod joined
06:22 kevin1024 joined
06:22 alasi joined
06:22 zgrepc joined
06:22 andrew_n_ joined
06:22 michaelmeep__ joined
06:22 mounty joined
06:22 ReinH joined
06:23 cstrahan_ joined
06:23 Youmu joined
06:23 CARAM____ joined
06:24 ocharles_ joined
06:24 kipd joined
06:24 Wizek joined
06:24 alasi joined
06:25 dpren joined
06:25 CARAM____ joined
06:25 cstrahan_ joined
06:25 zgrepc joined
06:25 thoradam joined
06:25 banseljaj joined
06:26 simony joined
06:26 johs joined
06:26 alasi joined
06:27 dogweather joined
06:27 ancarda joined
06:28 SPoF95 joined
06:29 hphuoc25 joined
06:50 agander__ joined
06:54 mitchellsalad__ joined
06:56 codedmart joined
06:57 spicydonuts_ joined
07:01 cur8or joined
07:05 dadabidet joined
07:05 zakora joined
07:06 taumuon left
07:12 Linter joined
07:18 trcc joined
07:25 cur8or joined
07:26 Lokathor joined
07:30 hphuoc25 joined
07:34 Linter_ joined
07:37 bergle2 joined
07:43 thc202 joined
07:44 Linter joined
07:47 progfun joined
08:14 lumm joined
08:14 grdryn joined
08:19 obi_jan_kenobi__ joined
08:25 agander joined
08:26 slomo joined
08:27 zero_byte joined
08:44 hphuoc25 joined
08:55 hphuoc25 joined
08:55 dogweather joined
09:00 rzp joined
09:07 agander_ joined
09:11 agander__ joined
09:16 dogweather joined
09:22 fabsn joined
09:28 emilypi joined
09:39 hamishmack joined
09:39 agander joined
09:42 dogweather joined
09:48 progfun joined
09:49 ThomasLocke joined
09:50 rotcev joined
09:59 dogweather joined
10:02 cur8or_ joined
10:03 hphuoc25 joined
10:14 Linter joined
10:15 matsurago joined
10:15 hphuoc25 joined
10:21 taumuon joined
10:24 <taumuon> has anyone here done the "phone exersize" in the haskell book?
10:25 SPoF95 joined
10:28 <taumuon> im a bit stuck on how to model the keypad as a datatype.
10:30 <taumuon> my intuition is telling me to use a Data.Map but that's a really ecmascript way to think about it, and i want to find something more haskelly
10:32 <dminuoso> taumuon: data NumKey = Key0 | Key1 | Key2 | ...; maybe?
10:34 <taumuon> how would i use that to encode the subsets of characters?
10:34 <dminuoso> taumuon: well you first just model the keys as keys
10:34 <dminuoso> data Key = Num0 | .. | Num9 | NumStar | NumPound
10:35 <dminuoso> data Key = Key0 | .. | Key9 | KeyStar | KeyPound
10:35 <dminuoso> Maybe
10:40 <taumuon> Alright, I'll start there and see what I can come with. Thanks.
10:57 vurtz joined
11:00 pbrant joined
11:05 hphuoc25 joined
11:05 louispan joined
11:08 agander joined
11:11 agander_ joined
11:14 hphuoc25 joined
11:16 hphuoc25 joined
11:35 malaclyps joined
11:36 andreabedini joined
11:37 abhiroop joined
11:38 cur8or joined
11:49 progfun joined
12:10 hphuoc25 joined
12:19 mengu joined
12:19 bbrodr joined
12:25 hphuoc25 joined
12:25 b-b joined
12:32 Linter joined
12:36 louispan joined
12:40 cur8or joined
12:40 Purlox joined
12:47 mitch_ joined
12:50 Folkol_ joined
12:52 andyhoang joined
12:57 pfurla joined
12:57 emilypi joined
13:07 agander_ joined
13:11 iAmerikan joined
13:17 carlomagno joined
13:22 cur8or joined
13:32 hphuoc25 joined
13:37 p0lyph3m joined
13:38 p0lyph3m joined
13:40 patlv joined
13:42 cur8or joined
13:50 progfun joined
13:54 jsondavis joined
14:07 merijn joined
14:13 iAmerikan joined
14:15 twopoint718 joined
14:15 twopoint718 joined
14:19 Folkol_ joined
14:23 nicht joined
14:23 nicht_ joined
14:25 dogweather joined
14:56 progfun joined
14:59 hphuoc25 joined
15:03 Linter joined
15:03 dogweather joined
15:08 cschneid joined
15:16 dogweather joined
15:17 conal joined
15:19 jsondavis joined
15:27 skeet70 joined
15:33 dogweather joined
15:35 merijn joined
15:41 lainon joined
15:43 dogweather joined
15:54 conal joined
15:56 dogweather joined
16:02 grdryn joined
16:07 Gurkenglas joined
16:10 Forlorn_ joined
16:26 twopoint718 joined
16:36 louispan joined
16:36 hphuoc25 joined
16:42 dogweather joined
16:49 Ariakenom joined
16:55 lumm_ joined
17:04 pfurla joined
17:05 conal joined
17:09 replay joined
17:14 Azel joined
17:16 huxing joined
17:19 andyhoang joined
17:20 Purlox joined
17:22 lumm_ joined
17:25 mitch_ joined
17:26 vurtz joined
17:31 conal joined
17:32 Linter joined
17:47 conal_ joined
17:51 jsomedon joined
17:54 lainon joined
17:57 pfurla joined
18:06 nicht_ joined
18:12 roachmd joined
18:17 fabsn_ joined
18:20 abhiroop joined
18:21 albertus1 joined
18:25 dogweather joined
18:31 conal joined
18:49 vaibhavsagar joined
18:50 andyhoang joined
18:57 agander_ joined
19:09 merijn joined
19:11 agander joined
19:11 mgreenbe joined
19:16 iAmerikan joined
19:40 lainon joined
19:41 iAmerikan joined
19:44 lumm joined
19:49 dogweather joined
19:50 Deide joined
19:52 andyhoang joined
19:53 abhiroop_ joined
19:57 cur8or joined
19:57 sns joined
19:58 abhiroop joined
20:02 Linter joined
20:11 patlv joined
20:14 iAmerikan joined
20:18 conal joined
20:20 abhiroop joined
20:23 iAmerikan joined
20:34 dogweather joined
20:46 abhiroop_ joined
20:51 iAmerika1 joined
20:53 drewr joined
21:03 bkc` joined
21:04 roachmd joined
21:04 dogweather joined
21:11 roachmd joined
21:19 iAmerika1 joined
21:22 andyhoang joined
21:32 asdfjkljkl joined
21:34 basu joined
21:41 louispan joined
21:44 <* basu> Hello Haskellers I am trying to write a generic generator for a list for any given a:
21:44 <basu> arbitraryForList :: Arbitrary a => Gen [a]
21:44 <basu> arbitraryForList = listOf (arbitrary :: Gen a)
21:44 dogweather joined
21:45 <basu> I have already added the constraint that a should have an Arbitrary but it still complains that it needs an Arbitrary a1
21:45 <basu> I do not understand why
21:45 <glguy> type variables are locally scoped to their type signatures
21:46 <glguy> so you've got two different 'a's going on there
21:46 <basu> aah right
21:46 <basu> so I just had to do this: arbitraryForList = listOf arbitrary
21:47 <basu> and the compiler will know to then use the right arbitrary
21:47 <glguy> Right!
21:47 <basu> the one I supplied
21:47 <basu> cool thank you !
21:47 <basu> I can sleep well now :D
21:50 iAmerika1 joined
21:50 drewr joined
21:52 roachmd joined
21:52 Arcaelyx joined
21:57 iAmerika1 joined
22:02 TCZ joined
22:10 dxld joined
22:31 conal joined
22:32 dogweather joined
22:33 Linter joined
22:37 hamishmack joined
22:44 bergle joined
22:47 dxld joined
22:50 cschnei__ joined
22:50 patlv joined
22:53 andyhoang joined
22:54 dogweather joined
23:00 louispan joined
23:06 Linter joined
23:08 bill__ joined
23:11 lazyinitialized joined
23:13 cschneid joined
23:19 dogweather joined
23:22 _ikke_ joined
23:24 patlv joined
23:39 louispan joined
23:46 patlv joined
23:49 _ikke_ joined