Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 483 484 485 486 487 488 489 490 491 492 493 .. 5022
— 502,152 events total
2020-10-07 09:36:04 × GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-07 09:36:04 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-07 09:38:47 × dansho quits (~dansho@ip68-108-167-185.lv.lv.cox.net) (Quit: Leaving)
2020-10-07 09:39:44 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-07 09:41:38 × Kaeipi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 258 seconds)
2020-10-07 09:42:47 × toorevitimirp quits (~tooreviti@117.182.180.245) (Ping timeout: 240 seconds)
2020-10-07 09:45:18 × da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-07 09:46:06 → darjeeling_ joins (~darjeelin@115.215.43.235)
2020-10-07 09:47:01 × zebrag quits (~inkbottle@aaubervilliers-654-1-109-218.w86-212.abo.wanadoo.fr) (Ping timeout: 246 seconds)
2020-10-07 09:47:06 → inkbottle joins (~inkbottle@aaubervilliers-654-1-100-191.w86-212.abo.wanadoo.fr)
2020-10-07 09:47:07 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-07 09:47:25 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-07 09:47:26 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-07 09:47:26 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-07 09:47:28 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-10-07 09:48:50 → CheRRy2fly21 joins (~CheRRy@129.205.112.30)
2020-10-07 09:50:10 × CheRRy2fly21 quits (~CheRRy@129.205.112.30) (Read error: Connection reset by peer)
2020-10-07 09:50:59 → CheRRy2fly21 joins (~CheRRy@178.ip-51-38-83.eu)
2020-10-07 09:51:34 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-10-07 09:52:05 → aveltras joins (~user@2a04:cec0:1102:eae2:4787:5217:6352:49cb)
2020-10-07 09:52:40 → CheRRy243 joins (~CheRRy@129.205.112.30)
2020-10-07 09:55:29 × CheRRy2fly21 quits (~CheRRy@178.ip-51-38-83.eu) (Ping timeout: 260 seconds)
2020-10-07 09:55:36 → seanvert` joins (~user@177.84.244.242)
2020-10-07 09:56:16 → MarkusH1 joins (~MarkusH@185.163.110.116)
2020-10-07 09:56:36 × plutoniix quits (~q@175.176.222.7) (Ping timeout: 256 seconds)
2020-10-07 09:56:47 × seanvert quits (~user@177.84.244.242) (Ping timeout: 240 seconds)
2020-10-07 09:56:49 lemmih_ is now known as lemmih
2020-10-07 09:58:10 → toorevitimirp joins (~tooreviti@117.182.180.245)
2020-10-07 09:58:49 × shatriff quits (~vitaliish@88.155.140.206) (Remote host closed the connection)
2020-10-07 09:59:41 × CheRRy243 quits (~CheRRy@129.205.112.30) (Ping timeout: 260 seconds)
2020-10-07 10:00:19 → theDon joins (~td@muedsl-82-207-238-023.citykom.de)
2020-10-07 10:01:52 × aveltras quits (~user@2a04:cec0:1102:eae2:4787:5217:6352:49cb) (Remote host closed the connection)
2020-10-07 10:02:02 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-07 10:02:35 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-07 10:03:00 → aveltras joins (~user@80.214.147.197)
2020-10-07 10:03:43 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-07 10:05:07 × seanvert` quits (~user@177.84.244.242) (Ping timeout: 240 seconds)
2020-10-07 10:06:46 → aveltras` joins (~user@2a04:cec0:110f:7659:874c:71a7:1699:6ea)
2020-10-07 10:06:53 → cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-10-07 10:07:28 × aveltras` quits (~user@2a04:cec0:110f:7659:874c:71a7:1699:6ea) (Remote host closed the connection)
2020-10-07 10:09:27 hackage hsinspect 0.0.15 - Inspect Haskell source files. https://hackage.haskell.org/package/hsinspect-0.0.15 (tseenshe)
2020-10-07 10:09:42 × aveltras quits (~user@80.214.147.197) (Ping timeout: 256 seconds)
2020-10-07 10:09:52 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Read error: Connection reset by peer)
2020-10-07 10:09:52 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-07 10:11:00 × raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal)
2020-10-07 10:11:14 → cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-10-07 10:11:17 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Remote host closed the connection)
2020-10-07 10:12:02 → da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
2020-10-07 10:17:15 → cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-10-07 10:17:33 × ralejs quits (~ralejs@2620:10d:c093:400::5:2842) (Read error: Connection reset by peer)
2020-10-07 10:17:47 → fendor joins (~fendor@77.119.128.199.wireless.dyn.drei.com)
2020-10-07 10:18:01 → ralejs joins (~ralejs@2620:10d:c093:400::5:2842)
2020-10-07 10:19:59 → carlomagno joins (~cararell@inet-hqmc01-o.oracle.com)
2020-10-07 10:22:52 × carlomagno1 quits (~cararell@inet-hqmc01-o.oracle.com) (Ping timeout: 272 seconds)
2020-10-07 10:26:42 → Echosolace joins (99e47769@p790105-ipngn4101hiraide.tochigi.ocn.ne.jp)
2020-10-07 10:26:45 → boxscape joins (86ab2d1a@gateway/web/cgi-irc/kiwiirc.com/ip.134.171.45.26)
2020-10-07 10:27:04 <Echosolace> Whoa... this looks like the place.
2020-10-07 10:27:44 <boxscape> hmm I wonder if there could be a way to add a default signature requiring Monad to one of the Applicative methods (so you don't have to write liftA2 = liftM2 explicitly) without compromising the existing mutual definitions of liftA2 and <*>
2020-10-07 10:27:45 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2020-10-07 10:28:09 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 260 seconds)
2020-10-07 10:28:41 <dminuoso> I dont see why you couldn't.
2020-10-07 10:29:04 <boxscape> Oh, I guess I haven't tried adding two separate default definitions, my intuition was that it wouldn't work
2020-10-07 10:30:26 <boxscape> aand it does say conflicting definitions if I try that
2020-10-07 10:30:42 <boxscape> i.e. if I just add a default definition to the existing one
2020-10-07 10:31:19 <Echosolace> Hey all, pretty new to Haskell, and have been looking over the http://learnyouahaskell.com/syntax-in-functions page, and I can't figure out how why in the first part of the guide how they end up with lucky :: (Integral a) => a -> String. Is this because they are :t lucky and don't bother mentioning the defined function... or?
2020-10-07 10:32:07 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-07 10:32:25 × alp quits (~alp@2a01:e0a:58b:4920:3027:b807:1b0e:5ebe) (Ping timeout: 240 seconds)
2020-10-07 10:32:38 <boxscape> Echosolace you're looking at the definition of lucky, they're declaring its type to be that
2020-10-07 10:32:58 → Nahra joins (~Nahra@unaffiliated/nahra)
2020-10-07 10:33:02 <Echosolace> Ok thanks.
2020-10-07 10:34:27 × stree quits (~stree@50-108-75-26.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-07 10:34:29 → Saukk joins (~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2)
2020-10-07 10:34:45 → stree joins (~stree@50-108-75-26.adr01.mskg.mi.frontiernet.net)
2020-10-07 10:36:49 × da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-07 10:38:08 → alp joins (~alp@2a01:e0a:58b:4920:c5b1:5424:d94b:6bfc)
2020-10-07 10:38:27 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-10-07 10:41:20 → bitmagie joins (~Thunderbi@200116b806544c0001b098a712f8f440.dip.versatel-1u1.de)
2020-10-07 10:41:24 → Clough joins (~Cain@27-33-147-252.static.tpgi.com.au)
2020-10-07 10:41:33 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-07 10:41:58 <Echosolace> I'm still having trouble with type definitions then... I went back a lesson and tried to declare a type definition, a la
2020-10-07 10:42:00 <Echosolace> addThree :: Int -> Int -> Int -> Int
2020-10-07 10:42:08 <Echosolace> But this just gives me
2020-10-07 10:42:17 <Echosolace> Variable not in scope: addThree :: Int -> Int -> Int -> Int
2020-10-07 10:42:36 <kuribas> dminuoso: I created a DSL to transform the Aeson Value before parseJSON or toJSON. So now my datatype isn't tied to the external representation :)
2020-10-07 10:42:41 × bitmagie quits (~Thunderbi@200116b806544c0001b098a712f8f440.dip.versatel-1u1.de) (Client Quit)
2020-10-07 10:42:57 <kuribas> dminuoso: I mean genericParseJSON and genericToJSON
2020-10-07 10:43:29 <Echosolace> Any idea as to how I can declare the type?
2020-10-07 10:43:36 <dminuoso> kuribas: What does that look like?
2020-10-07 10:43:51 <kuribas> Echosolace: you cannot just have a type, you need a function as well.
2020-10-07 10:44:01 → Ariakenom joins (~Ariakenom@193.254.193.1)
2020-10-07 10:44:09 <kuribas> Echosolace: you don't need to declare external types like in C.
2020-10-07 10:44:10 <Echosolace> So define the function first, then declare the type, right?
2020-10-07 10:44:29 <kuribas> Echosolace: normally you declare the type, then the function
2020-10-07 10:44:36 <Echosolace> O dear.
2020-10-07 10:44:56 <Echosolace> So why does addThree :: Int -> Int -> Int -> Int fail in ghci?
2020-10-07 10:45:20 → raichoo joins (~raichoo@213.240.178.58)
2020-10-07 10:45:34 <kuribas> dminuoso: fromField (Proxy @"nested_field") ["nested"] "field" <> fromFieldMaybe (Proxy @"nested_field2") ["nested"] "field2"
2020-10-07 10:46:07 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-07 10:46:24 <kuribas> dminuoso: it will turn data MyData = MyData { nested_field :: Int, nested_field2 :: Maybe Int } => { "nested": { "field": 2, "field2": 3}}
2020-10-07 10:46:30 <kuribas> dminuoso: but field2 can be ommitted
←Prev  Next→
Page 1 .. 483 484 485 486 487 488 489 490 491 492 493 .. 5022

All times are in UTC.