Logs: liberachat/#haskell
| 2021-08-01 08:11:52 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Ping timeout: 256 seconds) |
| 2021-08-01 08:12:02 | → | azeem joins (~azeem@176.200.193.62) |
| 2021-08-01 08:14:37 | × | azeem quits (~azeem@176.200.193.62) (Read error: Connection reset by peer) |
| 2021-08-01 08:16:25 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 2021-08-01 08:16:48 | × | phma quits (~phma@host-67-44-208-68.hnremote.net) (Read error: Connection reset by peer) |
| 2021-08-01 08:17:23 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-01 08:17:41 | → | phma joins (phma@2001:5b0:212a:da48:ca78:cb9c:83eb:4c64) |
| 2021-08-01 08:17:47 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-01 08:18:03 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-01 08:21:02 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9501c19bd88441742b9a.dip0.t-ipconnect.de) |
| 2021-08-01 08:22:58 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-08-01 08:28:35 | → | mikoto-chan joins (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 2021-08-01 08:35:38 | → | mei joins (~mei@user/mei) |
| 2021-08-01 08:42:26 | → | mastarija joins (~mastarija@31.217.8.174) |
| 2021-08-01 08:42:50 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-01 08:44:15 | <mastarija> | I have the following types: |
| 2021-08-01 08:44:19 | <mastarija> | (v -> x) -> TheType m x e -> TheType m v (Maybe e) |
| 2021-08-01 08:44:21 | <mastarija> | (v -> t x) -> TheType m x e -> TheType m v (Maybe (t (Maybe e))) |
| 2021-08-01 08:44:24 | <mastarija> | (v -> x) -> [TheType m x e] -> TheType m v (Maybe e) |
| 2021-08-01 08:44:26 | <mastarija> | (v -> t x) -> [TheType m x e] -> TheType m v (Maybe (t (Maybe e))) |
| 2021-08-01 08:44:40 | <mastarija> | And I wanted to make a class that would help me overload those operations |
| 2021-08-01 08:44:48 | <mastarija> | e.g. class DoIt f v o | o -> f where doIt :: f -> v -> o |
| 2021-08-01 08:45:16 | <mastarija> | But that can't be done without some tag, right? |
| 2021-08-01 08:46:22 | <mastarija> | I can't figure out how to create instances without introducing a tag `t` in my DoIt class, and make it determine `f` `v` and `o` |
| 2021-08-01 08:47:30 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-08-01 08:47:41 | <mastarija> | It feels like it should be possible, but then again, I can't figure it out. |
| 2021-08-01 08:47:46 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-08-01 08:48:16 | <tomsmeding> | mastarija: what goes wrong when you just write 'instance DoIt (v -> x) (TheType m x e) (TheType m v (Maybe e)) where ...' for each of the options |
| 2021-08-01 08:48:41 | <tomsmeding> | (with FlexibleInstances) |
| 2021-08-01 08:49:09 | <tomsmeding> | oh because 'x' is not implied? |
| 2021-08-01 08:49:15 | <mastarija> | Coverage condition fails for fundep o -> f |
| 2021-08-01 08:49:27 | <mastarija> | lhs type `Validator m v (Maybe e)' does not determine rhs type `v -> x' |
| 2021-08-01 08:49:50 | <mastarija> | Un-determined variable: x |
| 2021-08-01 08:50:20 | <mastarija> | I mean, I guess FunDeps expect me to provide a "solid" type |
| 2021-08-01 08:50:42 | <mastarija> | Without type variables |
| 2021-08-01 08:50:50 | <tomsmeding> | no the error means that there are multiple 'f' types that correspond to the same 'o' type |
| 2021-08-01 08:50:55 | <tomsmeding> | indeed, one for every instantiation of 'x' |
| 2021-08-01 08:51:08 | <tomsmeding> | which contradicts the fundep, which literally says that there is one 'f' type for each valid 'o' |
| 2021-08-01 08:51:17 | <mastarija> | A... |
| 2021-08-01 08:51:30 | <mastarija> | tomsmeding, yes I didn't think about it that way |
| 2021-08-01 08:51:42 | <tomsmeding> | do you need to fundep? |
| 2021-08-01 08:51:45 | <tomsmeding> | without it seems to work |
| 2021-08-01 08:51:50 | <mastarija> | Really? |
| 2021-08-01 08:51:54 | <mastarija> | Oh.. |
| 2021-08-01 08:52:19 | <mastarija> | Huh... look at that |
| 2021-08-01 08:52:29 | <tomsmeding> | s/to fundep/the fundep/ |
| 2021-08-01 08:53:45 | → | mastarija_ joins (~mastarija@31.217.8.174) |
| 2021-08-01 08:54:35 | × | mastarija_ quits (~mastarija@31.217.8.174) (Client Quit) |
| 2021-08-01 08:54:51 | → | mastarija_ joins (~mastarija@31.217.8.174) |
| 2021-08-01 08:55:56 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-08-01 08:56:15 | → | jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2021-08-01 08:57:38 | × | mastarija quits (~mastarija@31.217.8.174) (Ping timeout: 272 seconds) |
| 2021-08-01 09:00:23 | → | yoctocell joins (~user@h87-96-130-155.cust.a3fiber.se) |
| 2021-08-01 09:05:34 | → | Guest9 joins (~Guest9@43.250.157.202) |
| 2021-08-01 09:08:48 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-01 09:13:43 | × | mastarija_ quits (~mastarija@31.217.8.174) (Quit: Leaving) |
| 2021-08-01 09:17:15 | → | loonycyborg joins (~loonycybo@wesnoth/developer/loonycyborg) |
| 2021-08-01 09:17:58 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-01 09:18:13 | × | burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-01 09:20:45 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-01 09:21:56 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer) |
| 2021-08-01 09:22:13 | → | jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2021-08-01 09:26:35 | × | mei quits (~mei@user/mei) (Read error: Connection reset by peer) |
| 2021-08-01 09:28:29 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-01 09:31:16 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-01 09:31:51 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) |
| 2021-08-01 09:32:05 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-01 09:36:18 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Ping timeout: 256 seconds) |
| 2021-08-01 09:42:31 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-01 09:46:53 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-08-01 09:50:09 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-08-01 09:51:02 | → | ukari joins (~ukari@user/ukari) |
| 2021-08-01 09:52:44 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-01 09:52:49 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 09:55:26 | → | jgeerds joins (~jgeerds@55d45555.access.ecotel.net) |
| 2021-08-01 09:58:26 | × | burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 2021-08-01 10:05:24 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-08-01 10:08:22 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-01 10:08:38 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-08-01 10:09:19 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-01 10:09:38 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-08-01 10:12:18 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-08-01 10:13:48 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-08-01 10:14:16 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 272 seconds) |
| 2021-08-01 10:15:26 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-08-01 10:20:36 | × | jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2021-08-01 10:24:00 | mesa | is now known as CannabisIndica |
| 2021-08-01 10:29:21 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 10:29:23 | × | burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-01 10:29:29 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 10:36:59 | → | Hanicef joins (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2021-08-01 10:41:51 | × | CannabisIndica quits (~mesa@user/mesaboogie) (Read error: Connection reset by peer) |
| 2021-08-01 10:43:15 | → | mesa joins (~mesa@user/mesaboogie) |
| 2021-08-01 10:43:54 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
| 2021-08-01 10:47:01 | mesa | is now known as CannabisIndica |
| 2021-08-01 10:47:56 | → | pesada joins (~agua@2804:18:4e:4e3d:1:0:74be:869) |
| 2021-08-01 10:51:00 | × | agua quits (~agua@2804:14c:8793:8e2f:64f8:45c2:2056:5625) (Ping timeout: 272 seconds) |
| 2021-08-01 10:52:01 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-01 10:54:53 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-08-01 10:56:47 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
All times are in UTC.