Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4713 4714 4715 4716 4717 4718 4719 4720 4721 4722 4723 .. 5022
— 502,152 events total
2021-05-03 16:24:30 <keiopa> type OverTime a = Float -> a
2021-05-03 16:24:40 <keiopa> type NPoint = [Rational]
2021-05-03 16:26:16 <geekosaur> depends on how you look at it. it's a function which takes an NPoint and returns a function which itself takes an NPoint and returns an OverTime NPoint, which is itself a function that takes a Float and returns an NPoint. this is the partial application view
2021-05-03 16:26:44 <geekosaur> it can also be seen as: NPoint -> NPoint -> Float -> NPoint
2021-05-03 16:27:12 <geekosaur> (function application associates rightward)
2021-05-03 16:30:11 <keiopa> ok i see now! just need to create a catamorphism to implement a "job" over the list NPoint but wasn't sure if that was the recursive call in the signature or something else
2021-05-03 16:36:26 × thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202)
2021-05-03 16:38:47 × renzhi quits (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 260 seconds)
2021-05-03 16:40:12 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-03 16:41:51 → rj joins (~x@gateway/tor-sasl/rj)
2021-05-03 16:42:16 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection)
2021-05-03 16:42:54 → nicholasbulka joins (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880)
2021-05-03 16:44:01 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-05-03 16:44:50 → Pickchea joins (~private@unaffiliated/pickchea)
2021-05-03 16:45:36 → jao joins (~jao@pdpc/supporter/professional/jao)
2021-05-03 16:47:13 × st8less quits (~st8less@2603:a060:11fd:0:d62b:12cd:ced2:f738) (Ping timeout: 250 seconds)
2021-05-03 16:47:39 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Ping timeout: 260 seconds)
2021-05-03 16:47:57 → cdsmith joins (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net)
2021-05-03 16:47:59 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-03 16:48:00 → thc202 joins (~thc202@unaffiliated/thc202)
2021-05-03 16:48:13 → roconnor joins (~roconnor@host-45-58-195-183.dyn.295.ca)
2021-05-03 16:48:58 hrnz is now known as {{{{
2021-05-03 16:49:24 {{{{ is now known as hrnz
2021-05-03 16:50:52 → HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de)
2021-05-03 16:51:36 → st8less joins (~st8less@inet-167-224-197-181.isp.ozarksgo.net)
2021-05-03 16:53:30 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-03 16:56:49 → xkapastel joins (uid17782@gateway/web/irccloud.com/x-evatdfdmbvnxvhjg)
2021-05-03 16:58:40 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds)
2021-05-03 16:59:19 × coot quits (~coot@2a02:a311:433f:a080:2f8e:acf5:8455:513f) (Ping timeout: 260 seconds)
2021-05-03 16:59:37 → Benzi-Junior joins (~BenziJuni@88-149-64-251.du.xdsl.is)
2021-05-03 17:01:09 × rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-05-03 17:04:32 → nineonin_ joins (~nineonine@50.216.62.2)
2021-05-03 17:06:06 → rj joins (~x@gateway/tor-sasl/rj)
2021-05-03 17:07:49 × keiopa quits (94478efe@gateway/web/cgi-irc/kiwiirc.com/ip.148.71.142.254) (Quit: Connection closed)
2021-05-03 17:08:03 × nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 248 seconds)
2021-05-03 17:08:42 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-03 17:08:56 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-03 17:12:31 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-03 17:12:58 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-05-03 17:16:06 × dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
2021-05-03 17:17:53 → v01d4lph4 joins (~v01d4lph4@171.48.62.25)
2021-05-03 17:19:23 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-05-03 17:20:13 × stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds)
2021-05-03 17:22:15 → zyklotomic joins (~ethan@107.172.242.62)
2021-05-03 17:23:34 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39)
2021-05-03 17:24:29 × cortexauth quits (~cortexaut@2409:4053:2d0a:74c3:7032:4b2e:f199:87f0) (Ping timeout: 250 seconds)
2021-05-03 17:25:01 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-05-03 17:25:03 → cortexauth joins (~cortexaut@2409:4053:2e1c:481d:a587:c346:13c1:dba2)
2021-05-03 17:25:29 × raym quits (~ray@45.64.220.116) (Ping timeout: 260 seconds)
2021-05-03 17:25:41 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-05-03 17:26:43 → urodna_ joins (~urodna@unaffiliated/urodna)
2021-05-03 17:27:50 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-05-03 17:27:58 <zyklotomic> is there a way to unwrap a list of newtype-d chars?
2021-05-03 17:28:06 × urodna quits (~urodna@unaffiliated/urodna) (Ping timeout: 240 seconds)
2021-05-03 17:28:21 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-05-03 17:28:24 <lyxia> coerce?
2021-05-03 17:28:25 <zyklotomic> I have newtype MyType = MyType Char
2021-05-03 17:28:36 <monochrom> Use pattern matching or write a function that uses pattern matching.
2021-05-03 17:28:37 → ukari joins (~ukari@unaffiliated/ukari)
2021-05-03 17:28:58 <zyklotomic> but i'm not sure if i can pattern match [MyType] as MyTypeList [Char]
2021-05-03 17:29:24 <monochrom> Oh, that. Use "map" too.
2021-05-03 17:30:09 <zyklotomic> i just found this after looking up coerce https://wiki.haskell.org/GHC/Coercible
2021-05-03 17:30:41 → coot joins (~coot@89-64-70-112.dynamic.chello.pl)
2021-05-03 17:30:50 <zyklotomic> i guess in my specific use case, it's just for quickcheck, so runtime cost doesn't matter
2021-05-03 17:31:06 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-05-03 17:31:12 <zyklotomic> thank you monochrom and lyxia, got it now
2021-05-03 17:31:30 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-05-03 17:31:45 × incertia quits (~incertia@d4-50-26-103.nap.wideopenwest.com) (Quit: ZNC 1.7.5 - https://znc.in)
2021-05-03 17:32:37 → stree joins (~stree@68.36.8.116)
2021-05-03 17:33:10 → nicholasbulka joins (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880)
2021-05-03 17:34:40 → incertia joins (~incertia@d4-50-26-103.nap.wideopenwest.com)
2021-05-03 17:34:53 → chisui joins (5882395a@mue-88-130-57-090.dsl.tropolys.de)
2021-05-03 17:35:21 → hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:4e3c:4dff:95c7:fb8)
2021-05-03 17:40:04 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-03 17:40:07 × coot quits (~coot@89-64-70-112.dynamic.chello.pl) (Quit: coot)
2021-05-03 17:41:35 → raym joins (~ray@45.64.220.116)
2021-05-03 17:43:28 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-brjdkpuhrnhpqxdh)
2021-05-03 17:43:28 × landonf quits (landonf@mac68k.info) (Excess Flood)
2021-05-03 17:45:10 → landonf joins (landonf@mac68k.info)
2021-05-03 17:49:41 → electricityZZZZ joins (~electrici@157-131-250-97.fiber.dynamic.sonic.net)
2021-05-03 17:51:06 → kderme joins (2e675c7c@46-92-124.adsl.cyta.gr)
2021-05-03 17:52:43 × xff0x quits (~xff0x@2001:1a81:5320:8100:2eab:8db5:7232:a44c) (Ping timeout: 276 seconds)
2021-05-03 17:53:02 → xff0x joins (xff0x@gateway/vpn/mullvad/xff0x)
2021-05-03 17:53:32 → wonko7 joins (~wonko7@62.115.229.50)
2021-05-03 17:54:29 → kritzefitz joins (~kritzefit@212.86.56.80)
2021-05-03 17:55:13 × rajivr quits (uid269651@gateway/web/irccloud.com/x-temlrjczotwzbfmp) (Quit: Connection closed for inactivity)
2021-05-03 17:58:08 × rj quits (~x@gateway/tor-sasl/rj) (Quit: rj)
2021-05-03 17:59:49 dcoutts__ is now known as dcoutts
2021-05-03 18:00:03 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-03 18:00:12 → geekosaur66 joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-03 18:00:23 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-03 18:01:10 × cortexauth quits (~cortexaut@2409:4053:2e1c:481d:a587:c346:13c1:dba2) (Ping timeout: 276 seconds)
2021-05-03 18:01:43 × geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds)
2021-05-03 18:02:02 → cortexauth joins (~cortexaut@2402:8100:2102:dc69:7032:4b2e:f199:87f0)
2021-05-03 18:03:51 × thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202)
2021-05-03 18:04:30 → JustinCase joins (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47)
2021-05-03 18:04:39 geekosaur66 is now known as geekosaur
2021-05-03 18:05:40 → royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-03 18:05:43 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-03 18:06:38 → rj joins (~x@gateway/tor-sasl/rj)
←Prev  Next→
Page 1 .. 4713 4714 4715 4716 4717 4718 4719 4720 4721 4722 4723 .. 5022

All times are in UTC.