Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 .. 18031
— 1,803,061 events total
2021-07-20 01:22:14 × xff0x_ quits (~xff0x@2001:1a81:5299:ea00:2c16:bae7:eca6:fd06) (Ping timeout: 255 seconds)
2021-07-20 01:22:33 × o1lo01ol1o quits (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) (Ping timeout: 265 seconds)
2021-07-20 01:24:01 → xff0x_ joins (~xff0x@2001:1a81:52d5:1300:6dad:c8ed:ecb7:8640)
2021-07-20 01:25:44 × smichel17 quits (~smichel17@c-73-68-217-18.hsd1.ma.comcast.net) (Quit: smichel17)
2021-07-20 01:26:25 → Maxdamantus joins (~Maxdamant@user/maxdamantus)
2021-07-20 01:30:58 × yauhsien quits (~yauhsien@61-231-35-149.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-07-20 01:32:58 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-20 01:46:03 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds)
2021-07-20 01:47:36 × Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa)
2021-07-20 01:52:16 → berberman joins (~berberman@user/berberman)
2021-07-20 01:52:57 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 244 seconds)
2021-07-20 01:53:17 × berberman_ quits (~berberman@user/berberman) (Ping timeout: 255 seconds)
2021-07-20 01:53:30 → dre_ joins (~dre@2001:8003:c932:c301:117d:15f9:de03:4d49)
2021-07-20 01:54:28 × dre quits (~dre@2001:8003:c932:c301:117d:15f9:de03:4d49) (Ping timeout: 246 seconds)
2021-07-20 01:54:33 ← dre_ parts (~dre@2001:8003:c932:c301:117d:15f9:de03:4d49) ()
2021-07-20 01:55:10 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
2021-07-20 01:59:15 <h98> I love how GHC gets confused by numbers in instance resolution....is "1" a Word32 or a Ptr a -> Ptr b -> IO Word32? Who knows what he meant!
2021-07-20 02:00:25 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-07-20 02:01:28 × slep quits (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) (Quit: No Ping reply in 180 seconds.)
2021-07-20 02:01:43 → yauhsien joins (~yauhsien@61-231-35-149.dynamic-ip.hinet.net)
2021-07-20 02:04:01 → slep joins (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net)
2021-07-20 02:04:45 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2021-07-20 02:07:38 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-07-20 02:09:45 × wagle quits (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2021-07-20 02:10:14 → wagle joins (~wagle@quassel.wagle.io)
2021-07-20 02:11:17 × td_ quits (~td@muedsl-82-207-238-108.citykom.de) (Ping timeout: 255 seconds)
2021-07-20 02:13:07 → td_ joins (~td@muedsl-82-207-238-004.citykom.de)
2021-07-20 02:13:08 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-20 02:13:42 × alx741 quits (~alx741@186.178.108.174) (Quit: alx741)
2021-07-20 02:15:28 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 246 seconds)
2021-07-20 02:16:12 × shailangsa quits (~shailangs@host86-186-191-14.range86-186.btcentralplus.com) (Ping timeout: 265 seconds)
2021-07-20 02:18:06 → Codaraxis__ joins (~Codaraxis@141.98.255.148)
2021-07-20 02:18:07 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds)
2021-07-20 02:18:08 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-07-20 02:18:33 → Kaipi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-20 02:19:25 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
2021-07-20 02:21:34 × Codaraxis_ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 252 seconds)
2021-07-20 02:22:36 → Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com)
2021-07-20 02:22:47 → dajoer joins (~david@user/gvx)
2021-07-20 02:23:28 × chris_ quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-07-20 02:30:27 → nuncanada joins (~dude@179.235.162.215)
2021-07-20 02:31:48 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 255 seconds)
2021-07-20 02:33:19 → mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-07-20 02:34:05 × dwt_ quits (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 265 seconds)
2021-07-20 02:35:21 → dwt_ joins (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net)
2021-07-20 02:42:56 × favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds)
2021-07-20 02:44:10 → favonia joins (~favonia@user/favonia)
2021-07-20 02:45:05 × nuncanada quits (~dude@179.235.162.215) (Read error: Connection reset by peer)
2021-07-20 02:45:17 → Shailangsa_ joins (~shailangs@host86-186-142-108.range86-186.btcentralplus.com)
2021-07-20 02:47:37 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-07-20 02:51:48 × finsternis quits (~X@23.226.237.192) (Read error: Connection reset by peer)
2021-07-20 02:53:15 × Jeanne-Kamikaze quits (~Jeanne-Ka@69.4.234.87) (Quit: Leaving)
2021-07-20 02:58:30 → Jeanne-Kamikaze joins (~Jeanne-Ka@69.4.234.87)
2021-07-20 03:01:30 × favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-20 03:03:52 → favonia joins (~favonia@user/favonia)
2021-07-20 03:04:12 × shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 255 seconds)
2021-07-20 03:05:46 → o1lo01ol1o joins (~o1lo01ol1@bl11-109-140.dsl.telepac.pt)
2021-07-20 03:08:24 × machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 258 seconds)
2021-07-20 03:10:32 × o1lo01ol1o quits (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) (Ping timeout: 268 seconds)
2021-07-20 03:12:45 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-20 03:15:21 × Jeanne-Kamikaze quits (~Jeanne-Ka@69.4.234.87) (Quit: Leaving)
2021-07-20 03:17:35 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-07-20 03:17:39 → wei2912 joins (~wei2912@112.199.250.21)
2021-07-20 03:19:37 × zebrag quits (~chris@user/zebrag) (Remote host closed the connection)
2021-07-20 03:21:29 × favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds)
2021-07-20 03:24:01 → favonia joins (~favonia@user/favonia)
2021-07-20 03:26:34 × h98 quits (~h98@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
2021-07-20 03:29:29 × guest719 quits (~user@49.5.6.87) (Quit: ERC (IRC client for Emacs 27.1))
2021-07-20 03:34:42 × amk quits (~amk@176.61.106.150) (Ping timeout: 240 seconds)
2021-07-20 03:36:18 × favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-20 03:36:25 → amk joins (~amk@176.61.106.150)
2021-07-20 03:36:42 → favonia joins (~favonia@user/favonia)
2021-07-20 03:38:24 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-20 03:43:41 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-07-20 03:44:51 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-20 03:47:33 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 265 seconds)
2021-07-20 03:49:16 → Erutuon joins (~Erutuon@user/erutuon)
2021-07-20 03:49:48 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2021-07-20 03:51:19 <Boarders> does GHC have standalone kind signatures now?
2021-07-20 03:52:14 <Boarders> I can't seem to find it in the user guide so I must be looking in the wrong places
2021-07-20 03:54:36 × favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds)
2021-07-20 03:58:24 → favonia joins (~favonia@user/favonia)
2021-07-20 03:59:17 → justsomeguy joins (~justsomeg@user/justsomeguy)
2021-07-20 04:03:54 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-20 04:04:22 × yauhsien quits (~yauhsien@61-231-35-149.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-07-20 04:04:28 → peterhil joins (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi)
2021-07-20 04:04:28 × peterhil_ quits (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-20 04:05:38 <justsomeguy> In the book I'm reading, it says "Functional programming languages are all based on lambda calculus." Isn't this wrong? -- Lisp (non-scheme, older versions only), I think, was based on McCarthy's recursive function notation. I've also encountered some quotes about ALGOL 68 being described partly in lambda calculus, which leads me to ask -- what does it mean for a language to be based on lambda
2021-07-20 04:05:40 <justsomeguy> calculus in the first place?
2021-07-20 04:06:54 <Boarders> lisp was definitely based on the lambda calculus even if mccarthy made improvements to it as a programming language
2021-07-20 04:07:50 <justsomeguy> There's a quote in this article by McCarthy saying otherwise ... https://danielsz.github.io/blog/2019-08-05T21_14.html
2021-07-20 04:08:30 <justsomeguy> Or, err, a quote by McCarthy in this article by Danielsz.
2021-07-20 04:08:47 <justsomeguy> (Words are hard, sometimes.)
2021-07-20 04:09:16 <Boarders> everyone else involved in lisp seemed to think it was "based on" the lambda calculus so I wouldn't take what McCarthy's quote means too seriously
2021-07-20 04:09:33 <Boarders> especially for instance the writers of scheme
2021-07-20 04:10:05 <Boarders> who wrote a whole series of papers explaining how to encode various programming language construct in lambda calculus
2021-07-20 04:10:27 <justsomeguy> Hmm... ok.
2021-07-20 04:11:17 <Boarders> this is a relevant paper: https://dspace.mit.edu/handle/1721.1/6091
2021-07-20 04:12:05 × TranquilEcho quits (~grom@user/tranquilecho) (Quit: WeeChat 2.8)
2021-07-20 04:12:05 <justsomeguy> I'm still not sure the calculus matters. If a PL was developed that is based on SKI combinator calculus, and had functional features (referential transparency, first-class functions) would you consider that a functional language?
←Prev  Next→
Page 1 .. 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 .. 18031

All times are in UTC.