Logs: freenode/#haskell
| 2021-05-05 13:32:53 | <dminuoso> | seven_three: That's a functional dependency. |
| 2021-05-05 13:33:03 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) |
| 2021-05-05 13:33:26 | <dminuoso> | See https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/functional_dependencies.html |
| 2021-05-05 13:33:27 | <seven_three> | oh ok I ran into that before but didn't really dive into what it means |
| 2021-05-05 13:33:34 | <seven_three> | yes thanks I will read that |
| 2021-05-05 13:34:37 | <dminuoso> | You can think of them as an older version of multi-param typeclasses with associated type families, if that helps. |
| 2021-05-05 13:41:25 | <dminuoso> | Err, not multi-param typeclasses. Just associated type families I suppose. |
| 2021-05-05 13:42:42 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3dfd:792e:2e5c:4650) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-05 13:43:50 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-vhbgevczuzdaydua) (Quit: Connection closed for inactivity) |
| 2021-05-05 13:43:52 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-05 13:44:53 | → | fendor_ joins (~fendor@91.141.1.157.wireless.dyn.drei.com) |
| 2021-05-05 13:47:16 | <seven_three> | I am now reading about multi-param type classes. This example was introduced: `coerce :: Coerce a b => a -> b`. Why is this any different than saying `coerce :: (Coerce a, Coerce b) => a -> b` |
| 2021-05-05 13:47:18 | × | fendor quits (~fendor@178.165.128.231.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2021-05-05 13:48:41 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-05-05 13:48:51 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-05-05 13:49:15 | <dminuoso> | seven_three: A multi param typeclass lets you write instances that relate two types, somehow. |
| 2021-05-05 13:49:29 | × | EvilMagix quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds) |
| 2021-05-05 13:49:29 | <dminuoso> | Coerce is a bad example however, since that's not even a real typeclass. |
| 2021-05-05 13:49:48 | <dminuoso> | (You just see this as a constraint, but you cant write instances for it) |
| 2021-05-05 13:49:57 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds) |
| 2021-05-05 13:50:36 | <seven_three> | ill just keep reading |
| 2021-05-05 13:51:14 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-05 13:52:14 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 2021-05-05 13:53:11 | → | Gurkenglas_ joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-05 13:53:13 | → | ddellac__ joins (~ddellacos@86.106.143.70) |
| 2021-05-05 13:53:32 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Quit: Leaving) |
| 2021-05-05 13:54:36 | → | ecrance joins (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) |
| 2021-05-05 13:54:39 | × | ecrance quits (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) (Client Quit) |
| 2021-05-05 13:54:46 | → | tempate_ joins (~alpha@145.pool85-48-187.static.orange.es) |
| 2021-05-05 13:55:02 | → | ecrance joins (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) |
| 2021-05-05 13:55:42 | <dminuoso> | seven_three: MonadState is probably a very good and motivating example, albeit this also requires fundeps. |
| 2021-05-05 13:56:11 | <dminuoso> | The core idea, maybe to prime you for the manual, is to ensure that a given monad has exactly one particular state. |
| 2021-05-05 13:56:26 | <dminuoso> | (And that this state type can therefore be inferred from the monad type) |
| 2021-05-05 13:57:41 | × | ddellac__ quits (~ddellacos@86.106.143.70) (Ping timeout: 246 seconds) |
| 2021-05-05 13:59:01 | × | ecrance quits (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) (Client Quit) |
| 2021-05-05 13:59:11 | → | pfurla joins (~pfurla@2607:fb90:e868:aa74:8576:889e:d309:e65a) |
| 2021-05-05 13:59:47 | → | ecrance joins (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) |
| 2021-05-05 14:01:01 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-05-05 14:04:34 | × | pfurla quits (~pfurla@2607:fb90:e868:aa74:8576:889e:d309:e65a) (Ping timeout: 245 seconds) |
| 2021-05-05 14:05:49 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-05-05 14:07:02 | × | ecrance quits (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) (Quit: Leaving.) |
| 2021-05-05 14:07:43 | × | cdsmith quits (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-05 14:07:48 | → | ecrance joins (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) |
| 2021-05-05 14:10:27 | × | ecrance quits (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) (Client Quit) |
| 2021-05-05 14:10:46 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-05 14:11:14 | → | ecrance joins (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) |
| 2021-05-05 14:12:06 | × | mav1 quits (~mav@ip-88-152-11-229.hsi03.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-05-05 14:15:17 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-05-05 14:18:16 | ← | ecrance parts (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) () |
| 2021-05-05 14:20:24 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-05 14:21:02 | → | cortexauth joins (~cortexaut@2409:4053:2d01:fc8a:2bda:f737:6878:919f) |
| 2021-05-05 14:21:05 | × | cortexauth quits (~cortexaut@2409:4053:2d01:fc8a:2bda:f737:6878:919f) (Client Quit) |
| 2021-05-05 14:21:37 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 14:24:52 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b9574a5163a3f5f418180.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2021-05-05 14:25:10 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-05-05 14:28:32 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-05 14:29:16 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-05-05 14:29:21 | × | rj quits (~x@gateway/tor-sasl/rj) (Remote host closed the connection) |
| 2021-05-05 14:30:31 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-05-05 14:30:58 | × | rj quits (~x@gateway/tor-sasl/rj) (Client Quit) |
| 2021-05-05 14:32:13 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 14:33:03 | → | chisui joins (59f77c9f@i59F77C9F.versanet.de) |
| 2021-05-05 14:33:56 | → | mterwoord joins (~mterwoord@185.163.110.100) |
| 2021-05-05 14:35:48 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-05 14:36:00 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-kxfslznamczviegw) |
| 2021-05-05 14:36:41 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-05 14:37:44 | → | ADG1089 joins (~aditya@122.163.193.183) |
| 2021-05-05 14:38:14 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-05 14:40:01 | × | tempate_ quits (~alpha@145.pool85-48-187.static.orange.es) (Quit: Leaving.) |
| 2021-05-05 14:40:42 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-05 14:42:29 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-05-05 14:44:55 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3dfd:792e:2e5c:4650) |
| 2021-05-05 14:45:30 | × | adium quits (adium@unaffiliated/adium) (Quit: Stable ZNC by ##bnc4you) |
| 2021-05-05 14:45:53 | → | undvrainbowvita8 joins (~egp_@128-71-13-3.broadband.corbina.ru) |
| 2021-05-05 14:46:07 | → | adium joins (adium@unaffiliated/adium) |
| 2021-05-05 14:46:15 | → | Synthetica joins (uid199651@gateway/web/irccloud.com/x-sihdpoehqtfnfmbu) |
| 2021-05-05 14:46:28 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-05 14:47:11 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds) |
| 2021-05-05 14:47:56 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-05 14:48:52 | × | infinity0 quits (~infinity0@freenet/developer/infinity0) (Remote host closed the connection) |
| 2021-05-05 14:51:04 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-05 14:51:06 | → | infinity0 joins (~infinity0@freenet/developer/infinity0) |
| 2021-05-05 14:55:53 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-05 15:01:35 | → | dhil joins (~dhil@195.213.192.4) |
| 2021-05-05 15:04:25 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.1) |
| 2021-05-05 15:04:55 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-05 15:05:16 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-05 15:07:26 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-05 15:10:09 | → | cub3s_ joins (bifunc2@gateway/vpn/protonvpn/bifunc2) |
| 2021-05-05 15:11:19 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:a1c7:de92:dc10:d37b) (Ping timeout: 260 seconds) |
| 2021-05-05 15:12:10 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-05 15:12:27 | → | xcmw joins (~textual@dyn-72-33-2-152.uwnet.wisc.edu) |
| 2021-05-05 15:12:38 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 15:12:56 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection timed out) |
| 2021-05-05 15:12:56 | × | lawid quits (~quassel@ip5f5ae8d7.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2021-05-05 15:13:32 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-05 15:13:41 | → | lawid joins (~quassel@2a02:8109:b5c0:5334::1c18) |
| 2021-05-05 15:16:01 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-05-05 15:16:52 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-05 15:17:15 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
All times are in UTC.