Logs: liberachat/#haskell
| 2025-10-27 07:15:38 | → | Googulator88 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 07:15:47 | × | Googulator96 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 07:18:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-27 07:22:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-27 07:29:30 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-27 07:31:25 | × | olivial quits (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-10-27 07:31:41 | → | olivial joins (~benjaminl@user/benjaminl) |
| 2025-10-27 07:32:07 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-27 07:33:31 | → | img joins (~img@user/img) |
| 2025-10-27 07:33:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-27 07:35:02 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-10-27 07:35:11 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-27 07:35:55 | <haskellbridge> | <loonycyborg> You can't force constraints to be automatically applied to data's variable using haskell 98. It expects you to always spell out constraints in all functions using that datatype. |
| 2025-10-27 07:37:33 | × | m1dnight quits (~m1dnight@d8D861A17.access.telenet.be) (Remote host closed the connection) |
| 2025-10-27 07:37:58 | → | m1dnight joins (~m1dnight@d8D861A17.access.telenet.be) |
| 2025-10-27 07:38:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-27 07:40:24 | → | Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2025-10-27 07:44:27 | <haskellbridge> | <loonycyborg> Adding constraint via datatype is strictly part of GADT extension |
| 2025-10-27 07:46:11 | <haskellbridge> | <loonycyborg> And existentials is when you have that type variable at RHS and don't have it at LHS in the data declaration. So the type of data doesn't depent on type of thing contained within. It's a different extension. |
| 2025-10-27 07:49:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-27 07:50:39 | × | Googulator88 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 07:50:43 | → | Googulator93 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 07:52:15 | → | Zemy joins (~Zemy@2600:100c:b044:cd19:b0a4:62ff:febe:5454) |
| 2025-10-27 07:52:15 | × | Core9010 quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-27 07:53:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-27 07:55:38 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2025-10-27 07:58:58 | × | Zemy quits (~Zemy@2600:100c:b044:cd19:b0a4:62ff:febe:5454) (Ping timeout: 256 seconds) |
| 2025-10-27 08:00:40 | × | craunts795335385 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-27 08:02:00 | → | srazkvt joins (~sarah@user/srazkvt) |
| 2025-10-27 08:04:45 | → | Zemy joins (~Zemy@2600:100c:b044:cd19:1017:fdff:feb2:6f00) |
| 2025-10-27 08:04:45 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-27 08:05:19 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2025-10-27 08:09:07 | × | Zemy quits (~Zemy@2600:100c:b044:cd19:1017:fdff:feb2:6f00) (Ping timeout: 260 seconds) |
| 2025-10-27 08:20:36 | × | Googulator93 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 08:20:39 | → | Googulator68 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 08:22:48 | <haskellbridge> | <loonycyborg> In fact all haskell declarations with a type variable with them have implicit forall for variables mentioned on both sides of equation. |
| 2025-10-27 08:23:53 | <haskellbridge> | <loonycyborg> Ironically existential types end up requiring explicit forall because the variable exists only at RHS |
| 2025-10-27 08:24:12 | <haskellbridge> | <loonycyborg> and explicit forall is required to convince compiler that we actually mean to introduce that variable |
| 2025-10-27 08:24:32 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-10-27 08:24:46 | <haskellbridge> | <loonycyborg> and exists still remains implicit :P |
| 2025-10-27 08:32:58 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 256 seconds) |
| 2025-10-27 08:36:03 | → | Googulator30 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 08:36:23 | × | Googulator68 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 08:40:39 | × | Googulator30 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Client Quit) |
| 2025-10-27 08:40:44 | → | Googulator82 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 08:41:09 | × | ft quits (~ft@mue-88-130-104-115.dsl.tropolys.de) (Quit: leaving) |
| 2025-10-27 08:43:30 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-27 08:45:58 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 2025-10-27 08:47:41 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-27 08:50:25 | → | LainIwakura88 joins (~LainIwaku@user/LainIwakura) |
| 2025-10-27 08:53:57 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds) |
| 2025-10-27 09:00:30 | × | Googulator82 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 09:00:37 | → | Googulator13 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 09:01:20 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 2025-10-27 09:01:22 | × | juri_ quits (~juri@implicitcad.org) (Ping timeout: 246 seconds) |
| 2025-10-27 09:03:31 | → | juri_ joins (~juri@implicitcad.org) |
| 2025-10-27 09:13:58 | → | trickard__ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-27 09:15:37 | × | trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-27 09:25:13 | → | nerdychip joins (~nerdychip@212.129.87.127) |
| 2025-10-27 09:25:13 | × | nerdychip quits (~nerdychip@212.129.87.127) (Changing host) |
| 2025-10-27 09:25:13 | → | nerdychip joins (~nerdychip@user/nerdychip) |
| 2025-10-27 09:25:33 | × | Googulator13 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 09:25:42 | × | nerdychip_ quits (~nerdychip@user/nerdychip) (Ping timeout: 240 seconds) |
| 2025-10-27 09:25:57 | → | Googulator13 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 09:27:56 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-27 09:27:57 | × | trickard__ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-27 09:28:09 | → | trickard joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-27 09:30:33 | × | Googulator13 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Client Quit) |
| 2025-10-27 09:30:41 | → | Googulator13 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 09:31:12 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-27 09:32:37 | → | Zemy joins (~Zemy@2600:100c:b044:cd19:54f3:a5ff:fe27:e682) |
| 2025-10-27 09:32:37 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-27 09:33:11 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2025-10-27 09:37:00 | × | Zemy quits (~Zemy@2600:100c:b044:cd19:54f3:a5ff:fe27:e682) (Ping timeout: 256 seconds) |
| 2025-10-27 09:37:36 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-27 09:38:25 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-27 09:43:15 | × | LainIwakura88 quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-27 09:43:15 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-27 09:45:35 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-27 09:47:18 | → | acidjnk joins (~acidjnk@p200300d6e7171970dc8f19326409100f.dip0.t-ipconnect.de) |
| 2025-10-27 09:48:35 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-10-27 09:49:29 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-27 09:50:22 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-10-27 09:50:38 | → | Googulator91 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 09:50:44 | × | Googulator13 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 09:50:52 | → | chele joins (~chele@user/chele) |
| 2025-10-27 09:52:52 | → | trickard__ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-27 09:53:02 | × | koz quits (~koz@121.99.240.58) (Ping timeout: 240 seconds) |
| 2025-10-27 09:54:37 | × | trickard quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-27 09:55:21 | → | poscat0x04 joins (~poscat@user/poscat) |
| 2025-10-27 09:56:42 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 240 seconds) |
| 2025-10-27 10:02:04 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-27 10:15:38 | → | Googulator15 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 10:15:38 | × | Googulator91 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 10:20:38 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-10-27 10:20:38 | × | Googulator15 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 10:20:49 | → | Googulator15 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 10:21:36 | → | koz joins (~koz@121.99.240.58) |
| 2025-10-27 10:28:46 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-27 10:39:01 | × | koz quits (~koz@121.99.240.58) (Ping timeout: 264 seconds) |
All times are in UTC.