Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 978 979 980 981 982 983 984 985 986 987 988 .. 5022
— 502,152 events total
2020-10-31 19:49:42 → sam___ joins (~sam@182.146.204.77.rev.sfr.net)
2020-10-31 19:50:39 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-31 19:51:36 × Tops2 quits (~Tobias@dyndsl-095-033-089-167.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-10-31 19:51:38 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 264 seconds)
2020-10-31 19:52:40 hackage hOpenPGP 2.9.5 - native Haskell implementation of OpenPGP (RFC4880) https://hackage.haskell.org/package/hOpenPGP-2.9.5 (ClintAdams)
2020-10-31 19:56:06 × mmohammadi9812 quits (~mmohammad@2.178.123.90) (Ping timeout: 268 seconds)
2020-10-31 19:56:10 × SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!)
2020-10-31 19:56:51 → conal joins (~conal@64.71.133.70)
2020-10-31 19:57:08 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2020-10-31 19:57:19 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-10-31 19:58:07 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:c427:c5ca:d62:565b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-31 20:00:28 × kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 260 seconds)
2020-10-31 20:01:12 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-31 20:03:35 → christo joins (~chris@81.96.113.213)
2020-10-31 20:07:45 × christo quits (~chris@81.96.113.213) (Ping timeout: 240 seconds)
2020-10-31 20:09:11 × HarveyPwca quits (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Quit: Leaving)
2020-10-31 20:11:45 × nineonine quits (~textual@216-19-190-182.dyn.novuscom.net) (Ping timeout: 240 seconds)
2020-10-31 20:12:39 × Tario quits (~Tario@201.204.63.11) (Ping timeout: 256 seconds)
2020-10-31 20:12:44 × aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 240 seconds)
2020-10-31 20:13:01 → Tario joins (~Tario@201.204.63.11)
2020-10-31 20:14:52 → Sgeo_ joins (~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-31 20:16:11 → st8less_ joins (~st8less@2603:a060:11fd:0:2478:3f17:6763:7e3e)
2020-10-31 20:16:25 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 240 seconds)
2020-10-31 20:17:15 × notnatebtw quits (~nate@125.161.131.154) (Ping timeout: 265 seconds)
2020-10-31 20:18:08 → invaser joins (~Thunderbi@31.148.23.125)
2020-10-31 20:18:11 × ggole quits (~ggole@2001:8003:8119:7200:6492:5ce9:dfdc:4cda) (Quit: Leaving)
2020-10-31 20:18:13 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Ping timeout: 264 seconds)
2020-10-31 20:18:40 hackage pandoc-dhall-decoder 0.1.0.0 - Decodes pandoc to dhall. https://hackage.haskell.org/package/pandoc-dhall-decoder-0.1.0.0 (locallycompact)
2020-10-31 20:19:12 → notnatebtw joins (~nate@125.161.131.30)
2020-10-31 20:20:26 × sam___ quits (~sam@182.146.204.77.rev.sfr.net) (Ping timeout: 264 seconds)
2020-10-31 20:20:51 × thir quits (~thir@pd9e1bd8a.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-31 20:21:25 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-10-31 20:21:41 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-31 20:25:04 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-10-31 20:25:26 → christo joins (~chris@81.96.113.213)
2020-10-31 20:25:52 → SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net)
2020-10-31 20:28:10 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-10-31 20:28:21 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-31 20:28:28 → conal joins (~conal@64.71.133.70)
2020-10-31 20:28:50 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-10-31 20:28:58 → superfly1 joins (~superfly@154.13.1.56)
2020-10-31 20:30:16 × texasmynsted quits (~texasmyns@212.102.45.109) (Remote host closed the connection)
2020-10-31 20:30:55 → texasmynsted joins (~texasmyns@212.102.45.109)
2020-10-31 20:31:15 × knupfer quits (~Thunderbi@200116b82ca398009c9b5ae621267c78.dip.versatel-1u1.de) (Ping timeout: 268 seconds)
2020-10-31 20:32:35 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-31 20:33:25 × texasmynsted quits (~texasmyns@212.102.45.109) (Read error: Connection reset by peer)
2020-10-31 20:33:43 → christo joins (~chris@81.96.113.213)
2020-10-31 20:33:58 → mmohammadi9812 joins (~mmohammad@2.178.188.172)
2020-10-31 20:35:46 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-31 20:37:26 × geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-10-31 20:37:40 → rprije joins (~rprije@194-193-168-77.tpgi.com.au)
2020-10-31 20:38:01 × ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 264 seconds)
2020-10-31 20:38:06 → christo joins (~chris@81.96.113.213)
2020-10-31 20:38:12 → kritzefitz joins (~kritzefit@212.86.56.80)
2020-10-31 20:41:49 → sfvm joins (~sfvm@37.228.215.148)
2020-10-31 20:41:49 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Read error: Connection reset by peer)
2020-10-31 20:45:03 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-10-31 20:48:29 × mokulus quits (~mat@176.111.230.96) (Read error: Connection reset by peer)
2020-10-31 20:49:32 → bitmapper joins (uid464869@gateway/web/irccloud.com/x-stehtktsnkxbdlii)
2020-10-31 20:51:50 → sam___ joins (~sam@19.247.204.77.rev.sfr.net)
2020-10-31 20:52:14 × st8less quits (~st8less@2603:a060:11fd:0:c96f:d665:e05e:9620) (Ping timeout: 264 seconds)
2020-10-31 20:52:39 → st8less joins (~st8less@2603:a060:11fd:0:c96f:d665:e05e:9620)
2020-10-31 20:52:42 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-10-31 20:53:37 → taio joins (~enrik@p200300ceaf3ada00d81a6ace504c91ff.dip0.t-ipconnect.de)
2020-10-31 20:53:37 × dwt quits (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 264 seconds)
2020-10-31 20:54:57 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-10-31 20:55:42 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-10-31 20:56:39 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-31 20:57:53 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-31 20:58:10 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-31 20:58:42 → Varis joins (~Tadas@unaffiliated/varis)
2020-10-31 20:59:19 → mokulus joins (~mat@176.111.230.96)
2020-10-31 21:00:01 × superfly1 quits (~superfly@154.13.1.56) ()
2020-10-31 21:01:03 × st8less quits (~st8less@2603:a060:11fd:0:c96f:d665:e05e:9620) (Quit: WeeChat 2.7.1)
2020-10-31 21:01:09 hackage pandoc-dhall-decoder 0.1.0.1 - Decodes pandoc to dhall. https://hackage.haskell.org/package/pandoc-dhall-decoder-0.1.0.1 (locallycompact)
2020-10-31 21:04:43 → machinedgod joins (~machinedg@207.253.244.210)
2020-10-31 21:07:07 → conal joins (~conal@64.71.133.70)
2020-10-31 21:08:04 × xff0x_ quits (~fox@2001:1a81:5309:6900:c739:a68b:bd50:f0f2) (Ping timeout: 240 seconds)
2020-10-31 21:09:16 → xff0x_ joins (~fox@2001:1a81:5309:6900:d5d1:51a8:37d7:2b25)
2020-10-31 21:09:32 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-31 21:12:26 → matthew- joins (~matthew@smtp.wellquite.org)
2020-10-31 21:14:33 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-31 21:14:44 <matthew-> If a function has type of forall A. x -> A where x is some mono-type, it seems to me to be an indication of infinite recursion in the function - is this true, and is there a proof or a generalisation of such a thing?
2020-10-31 21:15:09 <comerijn> matthew-: As in "Int -> a"?
2020-10-31 21:15:16 <matthew-> yeah
2020-10-31 21:15:26 <dolio> Yeah, it indicates some sort of exception or non-termination.
2020-10-31 21:15:28 <matthew-> where "has a type" is really "is inferred to have type"
2020-10-31 21:15:42 <comerijn> matthew-: Sounds like you might be interested in "Theorems for Free!"/
2020-10-31 21:16:11 <matthew-> ahh, that's a phrase I've passed over in the last few days, yes.
2020-10-31 21:16:13 <comerijn> matthew-: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.38.9875&rep=rep1&type=pdf
2020-10-31 21:16:18 <matthew-> thank you, I'll have a read
2020-10-31 21:16:55 × Tario quits (~Tario@201.204.63.11) (Ping timeout: 246 seconds)
2020-10-31 21:17:07 <matthew-> having just implemented HM(X), I was astonished to see unbounded use of fix result of Int -> A
2020-10-31 21:17:20 <matthew-> and then it corrected itself when I added the base case...
2020-10-31 21:17:29 <matthew-> (and implemented "If"...)
2020-10-31 21:17:49 <comerijn> matthew-: Similarly sometimes people use Void to signal similar infinite recursion
2020-10-31 21:18:06 <comerijn> :t forever -- note the completely free 'b' here
2020-10-31 21:18:07 <lambdabot> Applicative f => f a -> f b
2020-10-31 21:18:22 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-31 21:18:41 <comerijn> Void being "data Void" (or in older Haskell versions "data Void = Void Void"
←Prev  Next→
Page 1 .. 978 979 980 981 982 983 984 985 986 987 988 .. 5022

All times are in UTC.