Logs: liberachat/#haskell
| 2021-05-27 06:17:07 | × | v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Changing host) |
| 2021-05-27 06:17:07 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-05-27 06:17:51 | × | haskman quits (~haskman@223.190.83.69) (Quit: Going to sleep. ZZZzzz…) |
| 2021-05-27 06:18:13 | → | berberman_ joins (~berberman@user/berberman) |
| 2021-05-27 06:18:39 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 2021-05-27 06:19:22 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 264 seconds) |
| 2021-05-27 06:19:55 | → | ddellacosta joins (~ddellacos@89.46.62.53) |
| 2021-05-27 06:19:58 | × | radw quits (~radw@user/radw) (Ping timeout: 264 seconds) |
| 2021-05-27 06:20:14 | edwlan | is now known as fiddlerwoaroof |
| 2021-05-27 06:21:02 | → | radw joins (~radw@user/radw) |
| 2021-05-27 06:21:10 | × | kewa quits (~kewa@5.138.211.57) (Ping timeout: 264 seconds) |
| 2021-05-27 06:22:13 | × | ddellacosta quits (~ddellacos@89.46.62.53) (Read error: Connection reset by peer) |
| 2021-05-27 06:22:55 | → | michalz joins (~user@185.246.204.50) |
| 2021-05-27 06:23:06 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Ping timeout: 264 seconds) |
| 2021-05-27 06:24:07 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-05-27 06:24:37 | → | Guest6618 joins (~Guest66@66.115.157.132) |
| 2021-05-27 06:24:48 | → | kewa joins (~kewa@5.138.211.57) |
| 2021-05-27 06:25:16 | → | koolazer joins (~koo@user/koolazer) |
| 2021-05-27 06:27:01 | → | pe200012 joins (~pe200012@120.236.162.14) |
| 2021-05-27 06:27:11 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-27 06:29:12 | × | Guest6618 quits (~Guest66@66.115.157.132) (Quit: Connection closed) |
| 2021-05-27 06:29:15 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::5d55) (Ping timeout: 272 seconds) |
| 2021-05-27 06:30:57 | × | fabfianda quits (~fabfianda@net-93-148-125-174.cust.vodafonedsl.it) (Ping timeout: 272 seconds) |
| 2021-05-27 06:31:01 | × | sa1 quits (uid7690@id-7690.charlton.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-27 06:31:32 | → | fabfianda joins (~fabfianda@net-93-148-125-174.cust.dsl.teletu.it) |
| 2021-05-27 06:31:58 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-27 06:31:58 | × | urdh quits (~urdh@h88-129-148-132.cust.a3fiber.se) (Ping timeout: 264 seconds) |
| 2021-05-27 06:35:45 | → | hello joins (~hello@66.115.157.132) |
| 2021-05-27 06:35:53 | → | Tomurb joins (~tom@158.194.92.121) |
| 2021-05-27 06:36:09 | → | ddellacosta joins (~ddellacos@89.46.62.60) |
| 2021-05-27 06:36:09 | × | hello quits (~hello@66.115.157.132) (Client Quit) |
| 2021-05-27 06:39:00 | → | ubert joins (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) |
| 2021-05-27 06:39:02 | × | fabfianda quits (~fabfianda@net-93-148-125-174.cust.dsl.teletu.it) (Read error: Connection reset by peer) |
| 2021-05-27 06:39:11 | → | fabfianda joins (~fabfianda@net-93-148-125-174.cust.vodafonedsl.it) |
| 2021-05-27 06:41:17 | × | ddellacosta quits (~ddellacos@89.46.62.60) (Ping timeout: 272 seconds) |
| 2021-05-27 06:42:26 | × | satai quits (~satai@ip-37-188-166-29.eurotel.cz) (Quit: satai) |
| 2021-05-27 06:43:52 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-05-27 06:44:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-27 06:45:10 | × | ubert quits (~Thunderbi@p200300ecdf259d7974882ed522245916.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2021-05-27 06:45:51 | × | Morrow quits (~MorrowM_@147.161.14.173) (Ping timeout: 244 seconds) |
| 2021-05-27 06:47:22 | × | MrGreen quits (~MrGreen@103.217.109.88) (Quit: MrGreen) |
| 2021-05-27 06:47:36 | → | MrGreen joins (~MrGreen@103.217.109.88) |
| 2021-05-27 06:50:02 | × | xandaros quits (~xandaros@user/xandaros) (Ping timeout: 252 seconds) |
| 2021-05-27 06:50:24 | → | urdh joins (~urdh@h88-129-148-132.cust.a3fiber.se) |
| 2021-05-27 06:52:42 | × | MrGreen quits (~MrGreen@103.217.109.88) (Quit: MrGreen) |
| 2021-05-27 06:53:02 | × | ntm quits (~ntm@69-212-61-243.lightspeed.cicril.sbcglobal.net) (Quit: Leaving) |
| 2021-05-27 06:53:49 | → | ddellacosta joins (~ddellacos@89.46.62.110) |
| 2021-05-27 06:53:59 | → | MrGreen joins (~MrGreen@103.217.109.88) |
| 2021-05-27 06:56:06 | × | MrGreen quits (~MrGreen@103.217.109.88) (Client Quit) |
| 2021-05-27 06:57:14 | → | thsig joins (~thsig@ip5f5bd3f1.dynamic.kabel-deutschland.de) |
| 2021-05-27 06:58:10 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-05-27 06:58:28 | × | ddellacosta quits (~ddellacos@89.46.62.110) (Ping timeout: 264 seconds) |
| 2021-05-27 07:00:18 | → | qbt joins (~edun@user/edun) |
| 2021-05-27 07:03:44 | → | xandaros joins (~xandaros@user/xandaros) |
| 2021-05-27 07:03:52 | → | zyzzyxdonta joins (~zyzzyxdon@p54bdfd77.dip0.t-ipconnect.de) |
| 2021-05-27 07:05:07 | → | nsilv joins (~nsilv@212.103.198.210) |
| 2021-05-27 07:08:03 | × | kewa quits (~kewa@5.138.211.57) (Read error: Connection reset by peer) |
| 2021-05-27 07:09:55 | → | ddellacosta joins (~ddellacos@86.106.121.44) |
| 2021-05-27 07:13:39 | → | chele joins (~chele@user/chele) |
| 2021-05-27 07:13:59 | × | img quits (~img@2405:6580:b1c0:2500:3c98:f151:a0d9:62c7) (Read error: Connection reset by peer) |
| 2021-05-27 07:14:35 | → | unyu joins (~pyon@user/pyon) |
| 2021-05-27 07:14:42 | × | ddellacosta quits (~ddellacos@86.106.121.44) (Ping timeout: 264 seconds) |
| 2021-05-27 07:18:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-27 07:21:10 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 264 seconds) |
| 2021-05-27 07:23:23 | × | thsig quits (~thsig@ip5f5bd3f1.dynamic.kabel-deutschland.de) (Quit: Leaving...) |
| 2021-05-27 07:23:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-27 07:26:21 | → | smr joins (~smn@91-114-147-117.adsl.highway.telekom.at) |
| 2021-05-27 07:26:23 | × | smr quits (~smn@91-114-147-117.adsl.highway.telekom.at) (Remote host closed the connection) |
| 2021-05-27 07:26:39 | → | smr joins (~smn@91-114-147-117.adsl.highway.telekom.at) |
| 2021-05-27 07:28:45 | → | winter joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-27 07:28:48 | → | ddellacosta joins (~ddellacos@89.46.62.59) |
| 2021-05-27 07:30:21 | → | img joins (~img@2405:6580:b1c0:2500:94ef:e7f9:57a3:5892) |
| 2021-05-27 07:33:01 | × | bfrk quits (~Thunderbi@200116b845a103000156427e7b23f5f6.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 2021-05-27 07:33:16 | × | ddellacosta quits (~ddellacos@89.46.62.59) (Ping timeout: 264 seconds) |
| 2021-05-27 07:36:11 | → | bhrgunatha joins (~bhrgunath@2001-b011-8011-6163-fde3-9a54-1125-48fe.dynamic-ip6.hinet.net) |
| 2021-05-27 07:40:28 | × | buggy quits (~buggy@user/smorgasbord) (Ping timeout: 264 seconds) |
| 2021-05-27 07:41:14 | → | buggy joins (~buggy@27.6.222.224) |
| 2021-05-27 07:43:43 | → | m_shiraeeshi joins (~shiraeesh@109.166.58.113) |
| 2021-05-27 07:44:29 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-05-27 07:46:35 | → | ddellacosta joins (~ddellacos@89.46.62.110) |
| 2021-05-27 07:46:55 | × | michalz quits (~user@185.246.204.50) (Remote host closed the connection) |
| 2021-05-27 07:47:11 | × | gehmehgeh quits (~user@user/gehmehgeh) (Client Quit) |
| 2021-05-27 07:47:27 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-05-27 07:47:40 | × | tA quits (~thorn@121.220.36.168) (Ping timeout: 264 seconds) |
| 2021-05-27 07:49:17 | <joel135> | kakuhen: http://math.andrej.com/2016/08/06/hask-is-not-a-category/ |
| 2021-05-27 07:50:35 | <kakuhen> | yeah, looks like this pesky "undefined" term just ruins everything |
| 2021-05-27 07:50:46 | → | alinab joins (sid468903@id-468903.brockwell.irccloud.com) |
| 2021-05-27 07:51:18 | × | ddellacosta quits (~ddellacos@89.46.62.110) (Ping timeout: 264 seconds) |
| 2021-05-27 07:51:38 | × | nsilv quits (~nsilv@212.103.198.210) (Ping timeout: 252 seconds) |
| 2021-05-27 07:52:41 | → | prite joins (~pritam@user/pritambaral) |
| 2021-05-27 07:53:34 | <nitrix> | Seems to me like any _|_ bottom substitute would have the same problem, though I recall a talk on the design of Haskell and it seemed to be like System Fw was precisely engineered to have those, as opposed to some other popular models. |
| 2021-05-27 07:53:54 | <kakuhen> | though a little birdie told me it's something you can safely "ignore" from the type system because it's primary purpose is a hack so you can compile incomplete code |
| 2021-05-27 07:53:56 | <dminuoso> | kakuhen: That's not what the article says. |
| 2021-05-27 07:53:57 | <nitrix> | It's a little blurry. |
| 2021-05-27 07:54:48 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-05-27 07:55:00 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Remote host closed the connection) |
| 2021-05-27 07:55:17 | <kakuhen> | dminuoso: how do you interpret the argument? |
| 2021-05-27 07:55:48 | <kakuhen> | i haven't read the supplemental arguments yet, but the biggest issue im seeing involves the fact that the "supposed identity morphisms" aren't really identities |
| 2021-05-27 07:55:49 | → | zeenk joins (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) |
| 2021-05-27 07:56:03 | <dminuoso> | kakuhen: The problem is there's no formal definition/construction of that thing "Hask". It's a blurry and handwaving notion without specification. |
All times are in UTC.