Logs: freenode/#haskell
| 2021-05-17 01:18:03 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:896b:c6c8:9998:8716) (Ping timeout: 260 seconds) |
| 2021-05-17 01:18:25 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-17 01:19:15 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 01:19:32 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-17 01:20:07 | × | perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1) |
| 2021-05-17 01:20:36 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-05-17 01:20:46 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-17 01:21:22 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-05-17 01:21:53 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-05-17 01:23:01 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-05-17 01:23:55 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 2021-05-17 01:24:08 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-05-17 01:24:27 | → | patlv joins (~patlv@unaffiliated/patlv) |
| 2021-05-17 01:24:52 | × | DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 265 seconds) |
| 2021-05-17 01:25:01 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2021-05-17 01:26:08 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-05-17 01:26:11 | notzmv- | is now known as notzmv |
| 2021-05-17 01:27:01 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-05-17 01:28:09 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-05-17 01:29:58 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-05-17 01:30:51 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-05-17 01:31:04 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-17 01:31:10 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-05-17 01:31:52 | × | perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1) |
| 2021-05-17 01:31:56 | <Axman6> | if anyone was wondering what prompted my question about Void and (), it was https://counterexamples.org/, which is doing a great reaffirming how I feel about Java and Scala |
| 2021-05-17 01:34:47 | <monochrom> | :) |
| 2021-05-17 01:35:27 | <Axman6> | Not that Haskell's type system comes out unscathed |
| 2021-05-17 01:36:12 | <monochrom> | Java has instanceof which breaks parametricity in the first place. |
| 2021-05-17 01:36:31 | <monochrom> | To be sure, most people don't actually use it to troll. |
| 2021-05-17 01:37:31 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-05-17 01:37:36 | <Axman6> | if(obj isinstanceof JimsObject) { throw GodIHateJimException(); } |
| 2021-05-17 01:37:47 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 01:37:59 | <Axman6> | uh, -is |
| 2021-05-17 01:38:23 | × | patlv quits (~patlv@unaffiliated/patlv) (Remote host closed the connection) |
| 2021-05-17 01:38:49 | → | patlv joins (~patlv@unaffiliated/patlv) |
| 2021-05-17 01:39:41 | → | a6a45081-2b83 joins (~aditya@171.76.17.86) |
| 2021-05-17 01:40:07 | × | xcmw quits (~textual@2603-6011-2200-f103-1090-4073-ea46-f74d.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 01:42:30 | <a6a45081-2b83> | :t \v -> case v of Error e -> error "Error"; Success v -> insert_ v |
| 2021-05-17 01:42:31 | <lambdabot> | error: |
| 2021-05-17 01:42:31 | <lambdabot> | Not in scope: data constructor ‘Error’ |
| 2021-05-17 01:42:32 | <lambdabot> | Perhaps you meant variable ‘error’ (imported from Prelude) |
| 2021-05-17 01:42:39 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) |
| 2021-05-17 01:43:11 | × | patlv quits (~patlv@unaffiliated/patlv) (Ping timeout: 240 seconds) |
| 2021-05-17 01:46:44 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 246 seconds) |
| 2021-05-17 01:46:47 | <Axman6> | The note at the end of https://counterexamples.org/distinctness-options.html is reassuring |
| 2021-05-17 01:47:09 | × | ThinkPad quits (~user@2603-8080-4904-7592-f1d1-497c-8bbd-901a.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-17 01:48:44 | → | drbean_ joins (~drbean@TC210-63-209-71.static.apol.com.tw) |
| 2021-05-17 01:48:45 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-17 01:49:02 | <a6a45081-2b83> | Axman6: perhaps this is relevant to me...? |
| 2021-05-17 01:49:55 | → | vsssa joins (bade4a4f@186.222.74.79) |
| 2021-05-17 01:49:56 | <Axman6> | It's relevant to anyone using programming languages, but as far as I can see from your code above, it's not immediately relevant to your problem |
| 2021-05-17 01:50:43 | × | xff0x quits (~xff0x@2001:1a81:5322:8600:89e1:ee88:e1af:1ae6) (Ping timeout: 260 seconds) |
| 2021-05-17 01:50:50 | <Axman6> | a6a45081-2b83: are you having a problem wiht that code that we can help you with? |
| 2021-05-17 01:51:04 | <Axman6> | with* |
| 2021-05-17 01:51:06 | <a6a45081-2b83> | that would be great |
| 2021-05-17 01:51:32 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 01:51:53 | <a6a45081-2b83> | error branch infers as String, success branch infers as ReaderT a b |
| 2021-05-17 01:52:17 | → | xff0x joins (~xff0x@2001:1a81:535b:1600:c038:9b40:2a0a:496d) |
| 2021-05-17 01:52:18 | <Axman6> | what is the type of insert_? |
| 2021-05-17 01:52:40 | <Axman6> | and I assume that there's something like data Result e a = Error e | Success a? |
| 2021-05-17 01:53:17 | <a6a45081-2b83> | got it, I was having (error "error" ++ e) instead of (error $ "error" ++ e) |
| 2021-05-17 01:53:18 | <a6a45081-2b83> | :(( |
| 2021-05-17 01:53:34 | <Axman6> | That'll do it :) |
| 2021-05-17 01:53:40 | <a6a45081-2b83> | hence it was expecting error :: String -> String |
| 2021-05-17 01:55:38 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-05-17 01:55:39 | × | hyiltiz quits (~quassel@31.220.5.250) (Changing host) |
| 2021-05-17 01:55:39 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 2021-05-17 01:55:51 | × | vsssa quits (bade4a4f@186.222.74.79) (Quit: Connection closed) |
| 2021-05-17 01:56:02 | <a6a45081-2b83> | I wasted lot of time after it |
| 2021-05-17 01:56:21 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-17 01:56:26 | <a6a45081-2b83> | on another note, I planned to write a side project to scrape some sites and cache in sqlite database, learned a lot of things |
| 2021-05-17 01:57:02 | <a6a45081-2b83> | although this'd be easier in python, i got to know lenses, transformers, persistant, http-conduit, aeson |
| 2021-05-17 01:57:03 | <Axman6> | I've been programming in Haskell for over a decade and still make exactly that error pretty frequently |
| 2021-05-17 01:57:12 | <a6a45081-2b83> | :) |
| 2021-05-17 01:57:40 | <Axman6> | nice, that's sounds like an exceppent project, particularly if you get to learn to many useful libraries |
| 2021-05-17 01:58:47 | <a6a45081-2b83> | still wrapping my head around so many lens operators and template haskell |
| 2021-05-17 01:58:58 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-05-17 01:59:35 | × | jiribenes quits (~jiribenes@rosa.jiribenes.com) (Ping timeout: 260 seconds) |
| 2021-05-17 01:59:38 | × | petersen quits (~petersen@redhat/juhp) (Quit: petersen) |
| 2021-05-17 02:02:05 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-05-17 02:02:06 | → | hololeap joins (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-05-17 02:05:53 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds) |
| 2021-05-17 02:08:04 | <a6a45081-2b83> | any idea how can i rate limit my requests, will I have to record time and have a custom wait logic? |
| 2021-05-17 02:09:04 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) (Remote host closed the connection) |
| 2021-05-17 02:09:10 | → | ThinkPad joins (~user@2603-8080-4904-7592-f519-f3d1-64ae-4f99.res6.spectrum.com) |
| 2021-05-17 02:09:25 | × | bearcarl quits (716a6a62@113.106.106.98) (Quit: Connection closed) |
| 2021-05-17 02:09:45 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) |
| 2021-05-17 02:09:50 | → | parabolize joins (~paraboliz@98.43.173.221) |
| 2021-05-17 02:10:32 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 240 seconds) |
| 2021-05-17 02:10:46 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-ldrzezyrskjdiqmn) (Quit: Connection closed for inactivity) |
| 2021-05-17 02:11:05 | → | conal joins (~conal@64.71.133.70) |
| 2021-05-17 02:11:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-05-17 02:11:09 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-05-17 02:11:10 | → | incertia joins (~incertia@d4-50-26-103.nap.wideopenwest.com) |
| 2021-05-17 02:11:28 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-05-17 02:14:53 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) (Ping timeout: 250 seconds) |
| 2021-05-17 02:15:04 | <a6a45081-2b83> | I think I can use Control.thread.Concurrent.delay |
| 2021-05-17 02:15:10 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-05-17 02:17:01 | → | xcmw joins (~textual@2603-6011-2200-f103-1907-5406-5646-5d03.res6.spectrum.com) |
| 2021-05-17 02:17:32 | → | ddellacosta joins (~ddellacos@83.143.246.105) |
All times are in UTC.