Logs: freenode/#haskell
| 2021-03-02 09:23:56 | <merijn> | kenran: Ah, yeah, that's a pet peeve of mine too, I don't think that's really well supported atm |
| 2021-03-02 09:24:08 | → | knupfer joins (~Thunderbi@200116b82ca6580044988fced9780f6a.dip.versatel-1u1.de) |
| 2021-03-02 09:25:40 | × | xff0x quits (~xff0x@2001:1a81:53bf:4d00:3684:b677:6699:2fd9) (Client Quit) |
| 2021-03-02 09:31:00 | <olligobber> | merijn, reported! https://gitlab.haskell.org/ghc/ghc/-/issues/19470 |
| 2021-03-02 09:31:13 | → | xff0x joins (~xff0x@2001:1a81:53bf:4d00:1b6c:25ca:6266:8e44) |
| 2021-03-02 09:31:54 | × | befuddled quits (~befuddled@49.207.131.200) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-03-02 09:31:57 | <kenran> | merijn: Ok, then I'm not alone there :) So it'll have to be "make docs" which does "cabal clean && cabal --enable-documentation build" together with the hacky stuff for now. |
| 2021-03-02 09:33:17 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-03-02 09:33:36 | × | d1rges quits (~d1rges@2001-b011-8011-1df2-db95-6d0e-13aa-cdee.dynamic-ip6.hinet.net) (Quit: Leaving) |
| 2021-03-02 09:33:41 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-02 09:35:26 | <dminuoso> | merijn: Perhaps `--enable-documentation` should be removed then. |
| 2021-03-02 09:35:36 | <merijn> | kenran: It's a game of chicken of "who gets sufficiently annoyed by this to fix it" ;) |
| 2021-03-02 09:35:43 | <dminuoso> | It's not as if `cabal build && cabal haddock` is too much to ask for in a CI script.. |
| 2021-03-02 09:35:53 | <merijn> | dminuoso: --enable-documentation is global and enables documentation of your dependencies |
| 2021-03-02 09:35:57 | <dminuoso> | Oh |
| 2021-03-02 09:36:33 | <merijn> | dminuoso: The distinction between "global" and "local" flags needs work too |
| 2021-03-02 09:36:59 | → | d1rges joins (~d1rges@2001-b011-8011-1df2-db95-6d0e-13aa-cdee.dynamic-ip6.hinet.net) |
| 2021-03-02 09:37:15 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-02 09:37:29 | → | saitamaplus joins (uid272474@gateway/web/irccloud.com/x-bcbjlbciivamqkbi) |
| 2021-03-02 09:38:46 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-auqjdxvohzkrxyfy) (Quit: Connection closed for inactivity) |
| 2021-03-02 09:38:50 | <merijn> | #BeTheChangeYouWannaSee ;) |
| 2021-03-02 09:42:25 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 276 seconds) |
| 2021-03-02 09:43:12 | <dminuoso> | Think that's 4 characters too long. :> |
| 2021-03-02 09:43:44 | × | LKoen quits (~LKoen@252.248.88.92.rev.sfr.net) (Remote host closed the connection) |
| 2021-03-02 09:44:26 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-hyoxjevdyshrykda) (Quit: Connection closed for inactivity) |
| 2021-03-02 09:44:48 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-02 09:46:17 | → | geowiesnot_bis joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-03-02 09:49:14 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-02 09:52:22 | × | kenran quits (~kenran@b2b-37-24-119-190.unitymedia.biz) (Quit: leaving) |
| 2021-03-02 09:54:45 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-03-02 09:58:27 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-02 09:58:47 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) |
| 2021-03-02 09:59:44 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-03-02 10:02:55 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) (Ping timeout: 240 seconds) |
| 2021-03-02 10:04:36 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 2021-03-02 10:04:39 | → | ubert joins (~Thunderbi@p200300ecdf25d9c5ca5b76fffe29f233.dip0.t-ipconnect.de) |
| 2021-03-02 10:07:09 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-03-02 10:08:40 | × | hackage quits (mniip@haskell/bot/hackage) (Ping timeout: 260 seconds) |
| 2021-03-02 10:08:53 | → | tumdedum_ joins (~tumdedum@unaffiliated/espiral) |
| 2021-03-02 10:09:26 | × | vjoki quits (vjoki@2a00:d880:3:1::fea1:9ae) (Ping timeout: 240 seconds) |
| 2021-03-02 10:09:37 | × | tumdedum quits (~tumdedum@unaffiliated/espiral) (Ping timeout: 272 seconds) |
| 2021-03-02 10:10:23 | → | whald joins (~trem@2a02:810a:8100:11a6:13b1:24f8:ae06:3077) |
| 2021-03-02 10:10:29 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 2021-03-02 10:12:00 | → | ADG1089__ joins (~aditya@223.236.165.45) |
| 2021-03-02 10:13:20 | tumdedum_ | is now known as tumdedum |
| 2021-03-02 10:13:45 | × | ADG1089__ quits (~aditya@223.236.165.45) (Remote host closed the connection) |
| 2021-03-02 10:14:05 | → | ADG1089__ joins (~aditya@223.236.165.45) |
| 2021-03-02 10:15:29 | × | mniip quits (~mniip@freenode/staff/mniip) (Ping timeout: 600 seconds) |
| 2021-03-02 10:16:20 | → | bbus111 joins (~antoniosk@2.51.120.164) |
| 2021-03-02 10:17:14 | ← | bbus111 parts (~antoniosk@2.51.120.164) () |
| 2021-03-02 10:18:33 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-03-02 10:18:43 | <ggVGc> | merijn: I can happily announce I moved my project to cabal-install yesterday, and rebuilds are definitey faster to start up. Thanks! |
| 2021-03-02 10:20:22 | <maerwald> | https://hackage.haskell.org/package/hackage-security-0.6.0.1/docs/Hackage-Security-Client.html#v:checkForUpdates doh... why is TUF implementation intertwined with hackage repos? |
| 2021-03-02 10:22:27 | → | mniip joins (mniip@freenode/staff/mniip) |
| 2021-03-02 10:23:32 | → | natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-03-02 10:25:09 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 264 seconds) |
| 2021-03-02 10:25:11 | → | son0p joins (~son0p@181.58.39.182) |
| 2021-03-02 10:25:23 | × | ADG1089__ quits (~aditya@223.236.165.45) (Remote host closed the connection) |
| 2021-03-02 10:26:01 | → | rond_ joins (59402043@89-64-32-67.dynamic.chello.pl) |
| 2021-03-02 10:26:40 | → | Franciman joins (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 2021-03-02 10:26:47 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-03-02 10:27:19 | <mniip> | huh |
| 2021-03-02 10:27:24 | <mniip> | tunes.org -> NXDOMAIN |
| 2021-03-02 10:28:22 | <rond_> | Hi! How to interpret "readFile :: FilePath -> IO String" ? Is it "given a `FilePath`, return an `IO String` monad - so a string in a wrapper that you can >>unpack/use<< later on? |
| 2021-03-02 10:29:31 | <dminuoso> | rond_: One mind-model that I like to use, is to think of `IO String` as "a list of assembly instructions, that if executed, would give you a string" |
| 2021-03-02 10:29:54 | <maerwald> | rond_: https://www.vex.net/~trebla/haskell/IO.xhtml |
| 2021-03-02 10:29:55 | <dminuoso> | (It's not really true, but it might help conceptualize how IO is used) |
| 2021-03-02 10:30:01 | <maerwald> | rond_: https://www.cis.upenn.edu/~cis194/spring13/lectures/08-IO.html |
| 2021-03-02 10:30:03 | <maerwald> | read those |
| 2021-03-02 10:30:07 | <maerwald> | then come back :) |
| 2021-03-02 10:30:28 | <dminuoso> | mniip: Get a different recursor. |
| 2021-03-02 10:30:48 | <mniip> | 8.8.8.8 says so |
| 2021-03-02 10:30:58 | <dminuoso> | Maybe you have a stale cache |
| 2021-03-02 10:31:10 | <tomsmeding> | mniip: 8.8.8.8 doesn't :p |
| 2021-03-02 10:31:15 | <dminuoso> | tomsmeding: for you, anyhow |
| 2021-03-02 10:31:21 | <dminuoso> | 8.8.8.8 is likely anycasted |
| 2021-03-02 10:31:28 | <tomsmeding> | fair point |
| 2021-03-02 10:32:10 | → | entel joins (uid256215@botters/entel) |
| 2021-03-02 10:33:13 | <rond_> | Alright! I might have one more question before I begin my reading session:) Would any of you recommend a good resource for learning haskell? My background: pretty solid fundamentals in computer science, imperative/OOP programming; some experience with OCaml (so I'm not a total newbie when it comes to FP - however, I'd rather have a thorough |
| 2021-03-02 10:33:14 | <rond_> | resource that explains some trivial things twice rather than omit some things that I might miss) |
| 2021-03-02 10:33:15 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-03-02 10:33:34 | <maerwald> | rond_: https://www.cis.upenn.edu/~cis194/spring13/ |
| 2021-03-02 10:35:14 | <dminuoso> | There's also a newer version of CIS194 that I favour https://www.seas.upenn.edu/~cis194/fall16/ |
| 2021-03-02 10:35:19 | <dminuoso> | Both are great choices, though. |
| 2021-03-02 10:35:34 | <mniip> | dminuoso, https://www.whatsmydns.net/#A/tunes.org |
| 2021-03-02 10:36:24 | <dminuoso> | mniip: I just recursed manually, its fine for me. |
| 2021-03-02 10:36:38 | <dminuoso> | Perhaps someone made a DNS mistake and it propagated |
| 2021-03-02 10:36:42 | <dminuoso> | But it seems fixed now |
| 2021-03-02 10:36:56 | <dminuoso> | https://gist.github.com/dminuoso/8f90b49eb7817485a6fd9cda0843d99c |
| 2021-03-02 10:37:46 | <mniip> | https://gist.github.com/mniip/1494e4263e02bef659be1111a3b861fe |
| 2021-03-02 10:38:26 | <dminuoso> | That is truly curious |
| 2021-03-02 10:39:06 | <dminuoso> | Is "no more" really the error there? |
| 2021-03-02 10:39:14 | <mniip> | yes |
| 2021-03-02 10:39:52 | → | LKoen joins (~LKoen@252.248.88.92.rev.sfr.net) |
| 2021-03-02 10:39:55 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:176:cad2:9667:c008) (Ping timeout: 240 seconds) |
| 2021-03-02 10:40:17 | <mniip> | maybe sounds like messed up glue records |
| 2021-03-02 10:40:31 | <mniip> | and some recursors were lucky enough to remember the A for the nameservers? |
| 2021-03-02 10:40:38 | <mniip> | (I don't actually know DNS) |
| 2021-03-02 10:40:45 | <rond_> | Thank you for the links! Last but not least - any online website that has some excercies to pratice Haskell? |
| 2021-03-02 10:40:50 | <rond_> | practice* |
All times are in UTC.