Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→ 1,804,076 events total
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.