Logs: freenode/#haskell
| 2021-04-12 15:46:43 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-04-12 15:50:18 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-12 15:50:56 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-04-12 15:52:07 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-12 15:52:29 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-12 15:55:27 | <solvr> | Isn't it odd that no CPU I can think of does lazy execution. But almost any CPU I can think of does the exact opposite: speculative execution (i.e. executing before it needs to). |
| 2021-04-12 15:55:46 | ChanServ | sets mode +o monochrom |
| 2021-04-12 15:55:48 | → | johnw joins (~johnw@haskell/developer/johnw) |
| 2021-04-12 15:55:52 | monochrom | sets mode +b *!*@87.227.196.109 |
| 2021-04-12 15:55:52 | solvr | is kicked by monochrom (solvr) |
| 2021-04-12 15:56:28 | monochrom | sets mode -b+b-o *!*@87.227.196.109 $a:solvr monochrom |
| 2021-04-12 15:59:12 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-12 15:59:43 | × | meinhof quits (4eb96741@78.185.103.65) (Ping timeout: 240 seconds) |
| 2021-04-12 15:59:51 | → | pengjiz joins (~user@2601:547:902:6d00::2) |
| 2021-04-12 16:03:34 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-04-12 16:08:06 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-04-12 16:08:09 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-04-12 16:09:13 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-04-12 16:09:24 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-12 16:11:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-12 16:12:25 | <bgamari_> | L29Ah, sadly not yet |
| 2021-04-12 16:12:32 | <bgamari_> | I'm a bit under water at the moment |
| 2021-04-12 16:14:10 | → | DavideDV joins (DavideDV@93.51.53.166) |
| 2021-04-12 16:14:17 | <DavideDV> | ciao! |
| 2021-04-12 16:14:22 | <DavideDV> | list! |
| 2021-04-12 16:14:30 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-04-12 16:14:58 | Moyst_ | is now known as Moyst |
| 2021-04-12 16:17:31 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 2021-04-12 16:17:38 | ← | DavideDV parts (DavideDV@93.51.53.166) ("Closing Window") |
| 2021-04-12 16:17:43 | → | puke joins (~vroom@217.138.252.196) |
| 2021-04-12 16:17:56 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-04-12 16:18:59 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-04-12 16:20:01 | × | simplegauss quits (~simplegau@2001:19f0:ac01:247:5400:ff:fe5c:689f) (Quit: Bye) |
| 2021-04-12 16:20:01 | × | sveit quits (~sveit@2001:19f0:ac01:247:5400:ff:fe5c:689f) (Quit: Bye) |
| 2021-04-12 16:21:29 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 250 seconds) |
| 2021-04-12 16:21:31 | → | sveit joins (~sveit@45.77.0.246) |
| 2021-04-12 16:22:00 | → | simplegauss joins (~simplegau@2001:19f0:ac01:247:5400:ff:fe5c:689f) |
| 2021-04-12 16:23:26 | × | zeenk quits (~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) (Read error: Connection reset by peer) |
| 2021-04-12 16:23:26 | × | Tario quits (~Tario@200.119.184.160) (Read error: Connection reset by peer) |
| 2021-04-12 16:23:42 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-12 16:23:47 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-12 16:25:21 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-12 16:25:30 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-04-12 16:26:34 | → | LKoen joins (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-04-12 16:26:53 | × | xsarnik0 quits (xsarnik@gateway/shell/fi.muni.cz/x-uidtystkyvzekhjq) (Ping timeout: 240 seconds) |
| 2021-04-12 16:26:53 | × | Jajik quits (xchlup2@gateway/shell/fi.muni.cz/x-opqjhtmxhszjujsj) (Ping timeout: 240 seconds) |
| 2021-04-12 16:29:41 | → | xsarnik0 joins (xsarnik@gateway/shell/fi.muni.cz/x-bdqphpqxvzmclymb) |
| 2021-04-12 16:33:09 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-12 16:34:19 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-04-12 16:35:19 | → | gitgood joins (~gitgood@80-44-10-33.dynamic.dsl.as9105.com) |
| 2021-04-12 16:35:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-12 16:40:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-12 16:41:36 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-12 16:42:52 | → | arpl joins (~ARPL@84-107-171-239.cable.dynamic.v4.ziggo.nl) |
| 2021-04-12 16:44:09 | × | alx741 quits (~alx741@181.196.68.37) (Quit: alx741) |
| 2021-04-12 16:46:49 | → | ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-04-12 16:48:31 | → | alx741 joins (~alx741@181.196.68.37) |
| 2021-04-12 16:51:45 | → | fendor__ joins (~fendor@77.119.130.199.wireless.dyn.drei.com) |
| 2021-04-12 16:51:47 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:f4f2) |
| 2021-04-12 16:52:49 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-12 16:53:34 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-wqwlliyoydaqzoui) |
| 2021-04-12 16:54:15 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-12 16:54:50 | × | fendor quits (~fendor@91.141.0.248.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2021-04-12 16:55:11 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-12 16:55:50 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-04-12 16:57:12 | → | p8m_ joins (p8m@gateway/vpn/protonvpn/p8m) |
| 2021-04-12 16:57:25 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:68e0:e795:2871:903f) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-12 16:57:27 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds) |
| 2021-04-12 16:58:14 | × | fendor_ quits (~fendor@e244-003.eduroam.tuwien.ac.at) (Quit: Leaving) |
| 2021-04-12 16:58:38 | → | nbloomf joins (~nbloomf@76.217.43.73) |
| 2021-04-12 16:59:05 | → | Guest60991 joins (d5cdf004@213.205.240.4) |
| 2021-04-12 17:00:09 | → | dominicusin[m] joins (dominicusi@gateway/shell/matrix.org/x-cjngkratdjygajhy) |
| 2021-04-12 17:01:38 | × | p8m_ quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 240 seconds) |
| 2021-04-12 17:02:07 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:f4f2) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-12 17:02:08 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-12 17:02:54 | → | Jajik joins (xchlup2@gateway/shell/fi.muni.cz/x-addkanorupodyldz) |
| 2021-04-12 17:03:05 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-04-12 17:03:47 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:f4f2) |
| 2021-04-12 17:05:58 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-12 17:09:25 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-12 17:10:45 | <Guest60991> | does anyone have a link to some examples of smart constructors for recursion-schemes defined using Mu/Nu constructors? |
| 2021-04-12 17:10:45 | → | hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-12 17:10:53 | <Guest60991> | every tutorial I can find explains how to use them with Fix |
| 2021-04-12 17:10:58 | <Guest60991> | but not with Mu/Nu |
| 2021-04-12 17:11:21 | <monochrom> | Just s/Fix/Mu/ |
| 2021-04-12 17:11:25 | → | chenin joins (bab7251a@186.183.37.26) |
| 2021-04-12 17:12:33 | <Guest60991> | different types, though? newtype Mu f = Mu (forall a. (f a → a) → a) vs data Fix f = Fix { project ∷ f (Fix f) } |
| 2021-04-12 17:12:45 | <monochrom> | Ah |
| 2021-04-12 17:13:06 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-12 17:13:35 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-12 17:14:52 | <Guest60991> | yeah, like, here's a standard example from a tutorial: data ListF a r = Cons a r | Nil |
| 2021-04-12 17:14:52 | <Guest60991> | type List a = Mu (ListF a) |
| 2021-04-12 17:14:53 | <Guest60991> | type CoList a = Nu (ListF a) |
| 2021-04-12 17:15:02 | <Guest60991> | but ... how do I build a value of Mu(ListF a) ? |
| 2021-04-12 17:15:02 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-04-12 17:15:19 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 2021-04-12 17:15:46 | → | heatsink_ joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-12 17:15:57 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-12 17:18:20 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-12 17:19:03 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
All times are in UTC.