Logs: liberachat/#haskell
| 2025-09-28 15:35:41 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-09-28 15:36:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-28 15:37:39 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 15:37:52 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 15:39:53 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-09-28 15:40:40 | → | Googulator92 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 15:40:45 | × | Googulator2 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 15:41:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 15:52:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-28 15:53:22 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-09-28 15:56:03 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
| 2025-09-28 15:56:03 | ljdarj1 | is now known as ljdarj |
| 2025-09-28 15:57:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 16:02:09 | × | Square quits (~Square@user/square) (Remote host closed the connection) |
| 2025-09-28 16:02:32 | → | Square joins (~Square@user/square) |
| 2025-09-28 16:05:23 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-09-28 16:07:48 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 2025-09-28 16:08:06 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-09-28 16:08:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-28 16:08:43 | <slondr> | why do haskell linters suggest calling 'elem' as infix instead of prefix? I haven't seen this suggestion for other functions but I'm getting it for 'elem' |
| 2025-09-28 16:09:54 | <__monty__> | Looks nice if you use conceals? |
| 2025-09-28 16:10:08 | <__monty__> | Makes the argument order more intuitive? |
| 2025-09-28 16:10:19 | <__monty__> | Developer's personal opinion? |
| 2025-09-28 16:10:45 | → | Googulator72 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 16:10:50 | × | Googulator92 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 16:11:01 | <slondr> | What are conceals? |
| 2025-09-28 16:11:48 | <int-e> | x `elem` xs is reminiscent of x ∊ X in set theory |
| 2025-09-28 16:12:27 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-09-28 16:13:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-28 16:16:57 | → | ystael joins (~ystael@user/ystael) |
| 2025-09-28 16:17:34 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-28 16:22:28 | <__monty__> | slondr: `:h conceal` in Vim. |
| 2025-09-28 16:23:22 | <slondr> | oh it's a vim thing? |
| 2025-09-28 16:23:40 | <slondr> | Ohh I see, it's similar to prettify-symbols-mode |
| 2025-09-28 16:23:57 | <__monty__> | Some other editors also do. |
| 2025-09-28 16:24:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-28 16:29:40 | → | peterbecich joins (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) |
| 2025-09-28 16:29:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-28 16:35:52 | → | Guest63 joins (~Guest25@49.43.241.130) |
| 2025-09-28 16:36:25 | × | Guest63 quits (~Guest25@49.43.241.130) (Client Quit) |
| 2025-09-28 16:36:27 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-28 16:37:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-28 16:40:10 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-09-28 16:40:45 | × | Googulator72 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 16:40:46 | → | Googulator54 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 16:41:50 | <dcpagan> | lyxia: The code "rhyme = symbolVal $ Proxy @(Song SongLength)" throws the type error "No instance for (KnownSymbol (Song SongLength) arising from a use of 'symbolVal'". |
| 2025-09-28 16:42:33 | <dcpagan> | I cannot use the associated type families, but the closed type families work. |
| 2025-09-28 16:42:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-28 16:43:31 | <dcpagan> | You can clone it here: https://github.com/DCPagan/Exercism-Haskell/blob/master/house/src/House.hs#L116-L117 |
| 2025-09-28 16:44:22 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-28 16:46:56 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-09-28 16:53:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-28 16:53:55 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 2025-09-28 16:54:48 | × | peterbecich quits (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 256 seconds) |
| 2025-09-28 16:55:03 | <dcpagan> | I solved it: I had to add an instance statement for the class. |
| 2025-09-28 16:58:07 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Remote host closed the connection) |
| 2025-09-28 16:58:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-28 17:03:22 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 2025-09-28 17:06:31 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 240 seconds) |
| 2025-09-28 17:06:35 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2025-09-28 17:09:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-28 17:11:56 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-09-28 17:14:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 17:15:47 | × | Googulator54 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-28 17:15:51 | → | Googulator64 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-28 17:16:27 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-28 17:18:33 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-28 17:21:13 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds) |
| 2025-09-28 17:22:32 | × | talismanick quits (~user@2601:644:937c:ed10::c8dc) (Read error: Connection reset by peer) |
| 2025-09-28 17:22:53 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-09-28 17:24:07 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 2025-09-28 17:26:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-28 17:26:33 | → | talismanick joins (~user@2601:644:937c:ed10::c8dc) |
| 2025-09-28 17:27:12 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-28 17:29:47 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Remote host closed the connection) |
| 2025-09-28 17:31:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 17:33:47 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-28 17:34:01 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-28 17:36:15 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-09-28 17:38:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-28 17:43:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-28 17:49:21 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-09-28 17:54:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-28 18:00:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-28 18:06:46 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-09-28 18:07:54 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-28 18:09:37 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds) |
| 2025-09-28 18:10:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-28 18:14:51 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-09-28 18:14:51 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-09-28 18:14:51 | → | haritz joins (~hrtz@user/haritz) |
| 2025-09-28 18:15:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-28 18:24:04 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-28 18:24:09 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 2025-09-28 18:26:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-28 18:29:12 | <tomsmeding> | dcpagan: did you add a manual instance to KnownSymbol? That sounds highly dubious and probably not the way to go |
| 2025-09-28 18:29:30 | <dcpagan> | I just did; it fixed it. |
| 2025-09-28 18:29:44 | <tomsmeding> | symbolVal is meant for symbols themselves; if you want tome kind of typeclass for "things that have a name", you should probably create that typeclass yourself |
| 2025-09-28 18:29:56 | <tomsmeding> | and it could have an instance for Symbol that delegates to symbolVal |
| 2025-09-28 18:30:27 | <tomsmeding> | or wait |
All times are in UTC.