Logs: liberachat/#haskell
| 2021-08-28 21:55:00 | <yushyin> | minimario: https://wiki.haskell.org/Performance/Data_types#Strict_fields |
| 2021-08-28 21:56:47 | × | mastarija quits (~mastarija@78-3-210-70.adsl.net.t-com.hr) (Quit: Leaving) |
| 2021-08-28 22:00:12 | → | fresheyeball joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-08-28 22:00:28 | <fresheyeball> | hey is there any reason why servant is treating status 401 as a success? |
| 2021-08-28 22:02:48 | → | jrm joins (~jrm@156.34.187.65) |
| 2021-08-28 22:03:24 | → | enab2 joins (~a@p200300ef970830b945b8de8f8152bf35.dip0.t-ipconnect.de) |
| 2021-08-28 22:04:27 | <pavonia> | fresheyeball: In what way is it treating it a success? |
| 2021-08-28 22:05:38 | <enab2> | In ghci i did "x = [1, 2, 3]; seq x (); :sprint x". I expected to see "x = _:_" but it said "x = _". Why is x not evaluated to whnf? |
| 2021-08-28 22:05:50 | → | martin02 joins (~silas@141.84.69.76) |
| 2021-08-28 22:06:08 | <c_wraith> | enab2: try x = [1, 2, 3] :: [Int] |
| 2021-08-28 22:08:23 | × | dsrt^ quits (~dsrt@12.16.129.111) (Remote host closed the connection) |
| 2021-08-28 22:11:17 | <enab2> | c_wraith: x = [1, 2, 3] :: [Int]; :sprint x returns x = [1, 2, 3], fully evaluated. Without using seq or anything. Is this a ghci thing? Or a top-level special case? |
| 2021-08-28 22:11:41 | <c_wraith> | enab2: neither. it's got to do with typeclasses being implemented as functions |
| 2021-08-28 22:16:43 | <c_wraith> | enab2: if you have a typeclass-polymorphic value, it's implemented as a function that takes the class dictionary as a hidden argument that the compiler fills in. But it means that any evaluation isn't shared, because it's evaluation of the result of applying a function, not a value that's stored. |
| 2021-08-28 22:17:34 | × | azeem quits (~azeem@5.168.106.177) (Ping timeout: 252 seconds) |
| 2021-08-28 22:17:49 | → | azeem joins (~azeem@5.168.106.177) |
| 2021-08-28 22:24:01 | × | azeem quits (~azeem@5.168.106.177) (Ping timeout: 248 seconds) |
| 2021-08-28 22:24:16 | → | azeem joins (~azeem@5.168.106.177) |
| 2021-08-28 22:24:28 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-08-28 22:25:58 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-131-126.cust.tzulo.com) |
| 2021-08-28 22:26:17 | × | jlamothe quits (~jlamothe@104.158.48.100) (Ping timeout: 245 seconds) |
| 2021-08-28 22:31:06 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-28 22:32:25 | × | d0ku quits (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) (Ping timeout: 252 seconds) |
| 2021-08-28 22:34:40 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2021-08-28 22:36:12 | × | bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |
| 2021-08-28 22:38:25 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-28 22:38:57 | × | minimario quits (~minimario@2603:900a:1600:ba00:f194:27a7:3a07:9cc5) (Ping timeout: 256 seconds) |
| 2021-08-28 22:42:09 | × | fendor_ quits (~fendor@178.165.164.244.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 2021-08-28 22:43:50 | → | acidjnk_new joins (~acidjnk@p200300d0c72b95318d14906cff331aba.dip0.t-ipconnect.de) |
| 2021-08-28 22:46:30 | <enab2> | c_wraith: I understand. If a function is typeclass polymorphic will this hidden argument be the first or the last argument of the function? |
| 2021-08-28 22:46:49 | <c_wraith> | first. GHC actually compiles => as -> in core |
| 2021-08-28 22:47:29 | × | acidjnk quits (~acidjnk@p200300d0c72b9531c50f6552fc7b880d.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-08-28 22:51:03 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-28 22:51:17 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-28 22:54:49 | × | enoq quits (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 2021-08-28 22:58:12 | × | kimjetwav quits (~user@2607:fea8:235f:9730:4718:18aa:30c8:2ab8) (Ping timeout: 250 seconds) |
| 2021-08-28 23:02:39 | × | qbt quits (~edun@user/edun) (Ping timeout: 250 seconds) |
| 2021-08-28 23:03:21 | × | asthasr quits (~asthasr@162.210.28.151) (Remote host closed the connection) |
| 2021-08-28 23:04:40 | → | asthasr joins (~asthasr@162.210.28.151) |
| 2021-08-28 23:06:00 | × | hendi quits (sid489601@id-489601.tooting.irccloud.com) (Ping timeout: 250 seconds) |
| 2021-08-28 23:06:21 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-28 23:11:12 | → | hendi joins (sid489601@tooting.irccloud.com) |
| 2021-08-28 23:11:48 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-28 23:12:00 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-28 23:12:46 | → | d0ku joins (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) |
| 2021-08-28 23:14:01 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-28 23:15:52 | × | Gurkenglas quits (~Gurkengla@dslb-088-064-053-140.088.064.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2021-08-28 23:18:02 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-28 23:19:40 | × | idnar quits (sid12240@debian/mithrandi) (Ping timeout: 258 seconds) |
| 2021-08-28 23:19:57 | × | yaroot quits (~yaroot@6.3.30.125.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat) |
| 2021-08-28 23:20:11 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-28 23:20:11 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-08-28 23:20:11 | → | wroathe joins (~wroathe@user/wroathe) |
| 2021-08-28 23:20:34 | <janus> | if you have multiple constraints, will there be multiple dictionaries? or one for the whole combination? |
| 2021-08-28 23:21:25 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-28 23:21:53 | → | idnar joins (sid12240@debian/mithrandi) |
| 2021-08-28 23:23:50 | <janus> | i always imagined there would be one dictionary per instance chosen, but there can be only one =>. so are the dictionaries put in a tuple? |
| 2021-08-28 23:24:38 | × | hendi quits (sid489601@tooting.irccloud.com) (Ping timeout: 250 seconds) |
| 2021-08-28 23:25:04 | × | Pent quits (sid313808@id-313808.tooting.irccloud.com) (Ping timeout: 250 seconds) |
| 2021-08-28 23:25:20 | <geekosaur> | actually there can be more than one => (there's not supposed to be, it's a side effect of how ghc implements it) |
| 2021-08-28 23:25:27 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-08-28 23:26:22 | × | d0ku quits (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) (Ping timeout: 250 seconds) |
| 2021-08-28 23:26:23 | <hpc> | higher-ranked types can have more (=>) without being weird |
| 2021-08-28 23:27:32 | → | zebrag joins (~chris@user/zebrag) |
| 2021-08-28 23:28:05 | → | Pent joins (sid313808@tooting.irccloud.com) |
| 2021-08-28 23:28:09 | → | hendi joins (sid489601@tooting.irccloud.com) |
| 2021-08-28 23:28:13 | <janus> | hpc: oh, do you know of an example? it's hard to hoogle or google |
| 2021-08-28 23:29:31 | × | acidjnk_new quits (~acidjnk@p200300d0c72b95318d14906cff331aba.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-08-28 23:32:04 | <monochrom> | execute :: MonadIO m => (forall n. MyMonadClass n => n a) -> m a |
| 2021-08-28 23:32:27 | <hpc> | foo :: IsString s => (forall s' a. (Show a, IsString s') => a -> s') -> s |
| 2021-08-28 23:32:42 | <hpc> | foo f = (f "this", f 5) |
| 2021-08-28 23:32:46 | <hpc> | or something along those lines |
| 2021-08-28 23:32:50 | <hpc> | too lazy to ghci :P |
| 2021-08-28 23:35:35 | × | enab2 quits (~a@p200300ef970830b945b8de8f8152bf35.dip0.t-ipconnect.de) (Quit: WeeChat 3.0.1) |
| 2021-08-28 23:37:40 | × | tllp quits (~tllp@69.233.98.238) (Quit: nyaa~) |
| 2021-08-28 23:38:04 | × | Adeon quits (sid418992@id-418992.tooting.irccloud.com) (Ping timeout: 250 seconds) |
| 2021-08-28 23:38:41 | × | NemesisD quits (sid24071@tooting.irccloud.com) (Ping timeout: 248 seconds) |
| 2021-08-28 23:39:05 | × | vysn quits (~vysn@user/vysn) (Remote host closed the connection) |
| 2021-08-28 23:39:07 | × | idnar quits (sid12240@debian/mithrandi) (Ping timeout: 240 seconds) |
| 2021-08-28 23:39:22 | → | dajoer joins (~david@user/gvx) |
| 2021-08-28 23:39:31 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-08-28 23:40:49 | × | Pent quits (sid313808@tooting.irccloud.com) (Ping timeout: 248 seconds) |
| 2021-08-28 23:40:57 | → | Guest|50 joins (~Guest|50@cpe-94-253-166-65.zg.cable.xnet.hr) |
| 2021-08-28 23:41:53 | → | NemesisD joins (sid24071@tooting.irccloud.com) |
| 2021-08-28 23:42:32 | → | Adeon joins (sid418992@tooting.irccloud.com) |
| 2021-08-28 23:42:37 | × | enemeth79 quits (sid309041@tooting.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-28 23:42:44 | → | idnar joins (sid12240@debian/mithrandi) |
| 2021-08-28 23:43:42 | × | hsiktas quits (sid224847@id-224847.tooting.irccloud.com) (Ping timeout: 250 seconds) |
| 2021-08-28 23:44:18 | → | Pent joins (sid313808@tooting.irccloud.com) |
| 2021-08-28 23:44:30 | × | Guest|50 quits (~Guest|50@cpe-94-253-166-65.zg.cable.xnet.hr) (Client Quit) |
| 2021-08-28 23:44:56 | → | yaroot joins (~yaroot@6.3.30.125.dy.iij4u.or.jp) |
| 2021-08-28 23:45:07 | × | martin02 quits (~silas@141.84.69.76) (Ping timeout: 240 seconds) |
| 2021-08-28 23:45:07 | → | enemeth79 joins (sid309041@tooting.irccloud.com) |
| 2021-08-28 23:47:07 | × | integral quits (sid296274@user/integral) (Ping timeout: 240 seconds) |
| 2021-08-28 23:48:02 | → | integral joins (sid296274@user/integral) |
| 2021-08-28 23:48:02 | × | nrr quits (sid20938@id-20938.tooting.irccloud.com) (Ping timeout: 250 seconds) |
| 2021-08-28 23:48:39 | → | hsiktas joins (sid224847@tooting.irccloud.com) |
| 2021-08-28 23:49:53 | × | azeem quits (~azeem@5.168.106.177) (Ping timeout: 248 seconds) |
| 2021-08-28 23:49:53 | × | hsiktas quits (sid224847@tooting.irccloud.com) (Max SendQ exceeded) |
| 2021-08-28 23:52:03 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
All times are in UTC.