Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4932 4933 4934 4935 4936 4937 4938 4939 4940 4941 4942 .. 5022
— 502,152 events total
2021-05-18 01:47:50 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-18 01:48:13 tim is now known as Guest15818
2021-05-18 01:49:17 × xff0x quits (~xff0x@2001:1a81:535b:1600:c038:9b40:2a0a:496d) (Ping timeout: 250 seconds)
2021-05-18 01:49:54 → ddellacosta joins (~ddellacos@86.106.143.126)
2021-05-18 01:51:05 → xff0x joins (~xff0x@2001:1a81:5398:2600:4a39:3404:e4b9:2aa4)
2021-05-18 01:51:26 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-18 01:52:23 → wei2912 joins (~wei2912@unaffiliated/wei2912)
2021-05-18 01:52:49 <steven1> ski: I guess it's not well-defined because a -> b could be a -> c -> d ?
2021-05-18 01:54:12 → boxscape joins (54a350dc@p54a350dc.dip0.t-ipconnect.de)
2021-05-18 01:54:41 × ddellacosta quits (~ddellacos@86.106.143.126) (Ping timeout: 260 seconds)
2021-05-18 01:55:46 <ski> yes
2021-05-18 01:56:06 <steven1> the top answer here is doing something similar https://stackoverflow.com/questions/8369114/haskell-function-to-determine-the-arity-of-functions
2021-05-18 01:56:12 <steven1> your message reminded me
2021-05-18 01:56:52 <steven1> that's the technique I'm going for but I think my example is a bit tougher
2021-05-18 01:58:00 <steven1> also I see your point about arity not being well-defined but I can also see that the top answer would work in some cases at least
2021-05-18 02:00:17 → benjamin-l joins (~benjamin@2601:1c0:8800:67e0:6444:b342:47b9:c531)
2021-05-18 02:00:42 → xenon- joins (~bc817c21@217.29.117.252)
2021-05-18 02:01:28 <ski> if you fix the return type, you can do it
2021-05-18 02:02:42 <steven1> hmm, ok let me try
2021-05-18 02:03:57 → starc joins (~quassel@208.201.242.22)
2021-05-18 02:04:50 × m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 265 seconds)
2021-05-18 02:07:00 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
2021-05-18 02:08:22 <steven1> yeah still not sure. Even if I fix the return type, my only options are instance Flop (a -> b) c or instance Flop a (b -> c) and neither one gives the correct type signature
2021-05-18 02:09:28 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 252 seconds)
2021-05-18 02:10:54 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2021-05-18 02:11:14 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-18 02:13:28 → Tario joins (~Tario@200.119.186.99)
2021-05-18 02:16:35 → tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-05-18 02:17:24 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-05-18 02:19:32 × jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 240 seconds)
2021-05-18 02:19:34 × Tario quits (~Tario@200.119.186.99) (Read error: Connection reset by peer)
2021-05-18 02:20:07 → Tario joins (~Tario@201.192.165.173)
2021-05-18 02:20:35 × Guest15818 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-18 02:21:49 <ski> class Flop a0 asz asa0z where {flop :: (a0 -> asz) -> asa0z}; instance Flop a Z (a -> Z) where {..}; instance Flop a0 asz asa0z => Flop a0 (a -> asz) (a -> asa0z) where {..}
2021-05-18 02:22:07 <ski> something like trhat, perhaps ?
2021-05-18 02:22:43 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-18 02:22:50 → FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-05-18 02:22:50 finn_elija is now known as Guest40929
2021-05-18 02:22:50 FinnElija is now known as finn_elija
2021-05-18 02:25:57 × Guest40929 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
2021-05-18 02:26:53 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-18 02:27:17 → slac91918 joins (~slack1256@191.126.99.81)
2021-05-18 02:27:23 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-18 02:28:23 × boxscape quits (54a350dc@p54a350dc.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-05-18 02:29:06 × slack1256 quits (~slack1256@191.126.227.87) (Ping timeout: 240 seconds)
2021-05-18 02:31:29 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
2021-05-18 02:31:41 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2021-05-18 02:31:41 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-05-18 02:38:07 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-18 02:38:15 × falafel quits (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 250 seconds)
2021-05-18 02:38:31 tim is now known as Guest11093
2021-05-18 02:40:16 <Guest11093> hi all, glad to meet you all.
2021-05-18 02:42:52 → a6a45081-2b83 joins (~aditya@122.163.207.227)
2021-05-18 02:44:57 × theDon quits (~td@94.134.91.15) (Ping timeout: 265 seconds)
2021-05-18 02:46:44 → theDon joins (~td@muedsl-82-207-238-185.citykom.de)
2021-05-18 02:47:56 → nineonine joins (~nineonine@50.216.62.2)
2021-05-18 02:48:33 × CrazyPython quits (~crazypyth@206.214.238.6) (Read error: Connection reset by peer)
2021-05-18 02:50:57 → mayleesia joins (~mayleesia@dynamic-078-054-072-224.78.54.pool.telefonica.de)
2021-05-18 02:52:53 → dumptruckman joins (~dumptruck@li327-61.members.linode.com)
2021-05-18 02:53:30 → ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-18 02:54:11 × maylee quits (~mayleesia@dynamic-077-013-233-125.77.13.pool.telefonica.de) (Ping timeout: 240 seconds)
2021-05-18 02:54:20 × a6a45081-2b83 quits (~aditya@122.163.207.227) (Quit: Konversation terminated!)
2021-05-18 02:56:12 → a6a45081-2b83 joins (~aditya@122.163.207.227)
2021-05-18 02:58:53 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-05-18 03:04:45 → f33f046c-a02e joins (~aditya@122.163.149.247)
2021-05-18 03:05:16 × a6a45081-2b83 quits (~aditya@122.163.207.227) (Ping timeout: 260 seconds)
2021-05-18 03:05:17 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-18 03:06:33 × Adluc quits (~Adluc@83.167.228.130) (Ping timeout: 240 seconds)
2021-05-18 03:06:42 × dqd quits (id@wikipedia/dqd) (Ping timeout: 265 seconds)
2021-05-18 03:08:48 → falafel joins (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com)
2021-05-18 03:09:56 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
2021-05-18 03:12:47 × Guest11093 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-18 03:13:24 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-18 03:15:34 × xkapastel quits (uid17782@gateway/web/irccloud.com/x-sydhbolmzgdlxhuf) (Quit: Connection closed for inactivity)
2021-05-18 03:17:26 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-05-18 03:17:41 × machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds)
2021-05-18 03:22:12 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2021-05-18 03:22:29 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-18 03:22:59 → plutoniix joins (~q@ppp-58-8-176-34.revip2.asianet.co.th)
2021-05-18 03:24:45 × blankhart quits (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Quit: WeeChat 2.8)
2021-05-18 03:25:02 × slac91918 quits (~slack1256@191.126.99.81) (Remote host closed the connection)
2021-05-18 03:28:34 → sheepduck joins (~sheepduck@2607:fea8:2a60:b700::7a37)
2021-05-18 03:29:13 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2021-05-18 03:33:12 → Adluc joins (~Adluc@83.167.228.130)
2021-05-18 03:33:34 → dqd joins (id@wikipedia/dqd)
2021-05-18 03:34:29 × epicte7us quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-05-18 03:34:41 → domini joins (~domini@2a03:f680:fe00:129e:61e9:eb52:68ca:6e8f)
2021-05-18 03:34:41 × tadz1k quits (~tadz1k@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 240 seconds)
2021-05-18 03:38:12 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-18 03:38:35 tim is now known as Guest18934
2021-05-18 03:39:50 → fivebox joins (x@unaffiliated/fivebox)
2021-05-18 03:39:57 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-18 03:41:30 × curiousgay quits (~gay@178.217.208.8) (Ping timeout: 265 seconds)
2021-05-18 03:44:24 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
2021-05-18 03:44:50 → sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-162.dsl.bell.ca)
2021-05-18 03:45:48 × starc quits (~quassel@208.201.242.22) (Remote host closed the connection)
2021-05-18 03:50:27 → spaceman97 joins (2a6be225@42.107.226.37)
2021-05-18 03:52:05 × spaceman97 quits (2a6be225@42.107.226.37) (Client Quit)
2021-05-18 03:54:41 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-18 03:56:39 → nineonin_ joins (~nineonine@2604:3d08:777e:900:59ff:f955:c567:3ea8)
←Prev  Next→
Page 1 .. 4932 4933 4934 4935 4936 4937 4938 4939 4940 4941 4942 .. 5022

All times are in UTC.