Logs: freenode/#haskell
| 2021-05-04 08:43:45 | <__monty__> | fuzzypixelz: This looks like a decent overview, https://stackoverflow.com/a/17004448 |
| 2021-05-04 08:44:20 | <maerwald> | fuzzypixelz: Purity is the equivalency of call-by-value, call-by-name and call-by-need. I don't see what Monads have to do with that. People often usually refer to IO as "impure", but when you *evaulate* an IO action, nothing happens. For the second point, haskell had IO before Monads. |
| 2021-05-04 08:46:09 | <maerwald> | % seq (putStrLn "blag") (pure ()) |
| 2021-05-04 08:46:09 | <yahb> | maerwald: |
| 2021-05-04 08:46:12 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Remote host closed the connection) |
| 2021-05-04 08:46:19 | <sshine> | fuzzypixelz, https://stackoverflow.com/questions/17002119/haskell-pre-monadic-i-o |
| 2021-05-04 08:46:32 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-04 08:47:35 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-04 08:48:58 | → | supercoven joins (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 2021-05-04 08:51:13 | <olligobber> | mwe: https://gist.github.com/olligobber/7acce0d7b8d02d587f609f7e4b0689a4 |
| 2021-05-04 08:51:17 | <olligobber> | sshine, ^ |
| 2021-05-04 08:52:18 | → | fendor joins (~fendor@178.115.128.74.wireless.dyn.drei.com) |
| 2021-05-04 08:59:55 | → | DavidEichmann joins (~david@156.59.147.147.dyn.plus.net) |
| 2021-05-04 09:05:10 | → | JustinCase joins (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) |
| 2021-05-04 09:05:17 | → | ddellacosta joins (~ddellacos@86.106.143.187) |
| 2021-05-04 09:05:45 | → | jhrcek joins (~jhrcek@ip-89-103-183-101.net.upcbroadband.cz) |
| 2021-05-04 09:07:48 | <sshine> | olligobber, does Type1 and Type2 need the type-level equivalent of Ord? (It looks like it's called Cmp?) |
| 2021-05-04 09:08:13 | <olligobber> | I don't know |
| 2021-05-04 09:08:47 | <sshine> | olligobber, I never tried this, but I'm guessing that maybe '[Type1] does not invoke as many type-class constraints as '[Type1, Type2]. |
| 2021-05-04 09:08:59 | × | jhrcek quits (~jhrcek@ip-89-103-183-101.net.upcbroadband.cz) (Client Quit) |
| 2021-05-04 09:09:09 | → | oleks_ joins (~oleks@188.166.34.97) |
| 2021-05-04 09:09:51 | × | ddellacosta quits (~ddellacos@86.106.143.187) (Ping timeout: 260 seconds) |
| 2021-05-04 09:10:12 | <olligobber> | how do I make an instance of Cmp? |
| 2021-05-04 09:12:14 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b9513a5163a3f5f418180.dip0.t-ipconnect.de) |
| 2021-05-04 09:12:46 | × | oleks quits (~oleks@188.166.34.97) (Ping timeout: 240 seconds) |
| 2021-05-04 09:13:09 | <olligobber> | ah, I see `type instance Cmp (Natural n) (Natural m) = CmpNat n m' in an example |
| 2021-05-04 09:13:49 | × | jgt_ quits (~jgt@37.157.184.76) (Read error: Connection reset by peer) |
| 2021-05-04 09:14:14 | → | jgt_ joins (~jgt@37.157.184.76) |
| 2021-05-04 09:15:28 | <olligobber> | just gotta figure out how to compare types then |
| 2021-05-04 09:17:26 | <olligobber> | this should work? https://hackage.haskell.org/package/cmptype-0.2.0.0/docs/Type-Compare-Plugin.html |
| 2021-05-04 09:23:41 | sshine | doesn't know. I was thinking: type instance Cmp Type1 Type1 = EQ, etc. |
| 2021-05-04 09:24:50 | <sshine> | here's a more elaborate example where the type family Cmp is defined in the same way as in Data.Type.Set: https://gist.github.com/hyone/3799190#file-gistfile1-hs-L29 |
| 2021-05-04 09:25:11 | <sshine> | sorry, not exactly the same. |
| 2021-05-04 09:25:14 | <sshine> | but pretty close. |
| 2021-05-04 09:26:02 | <sshine> | and yeah, you'd probably want deriving if that exists. :-D |
| 2021-05-04 09:29:35 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:3f6d:f920:f5c0:6bcc) (Ping timeout: 260 seconds) |
| 2021-05-04 09:32:32 | × | curiousgay quits (~gay@178.217.208.8) (Remote host closed the connection) |
| 2021-05-04 09:32:32 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Quit: leaving) |
| 2021-05-04 09:33:09 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Ping timeout: 246 seconds) |
| 2021-05-04 09:34:13 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-05-04 09:34:40 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 2.8) |
| 2021-05-04 09:39:03 | → | ddellacosta joins (~ddellacos@86.106.143.31) |
| 2021-05-04 09:41:09 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:93ad:6112:53d2:cb65) |
| 2021-05-04 09:41:45 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-04 09:42:11 | × | ValeraRozuvan quits (~ValeraRoz@88.155.79.96) (Remote host closed the connection) |
| 2021-05-04 09:42:39 | → | ValeraRozuvan joins (~ValeraRoz@88.155.79.96) |
| 2021-05-04 09:43:32 | × | ddellacosta quits (~ddellacos@86.106.143.31) (Ping timeout: 240 seconds) |
| 2021-05-04 09:49:22 | → | benkolera joins (uid285671@gateway/web/irccloud.com/x-etixrpfkvxahekhz) |
| 2021-05-04 09:51:03 | → | ClaudiusMaximus joins (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) |
| 2021-05-04 09:51:03 | × | ClaudiusMaximus quits (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host) |
| 2021-05-04 09:51:03 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 2021-05-04 09:54:09 | × | JustinCase quits (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Ping timeout: 245 seconds) |
| 2021-05-04 09:54:12 | × | And1 quits (~And1@brewington.uberspace.de) (Quit: information\overflow()) |
| 2021-05-04 09:54:42 | → | otulp joins (~otulp@ti0187q162-4661.bb.online.no) |
| 2021-05-04 09:56:43 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-04 09:58:00 | × | fuzzypixelz quits (2ec10464@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Connection closed) |
| 2021-05-04 09:58:33 | × | ValeraRozuvan quits (~ValeraRoz@88.155.79.96) (Quit: ValeraRozuvan) |
| 2021-05-04 10:02:58 | → | cads joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 2021-05-04 10:04:17 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-05-04 10:04:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-05-04 10:07:23 | → | Synthetica joins (uid199651@gateway/web/irccloud.com/x-nqhwubaiasxmaztx) |
| 2021-05-04 10:07:49 | <olligobber> | ah, cmptype requires ghc (>=8.6.3 && <8.8) |
| 2021-05-04 10:08:42 | × | jespada quits (~jespada@87.74.37.248) (Quit: Leaving) |
| 2021-05-04 10:09:18 | × | lurkless quits (~ll@unaffiliated/lurkless) (Ping timeout: 260 seconds) |
| 2021-05-04 10:09:25 | × | fendor quits (~fendor@178.115.128.74.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-05-04 10:10:27 | → | ddellacosta joins (~ddellacos@86.106.143.135) |
| 2021-05-04 10:13:55 | → | esp392892 joins (~esp32_pro@89.45.7.186) |
| 2021-05-04 10:15:15 | × | ddellacosta quits (~ddellacos@86.106.143.135) (Ping timeout: 268 seconds) |
| 2021-05-04 10:15:19 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-04 10:15:35 | → | fendor joins (~fendor@178.115.128.74.wireless.dyn.drei.com) |
| 2021-05-04 10:17:07 | <olligobber> | oh, is it easy to compare symbols? |
| 2021-05-04 10:17:43 | <olligobber> | oooooooh |
| 2021-05-04 10:18:58 | <tomsmeding> | olligobber: is happy |
| 2021-05-04 10:19:46 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-04 10:21:21 | × | kmein quits (~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao) |
| 2021-05-04 10:21:39 | → | kmein joins (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2021-05-04 10:21:47 | → | cub3s_ joins (bifunc2@gateway/vpn/protonvpn/bifunc2) |
| 2021-05-04 10:22:38 | <olligobber> | it works |
| 2021-05-04 10:23:44 | <cub3s_> | Is Nixpkgs (non-broken packages) analogous to a Stack resolver? |
| 2021-05-04 10:24:13 | <cub3s_> | maralorn, cc |
| 2021-05-04 10:24:30 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-05-04 10:25:38 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-04 10:25:38 | × | Natch quits (~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 2021-05-04 10:28:04 | → | l-as joins (lasmatrixo@gateway/shell/matrix.org/x-nzwzhdnldqukobbz) |
| 2021-05-04 10:30:37 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-04 10:30:57 | → | lurkless joins (~ll@unaffiliated/lurkless) |
| 2021-05-04 10:31:02 | → | Natch joins (~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-05-04 10:35:04 | × | LKoen quits (~LKoen@140.170.9.109.rev.sfr.net) (Read error: Connection reset by peer) |
| 2021-05-04 10:36:53 | → | LKoen joins (~LKoen@140.170.9.109.rev.sfr.net) |
| 2021-05-04 10:38:16 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-04 10:43:54 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 10:45:53 | → | chisui joins (588239b3@mue-88-130-57-179.dsl.tropolys.de) |
| 2021-05-04 10:46:57 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 10:47:49 | → | daaruya joins (0512f6f3@5.18.246.243) |
| 2021-05-04 10:47:49 | → | HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de) |
| 2021-05-04 10:49:36 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-05-04 10:51:38 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-04 10:52:45 | × | daaruya quits (0512f6f3@5.18.246.243) (Quit: Connection closed) |
| 2021-05-04 10:54:13 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-04 10:54:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
All times are in UTC.