Logs: liberachat/#haskell
| 2026-04-30 01:02:40 | → | itaipu joins (~itaipu@168.121.99.12) |
| 2026-04-30 01:03:07 | → | FallenSky joins (~FallenSky@user/FallenSky) |
| 2026-04-30 01:09:39 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-30 01:10:04 | → | puke joins (~puke@user/puke) |
| 2026-04-30 01:11:59 | → | layline_ joins (~layline@149.154.26.170) |
| 2026-04-30 01:12:40 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-04-30 01:15:22 | × | acidjnk quits (~acidjnk@p200300d6e700e542f647a2cff7c48503.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-30 01:15:35 | × | acidjnk_new3 quits (~acidjnk@p200300d6e700e542f647a2cff7c48503.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-04-30 01:16:12 | × | layline_ quits (~layline@149.154.26.170) (Ping timeout: 246 seconds) |
| 2026-04-30 01:16:13 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-30 01:17:30 | × | Square2 quits (~Square@user/square) (Ping timeout: 248 seconds) |
| 2026-04-30 01:20:45 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 246 seconds) |
| 2026-04-30 01:22:40 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-30 01:26:59 | → | xff0x joins (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) |
| 2026-04-30 01:31:31 | × | FallenSky quits (~FallenSky@user/FallenSky) (Ping timeout: 264 seconds) |
| 2026-04-30 01:31:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 01:33:32 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-30 01:38:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-30 01:44:10 | × | Pozyomka quits (~pyon@user/pyon) (Quit: fuck logind) |
| 2026-04-30 01:44:35 | → | FallenSky joins (~FallenSky@user/FallenSky) |
| 2026-04-30 01:44:36 | → | layline_ joins (~layline@149.154.26.170) |
| 2026-04-30 01:45:46 | → | Pozyomka joins (~pyon@user/pyon) |
| 2026-04-30 01:49:06 | × | layline_ quits (~layline@149.154.26.170) (Ping timeout: 248 seconds) |
| 2026-04-30 01:49:39 | × | FallenSky quits (~FallenSky@user/FallenSky) (Ping timeout: 248 seconds) |
| 2026-04-30 01:52:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 01:56:27 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2026-04-30 01:57:27 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-30 01:58:39 | × | dolio quits (~dolio@130.44.140.168) (Ping timeout: 245 seconds) |
| 2026-04-30 02:01:10 | → | FallenSky joins (~FallenSky@user/FallenSky) |
| 2026-04-30 02:01:11 | → | layline_ joins (~layline@149.154.26.170) |
| 2026-04-30 02:02:35 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2026-04-30 02:03:27 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-30 02:06:00 | × | FallenSky quits (~FallenSky@user/FallenSky) (Ping timeout: 255 seconds) |
| 2026-04-30 02:09:07 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-30 02:11:41 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-04-30 02:13:19 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-30 02:15:50 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2026-04-30 02:17:45 | → | FallenSky joins (~FallenSky@user/FallenSky) |
| 2026-04-30 02:26:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 02:31:22 | <monochrom> | If you take Prolog, but remove cut, and remove the closed-world assumption (so for example you cannot talk about negation), then you get Haskell type classes, with "Stuff a => Eq a" being "Eq(A) :- Stuff(A)". |
| 2026-04-30 02:32:26 | <monochrom> | Since you don't have cut, there is no way to fix up "Eq(Int). Eq(A) :- Stuff(A)." to have uniqueness. |
| 2026-04-30 02:33:05 | <monochrom> | Since you don't have negation, you cannot try "if A is not Int then try Stuff(A)" either. |
| 2026-04-30 02:33:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-30 02:35:18 | <monochrom> | Why it's an open world: Separate compilation, therefore you will not be sure that Eq(Int) does not happen in some other module. |
| 2026-04-30 02:36:26 | <monochrom> | Why no cut: I don't really know, but I bet it's for simplicity. (I dread thinking up Prolog code that uses cuts to ensure first-solution-only. I never get it.) |
| 2026-04-30 02:37:00 | → | tccq joins (~tccq@user/tccq) |
| 2026-04-30 02:37:11 | <monochrom> | perhaps s/simplicity/KISS/ |
| 2026-04-30 02:38:00 | <tccq> | is there a good example / tutorial for SYB style generic usage? I want a fold over the language-c AST and would rather not write it myself |
| 2026-04-30 02:39:20 | × | FallenSky quits (~FallenSky@user/FallenSky) (Ping timeout: 245 seconds) |
| 2026-04-30 02:39:51 | × | mehbark quits (~mehbark@joey.luug.ece.vt.edu) (Quit: insert leave message here) |
| 2026-04-30 02:43:16 | → | karenw joins (~karenw@user/karenw) |
| 2026-04-30 02:45:20 | × | puke quits (~puke@user/puke) (Quit: puke) |
| 2026-04-30 02:45:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 02:49:40 | → | FallenSky joins (~FallenSky@user/FallenSky) |
| 2026-04-30 02:50:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-30 02:51:45 | → | mtmn joins (~mtmn@user/mtmn) |
| 2026-04-30 02:54:27 | → | mehbark joins (~mehbark@joey.luug.ece.vt.edu) |
| 2026-04-30 02:54:39 | × | FallenSky quits (~FallenSky@user/FallenSky) (Ping timeout: 244 seconds) |
| 2026-04-30 02:57:09 | × | mehbark quits (~mehbark@joey.luug.ece.vt.edu) (Client Quit) |
| 2026-04-30 02:58:03 | → | mehbark joins (~mehbark@joey.luug.ece.vt.edu) |
| 2026-04-30 02:59:58 | → | FallenSky joins (~FallenSky@user/FallenSky) |
| 2026-04-30 03:04:45 | × | FallenSky quits (~FallenSky@user/FallenSky) (Ping timeout: 245 seconds) |
| 2026-04-30 03:06:45 | × | hsw quits (~hsw@112-104-8-95.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 2026-04-30 03:12:13 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-04-30 03:16:04 | → | FallenSky joins (~FallenSky@user/FallenSky) |
| 2026-04-30 03:17:55 | × | synchromesh quits (~john@2406:5a00:247e:1500:6092:d450:dbbd:88ed) (Read error: Connection reset by peer) |
| 2026-04-30 03:18:07 | → | synchromesh joins (~john@2406:5a00:247e:1500:d5de:46aa:de90:76fa) |
| 2026-04-30 03:20:45 | × | tzh_ quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: ksvks) |
| 2026-04-30 03:21:00 | × | FallenSky quits (~FallenSky@user/FallenSky) (Ping timeout: 244 seconds) |
| 2026-04-30 03:28:24 | → | FallenSky joins (~FallenSky@user/FallenSky) |
| 2026-04-30 03:28:32 | → | alhazrod joins (uid662262@id-662262.lymington.irccloud.com) |
| 2026-04-30 03:30:15 | × | inedia quits (~irc@2600:3c00:e000:287::1) (Quit: WeeChat 4.8.1) |
| 2026-04-30 03:31:55 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-04-30 03:32:05 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2026-04-30 03:32:17 | → | inedia joins (~irc@2600:3c00:e000:287::1) |
| 2026-04-30 03:32:35 | × | synchromesh quits (~john@2406:5a00:247e:1500:d5de:46aa:de90:76fa) (Quit: WeeChat 4.1.1) |
| 2026-04-30 03:33:14 | × | FallenSky quits (~FallenSky@user/FallenSky) (Ping timeout: 245 seconds) |
| 2026-04-30 03:34:16 | layline_ | is now known as layline-away |
| 2026-04-30 03:34:31 | × | layline-away quits (~layline@149.154.26.170) (Quit: ZZZzzz…) |
| 2026-04-30 03:36:38 | → | synchromesh joins (~john@2406:5a00:247e:1500:655a:5069:c050:dc5f) |
| 2026-04-30 03:37:04 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-30 03:38:04 | × | m quits (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-04-30 03:40:06 | → | m joins (~travltux@user/travltux) |
| 2026-04-30 03:40:07 | <jackdk> | tccq Not a direct answer, but I found the original paper for uniplate pretty readable, and the ideas should get you started with the modern versions of the lib: https://archive.alvb.in/msc/02_infogp/papers/SCRAPSCARY_dk.pdf |
| 2026-04-30 03:43:06 | → | michalz joins (~michalz@185.246.207.215) |
| 2026-04-30 03:45:08 | → | FallenSky joins (~FallenSky@user/FallenSky) |
| 2026-04-30 03:45:57 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2026-04-30 03:47:46 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-30 03:48:58 | → | arahael joins (~wetfoot@user/arahael) |
| 2026-04-30 03:49:30 | × | xff0x quits (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 255 seconds) |
| 2026-04-30 03:49:51 | × | FallenSky quits (~FallenSky@user/FallenSky) (Ping timeout: 246 seconds) |
| 2026-04-30 03:50:05 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-04-30 03:51:38 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-30 03:52:39 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 268 seconds) |
| 2026-04-30 04:00:19 | × | emaczen quits (~user@user/emaczen) (Ping timeout: 264 seconds) |
| 2026-04-30 04:01:28 | → | FallenSky joins (~FallenSky@user/FallenSky) |
| 2026-04-30 04:05:50 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 2026-04-30 04:06:36 | × | FallenSky quits (~FallenSky@user/FallenSky) (Ping timeout: 255 seconds) |
| 2026-04-30 04:12:38 | → | FallenSky joins (~FallenSky@user/FallenSky) |
| 2026-04-30 04:14:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
All times are in UTC.