Logs: liberachat/#haskell
| 2021-08-14 22:47:53 | stevenxl | If I use a type whole it says I need a function from `() -> a0`, which is not too helpful. ;) |
| 2021-08-14 22:51:03 | → | Heisen joins (~Heisen@2a02:aa1:1010:e9f8:c4d6:f30c:bbf0:3508) |
| 2021-08-14 22:51:41 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-14 22:53:11 | <Heisen> | Hello why can't I curry the foldl function? I tried to do sumWithFoldl = foldl (+) 0 to give me back a partially applied function but it gives me a bunch of error messages. |
| 2021-08-14 22:53:53 | <stevenxl> | @dminuoso this seems to work as well: |
| 2021-08-14 22:53:53 | <lambdabot> | Unknown command, try @list |
| 2021-08-14 22:53:59 | <stevenxl> | https://www.irccloud.com/pastebin/VEK0GYE4/ |
| 2021-08-14 22:54:26 | stevenxl | With the previous definitions of `funcTwo`. |
| 2021-08-14 22:54:33 | stevenxl | I think this is good enough. :-) |
| 2021-08-14 22:55:13 | stevenxl | I was using `mapReader` instead of `mapReaderT` which is why I originally thought it could not be done. |
| 2021-08-14 22:58:45 | <geekosaur> | Heisen, that looks like it might be the monomorphism restriction |
| 2021-08-14 22:59:15 | <geekosaur> | that said, you'll have to supply the error messages to be certain |
| 2021-08-14 22:59:19 | <geekosaur> | @where paste |
| 2021-08-14 22:59:19 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2021-08-14 23:00:32 | × | fabfianda quits (~fabfianda@mob-5-91-116-37.net.vodafone.it) (Ping timeout: 268 seconds) |
| 2021-08-14 23:01:05 | → | fabfianda joins (~fabfianda@37.183.255.57) |
| 2021-08-14 23:01:55 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-14 23:03:14 | → | HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 2021-08-14 23:05:29 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-14 23:05:43 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-14 23:05:44 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-14 23:05:47 | allbery_b | is now known as geekosaur |
| 2021-08-14 23:06:45 | <aarchi> | Is there documentation on the default `localeEncoding` for each platform? |
| 2021-08-14 23:07:31 | <geekosaur> | the default is not under the control of ghc |
| 2021-08-14 23:08:09 | <aarchi> | Is it set via `LC_ALL=C` and friends? |
| 2021-08-14 23:08:30 | <geekosaur> | but for example on most nmodern linux distributions it's some utf8-based locale |
| 2021-08-14 23:08:45 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-14 23:08:51 | <geekosaur> | usually set duringf os installation |
| 2021-08-14 23:09:19 | <aarchi> | Is Windows UTF-16? |
| 2021-08-14 23:10:02 | <geekosaur> | I believe it is with the new I/O manager in ghc9. don't know about earlier versions |
| 2021-08-14 23:11:40 | <monochrom> | On Linux it is the LANG and LC_* environment variables. On Windows it is code page. I don't know Mac. The question becomes "where are all these officially written?" |
| 2021-08-14 23:13:28 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-08-14 23:18:01 | <aarchi> | Has Haskell always used floored division for `div` and `mod`? |
| 2021-08-14 23:20:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-14 23:24:39 | → | pfurla_ joins (~pfurla@ool-3f8fcb0f.dyn.optonline.net) |
| 2021-08-14 23:26:18 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 258 seconds) |
| 2021-08-14 23:27:20 | <aarchi> | Looks like Haskell used to support exponential notation, e.g. `1e6` in `read` |
| 2021-08-14 23:28:17 | × | pfurla quits (~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-08-14 23:34:49 | <aarchi> | monochrom: by “code page” do you mean a code page Window-1252? |
| 2021-08-14 23:35:04 | <aarchi> | *a code page like Windows-1252 |
| 2021-08-14 23:36:01 | × | wroathe quits (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Ping timeout: 248 seconds) |
| 2021-08-14 23:42:12 | <monochrom> | yes |
| 2021-08-14 23:42:18 | <geekosaur> | yes, and it can go wrong in a numbver of ways so it's disrecommended |
| 2021-08-14 23:42:28 | <geekosaur> | which is another reason for the new I/O manager |
| 2021-08-14 23:43:47 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-14 23:43:57 | <monochrom> | div and mod are painstakingly determinized in the Haskell Report. |
| 2021-08-14 23:48:23 | → | Guest|92 joins (~Guest|92@77.173.220.111.dyn.iprimus.net.au) |
| 2021-08-14 23:48:30 | _-- | is now known as lll |
| 2021-08-14 23:48:53 | × | Guest|92 quits (~Guest|92@77.173.220.111.dyn.iprimus.net.au) (Client Quit) |
| 2021-08-14 23:52:43 | × | Ariakenom quits (~patrik@c83-255-154-140.bredband.tele2.se) (Quit: WeeChat 3.1) |
| 2021-08-14 23:54:00 | lll | is now known as _|_ |
| 2021-08-15 00:03:18 | × | jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2021-08-15 00:03:54 | × | _|_ quits (~ding@2001:19f0:5:14c2:5400:2ff:fee0:a42c) (Quit: oopsy) |
| 2021-08-15 00:04:08 | → | _\_ joins (~flick@2001:19f0:5:14c2:5400:2ff:fee0:a42c) |
| 2021-08-15 00:06:29 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-15 00:08:56 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Quit: Atum_) |
| 2021-08-15 00:09:27 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-15 00:10:09 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 248 seconds) |
| 2021-08-15 00:14:32 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-08-15 00:22:58 | × | Heisen quits (~Heisen@2a02:aa1:1010:e9f8:c4d6:f30c:bbf0:3508) (Ping timeout: 246 seconds) |
| 2021-08-15 00:25:37 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-08-15 00:25:59 | → | jao joins (jao@gateway/vpn/protonvpn/jao) |
| 2021-08-15 00:26:41 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 248 seconds) |
| 2021-08-15 00:43:20 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-15 00:44:55 | <aarchi> | Thanks everyone. This has been very helpful |
| 2021-08-15 00:51:32 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-08-15 00:55:29 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2021-08-15 00:58:50 | → | Guest35 joins (~Guest35@187.83.249.216.dyn.smithville.net) |
| 2021-08-15 00:59:22 | × | Guest35 quits (~Guest35@187.83.249.216.dyn.smithville.net) (Client Quit) |
| 2021-08-15 01:02:54 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2021-08-15 01:09:46 | × | skykanin quits (~skykanin@115.81-166-221.customer.lyse.net) (Quit: WeeChat 3.2) |
| 2021-08-15 01:10:22 | <aegon> | haskell cant overload functions with the same name and parameter types, is there a way to specialize a function for specific parameters? |
| 2021-08-15 01:10:31 | <aegon> | *afaik |
| 2021-08-15 01:11:33 | <aegon> | I'm trying to understand how postgresql-simple manages to have 2 query functions that behave different but take the same arguments, one has a special constraint on one of the outputs but aside from that they seem the same, i thought the compiler complained about that though |
| 2021-08-15 01:11:44 | <aegon> | also, i'm being derpy, i can try this is ghci quick, nevermind |
| 2021-08-15 01:12:06 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-08-15 01:12:31 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-15 01:14:05 | <aegon> | hmm, yeah it complains |
| 2021-08-15 01:14:49 | → | Guest47 joins (~Guest47@d24-141-46-200.home.cgocable.net) |
| 2021-08-15 01:15:06 | × | Guest47 quits (~Guest47@d24-141-46-200.home.cgocable.net) (Client Quit) |
| 2021-08-15 01:16:40 | <aegon> | aand its not overloaded in the lib, i'm done for the day |
| 2021-08-15 01:16:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-15 01:20:42 | × | V quits (~v@anomalous.eu) (Remote host closed the connection) |
| 2021-08-15 01:20:57 | → | V joins (~v@anomalous.eu) |
| 2021-08-15 01:24:49 | → | pfurla joins (~pfurla@ool-3f8fcb0f.dyn.optonline.net) |
| 2021-08-15 01:25:42 | × | V quits (~v@anomalous.eu) (Ping timeout: 272 seconds) |
| 2021-08-15 01:26:57 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-15 01:26:57 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-15 01:27:00 | allbery_b | is now known as geekosaur |
| 2021-08-15 01:28:01 | × | pfurla_ quits (~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2021-08-15 01:31:59 | → | myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-08-15 01:33:51 | → | V joins (~v@anomalous.eu) |
| 2021-08-15 01:34:13 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2) |
| 2021-08-15 01:40:31 | × | HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 2021-08-15 01:49:49 | × | aegon quits (~mike@174.127.249.180) (Quit: leaving) |
| 2021-08-15 01:50:50 | × | xff0x quits (~xff0x@2001:1a81:52b4:6700:e48a:7334:5a0f:61a4) (Ping timeout: 252 seconds) |
| 2021-08-15 01:51:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-15 01:51:57 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2021-08-15 01:52:03 | → | Guest|59 joins (~Guest|59@075-129-097-116.res.spectrum.com) |
| 2021-08-15 01:52:40 | × | Guest|59 quits (~Guest|59@075-129-097-116.res.spectrum.com) (Client Quit) |
All times are in UTC.