Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 310 311 312 313 314 315 316 317 318 319 320 .. 5022
— 502,152 events total
2020-09-30 00:09:09 × isovector1_ quits (~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Quit: Leaving)
2020-09-30 00:11:17 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-30 00:12:53 → mirrorbird joins (~psutcliff@2a00:801:3fb:53b9:b09b:cd4e:4e4a:44a9)
2020-09-30 00:12:54 × alexm_ quits (~alexm_@161.8.233.138) ()
2020-09-30 00:13:01 × mnrmnaughmnrgle quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 246 seconds)
2020-09-30 00:13:59 × pjb quits (~t@2a01cb04063ec50051c09997d608b3a3.ipv6.abo.wanadoo.fr) (Ping timeout: 272 seconds)
2020-09-30 00:14:50 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-30 00:15:12 → mu_ joins (~mu@unaffiliated/mu)
2020-09-30 00:15:52 × borne quits (~fritjof@200116b864231000537d5cc8226f9d9f.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-09-30 00:16:43 × wwwww quits (~wwwww@unaffiliated/wwwww) (Ping timeout: 260 seconds)
2020-09-30 00:18:14 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-30 00:18:49 → jedws joins (~jedws@121.209.139.222)
2020-09-30 00:18:49 → wwwww joins (~wwwww@unaffiliated/wwwww)
2020-09-30 00:20:23 × catkiki quits (~catkiki@m90-134-157-227.cust.tele2.hr) (Ping timeout: 260 seconds)
2020-09-30 00:22:33 → ransom joins (~c4264035@c-73-243-2-10.hsd1.co.comcast.net)
2020-09-30 00:23:01 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 264 seconds)
2020-09-30 00:24:18 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-30 00:26:03 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-30 00:26:13 → mu__ joins (~mu@unaffiliated/mu)
2020-09-30 00:26:38 × LKoen quits (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-09-30 00:27:05 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-09-30 00:27:57 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:1975:ad5b:4777:bf80)
2020-09-30 00:33:15 → sagax joins (~sagax_nb@213.138.71.146)
2020-09-30 00:37:06 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-30 00:37:23 × mu__ quits (~mu@unaffiliated/mu) (Ping timeout: 240 seconds)
2020-09-30 00:40:28 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-30 00:41:19 → fog joins (a18146ab@gateway/web/cgi-irc/kiwiirc.com/ip.161.129.70.171)
2020-09-30 00:41:48 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-09-30 00:43:06 <fog> hc: i was thinking about what you said about the presentation of structured concurrency starting from the dijkstra "goto considered harmful" and the corresponding "go statement considered harmful" and the parallels between the development of imperative programing and the corresponding containerised threading
2020-09-30 00:43:54 <fog> it seems like the progression was away from the turing tape style of jumping around within programs, to top down imperative style - and then to OOP and finally to functional programming
2020-09-30 00:44:42 <fog> basically the key part is not from "goto style" programing with explicit line numberings like "basic" to imperative, but from imperative to OOP and functional
2020-09-30 00:45:38 <fog> basically, this gives the "syntax tree" order of evaluation, where referencing functions or methods replaces imperative or goto style for calling different sub-parts of a piece of code / program
2020-09-30 00:46:09 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-30 00:46:58 <fog> then, "structured concurrency" is similar to this - that instead of parallel threads, in the shape of a list of lists, with order of evaluation in imperative style - from top to bottom in code - that instead, the "subprocess tree" is built into syntax referencing trees
2020-09-30 00:48:05 <fog> it seems then that lambda calculus, as an alternative way of ordering subcomponents of a program - has a duality with "structure concurrency" when supported by a similar syntax tree organising and referencing
2020-09-30 00:48:06 × ces quits (~ces@52d3ce3c.dynamic-ip.k-net.dk) (Quit: WeeChat 2.9)
2020-09-30 00:48:13 × elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-30 00:48:43 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-30 00:49:08 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-30 00:49:09 <fog> the presentation of structured concurrency then seems natural to occur within kotlin, where they have power over the syntax of the language as part of the language (arguably the key component of kotlin)
2020-09-30 00:50:06 <fog> and the natural question to ask then, is what support do we have for structured concurrency - or the syntax tree of concurrent subthreading - do we have in haskell
2020-09-30 00:51:05 <fog> and similarly, what relation does structured concurrency have to lambda calculus - wrt to syntax trees, and how can this fit into the study of formal languages, particularly regarding type systems
2020-09-30 00:52:10 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-30 00:53:41 × zacts quits (~zacts@dragora/developer/zacts) (Ping timeout: 265 seconds)
2020-09-30 00:53:47 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-30 00:54:11 × obfusk quits (~quassel@a82-161-150-56.adsl.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-30 00:54:41 → SRV_DW20 joins (~SRV_DW20@188.126.89.194)
2020-09-30 00:57:23 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2020-09-30 00:58:59 → elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-30 01:01:36 × fog quits (a18146ab@gateway/web/cgi-irc/kiwiirc.com/ip.161.129.70.171) (Quit: Connection closed)
2020-09-30 01:01:56 × voyons_calisse quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-09-30 01:02:20 → reallymemorable joins (~quassel@ip68-9-215-56.ri.ri.cox.net)
2020-09-30 01:02:39 → voyons_calisse joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-09-30 01:04:27 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds)
2020-09-30 01:05:17 × jwynn6 quits (~jwynn6@050-088-122-078.res.spectrum.com) (Ping timeout: 265 seconds)
2020-09-30 01:06:09 → woxip0 joins (~dixon@190.75.138.21)
2020-09-30 01:11:21 → obfusk joins (~quassel@a82-161-150-56.adsl.xs4all.nl)
2020-09-30 01:16:55 × nineonine quits (~nineonine@216.81.48.202) (Remote host closed the connection)
2020-09-30 01:19:36 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-30 01:20:08 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-30 01:22:00 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds)
2020-09-30 01:22:47 → fiQ- joins (~fiQ@mirkk.ninja)
2020-09-30 01:22:52 × Fernando-Basso[m quits (fernando-b@gateway/shell/matrix.org/x-bzveclrqdjopevvi) (Ping timeout: 244 seconds)
2020-09-30 01:22:53 × PotatoHatsue quits (berbermanp@gateway/shell/matrix.org/x-rhnnqgshpzwteayn) (Ping timeout: 244 seconds)
2020-09-30 01:22:53 × lnxw37d4 quits (lnxw37d4ma@gateway/shell/matrix.org/x-gkitpxsfpbgapswi) (Ping timeout: 244 seconds)
2020-09-30 01:22:55 × rednaZ[m] quits (r3dnazmatr@gateway/shell/matrix.org/x-pxthlvwirdzkfldr) (Ping timeout: 240 seconds)
2020-09-30 01:22:56 × DavSanchez[m]1 quits (davsanchez@gateway/shell/matrix.org/x-intvmspuzeodooky) (Ping timeout: 240 seconds)
2020-09-30 01:22:58 × mikr[m] quits (mikrdavral@gateway/shell/matrix.org/x-hwalopiqxtzxmuln) (Ping timeout: 240 seconds)
2020-09-30 01:22:58 × gcoakes[m] quits (gcoakesmat@gateway/shell/matrix.org/x-oqmnilbkbiprwtsk) (Ping timeout: 240 seconds)
2020-09-30 01:22:59 × jtojnar quits (jtojnarmat@gateway/shell/matrix.org/x-mzqqgajmshcqybbf) (Ping timeout: 240 seconds)
2020-09-30 01:22:59 × kbse[m] quits (kbsematrix@gateway/shell/matrix.org/x-sculxxdsyrrjjfti) (Ping timeout: 240 seconds)
2020-09-30 01:23:00 → Tristan- joins (~tristan@luna.whatbox.ca)
2020-09-30 01:23:16 × SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!)
2020-09-30 01:23:22 × johnnyboy[m] quits (gifumatrix@gateway/shell/matrix.org/x-srnthwvxcuzhennq) (Ping timeout: 244 seconds)
2020-09-30 01:23:23 × ciderpunx[m] quits (ciderpunxm@gateway/shell/matrix.org/x-ohxhmeveghuoordm) (Ping timeout: 244 seconds)
2020-09-30 01:23:24 × nihilazo quits (nihilazoma@gateway/shell/matrix.org/x-wvynfrgeooaehrwj) (Ping timeout: 244 seconds)
2020-09-30 01:23:24 × vaibhavsagar quits (vaibhavsag@gateway/shell/matrix.org/x-ykpkqyigflaojgkk) (Ping timeout: 244 seconds)
2020-09-30 01:23:24 × Ericson2314 quits (ericson231@gateway/shell/matrix.org/x-zonkcqyqfobqnkxa) (Ping timeout: 244 seconds)
2020-09-30 01:23:25 × psydruid quits (psydruidma@gateway/shell/matrix.org/x-txusvakrguymexoi) (Ping timeout: 240 seconds)
2020-09-30 01:23:25 × michaelpj1 quits (michaelpjm@gateway/shell/matrix.org/x-zdqnoycusovyxytr) (Ping timeout: 240 seconds)
2020-09-30 01:23:25 × iinuwa1 quits (iinuwamatr@gateway/shell/matrix.org/x-thwbsslmbetrqwug) (Ping timeout: 240 seconds)
2020-09-30 01:23:26 × Noughtmare[m] quits (naughtmare@gateway/shell/matrix.org/x-utoajxemuakmnoxf) (Ping timeout: 240 seconds)
2020-09-30 01:23:26 × srid quits (sridmatrix@gateway/shell/matrix.org/x-czutkscoikgmnogk) (Ping timeout: 240 seconds)
2020-09-30 01:23:26 × domenkozar[m] quits (domenkozar@NixOS/user/domenkozar) (Ping timeout: 240 seconds)
2020-09-30 01:23:27 × itai33[m] quits (itai33matr@gateway/shell/matrix.org/x-wnrutdelscmogfwp) (Ping timeout: 244 seconds)
2020-09-30 01:23:27 × GuillaumeChrel[m quits (guillaumec@gateway/shell/matrix.org/x-kshkczvcmipqxvet) (Ping timeout: 244 seconds)
2020-09-30 01:23:27 × unclechu quits (unclechuma@gateway/shell/matrix.org/x-lntdfkrgyhbmpftv) (Ping timeout: 244 seconds)
2020-09-30 01:23:32 × sureyeaah quits (shauryab98@gateway/shell/matrix.org/x-ixgowzetgwdpalkm) (Ping timeout: 260 seconds)
2020-09-30 01:23:32 × io_r_us[m] quits (commandlin@gateway/shell/matrix.org/x-qhnwvfdzptqgsudu) (Ping timeout: 260 seconds)
2020-09-30 01:23:33 × wangoe[m] quits (wangoematr@gateway/shell/matrix.org/x-doccrosmfaineuhr) (Ping timeout: 260 seconds)
2020-09-30 01:23:39 × fiQ2 quits (~fiQ@mirkk.ninja) (Ping timeout: 272 seconds)
2020-09-30 01:23:48 × Rembane quits (~Rembane@li346-36.members.linode.com) (Ping timeout: 260 seconds)
2020-09-30 01:23:56 × lambdaclan quits (lambdaclan@gateway/shell/matrix.org/x-ndsjwyfusbpfxije) (Ping timeout: 240 seconds)
2020-09-30 01:23:56 × siraben quits (sirabenmat@gateway/shell/matrix.org/x-dmnemwizldkhcqnq) (Ping timeout: 240 seconds)
2020-09-30 01:24:07 × acidjnk_new quits (~acidjnk@p200300d0c72378745c7b1a0a573f1493.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-30 01:24:07 × alexfmpe quits (alexfmpema@gateway/shell/matrix.org/x-qdsezkyvjisttceh) (Ping timeout: 260 seconds)
2020-09-30 01:24:07 × chreekat[m] quits (chreekatma@gateway/shell/matrix.org/x-linhirjvdrhofayv) (Ping timeout: 260 seconds)
2020-09-30 01:24:07 × jabruen[m] quits (jabruenmat@gateway/shell/matrix.org/x-jrbozatdhjtmoeer) (Ping timeout: 260 seconds)
2020-09-30 01:24:07 × sajith[m] quits (sajithmatr@gateway/shell/matrix.org/x-jadbtjneiqrtbrpb) (Ping timeout: 260 seconds)
2020-09-30 01:24:07 × theduke quits (thedukem1@gateway/shell/matrix.org/x-lcbmhqyekohotgxa) (Ping timeout: 260 seconds)
←Prev  Next→
Page 1 .. 310 311 312 313 314 315 316 317 318 319 320 .. 5022

All times are in UTC.