Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 .. 18045
— 1,804,496 events total
2021-08-26 03:59:50 <jmcantrell> is there a distro that handles this correctly?
2021-08-26 04:00:40 × falafel quits (~falafel@2601:280:4e00:9970:889a:3513:448f:30e9) (Ping timeout: 240 seconds)
2021-08-26 04:00:53 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 250 seconds)
2021-08-26 04:01:07 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-08-26 04:01:29 <monochrom> Does nix count as a distro? ("is this a distro?" meme)
2021-08-26 04:01:49 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-08-26 04:01:52 <monochrom> Really each distro has its own religion that breaks something.
2021-08-26 04:01:52 × lazlo quits (~ioaquine@179.6.215.254) (Quit: leaving)
2021-08-26 04:01:59 <hololeap> jmcantrell: gentoo perhaps, if you can deal with the (re)compiles. that's what I use.
2021-08-26 04:02:12 <monochrom> Most distros split GHC into multiple packages so you are always missing a component.
2021-08-26 04:03:22 × tomjagua1paw quits (~tom@li367-225.members.linode.com) (Ping timeout: 240 seconds)
2021-08-26 04:03:47 <hololeap> what would be a good way to avoid the `case` here? http://sprunge.us/vElQfa
2021-08-26 04:03:47 → lazlo joins (~ioaquine@179.6.215.254)
2021-08-26 04:04:01 × lazlo quits (~ioaquine@179.6.215.254) (Client Quit)
2021-08-26 04:04:17 → lazlo joins (~ioaquine@179.6.215.254)
2021-08-26 04:04:37 <hololeap> (this is using megaparsec)
2021-08-26 04:04:45 <jmcantrell> ah ok
2021-08-26 04:05:14 <monochrom> Some distro's addition religion is "old means stable" so they ship you version 7.
2021-08-26 04:05:16 <lazlo> name++ Axman6
2021-08-26 04:05:28 <monochrom> s/addition/additional/
2021-08-26 04:05:51 → _ak_ joins (~akspecs@136-24-181-20.cab.webpass.net)
2021-08-26 04:05:51 × _ak_ quits (~akspecs@136-24-181-20.cab.webpass.net) (Changing host)
2021-08-26 04:05:51 → _ak_ joins (~akspecs@user/akspecs)
2021-08-26 04:06:01 × abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving)
2021-08-26 04:06:07 × hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 240 seconds)
2021-08-26 04:07:09 → abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-08-26 04:07:32 <hololeap> I could use Data.List.NonEmpty.fromList, but is there a way to parse directly to a NonEmpty?
2021-08-26 04:07:41 × lazlo quits (~ioaquine@179.6.215.254) (Client Quit)
2021-08-26 04:08:01 <dibblego> some1
2021-08-26 04:08:26 → hyiltiz joins (~quassel@31.220.5.250)
2021-08-26 04:09:01 <dibblego> @type Data.List.NonEmpty.some1
2021-08-26 04:09:02 <lambdabot> Alternative f => f a -> f (NonEmpty a)
2021-08-26 04:09:15 <hololeap> oh, word
2021-08-26 04:09:27 <hololeap> I also just found Control.Applicative.Combinators.NonEmpty in parser-combinators
2021-08-26 04:10:36 <hololeap> good to know that some1 exists, though. I've never seen that before
2021-08-26 04:10:38 <koala_man> jmcantrell: if nothing else, I'm able to build shellcheck on Arch with 'cabal install' when I take the original ~/.cabal/config, and uncomment and set the 5 options as described on https://wiki.archlinux.org/title/Haskell under "Configuring Cabal for dynamic linking"
2021-08-26 04:10:59 <koala_man> dibblego!!
2021-08-26 04:11:09 <dibblego> also this: https://hackage.haskell.org/package/separated-0.3.2.1/docs/Data-Separated.html#v:separatedBy
2021-08-26 04:11:19 <dibblego> omfg no way it's koala_man!!!!
2021-08-26 04:11:24 <koala_man> it is!
2021-08-26 04:11:35 <jmcantrell> koala_man: oh, nice. thanks
2021-08-26 04:13:13 <hololeap> dibblego: wouldn't it be separatedBy1?
2021-08-26 04:13:21 × Jonno_FTW quits (~come@api.carswap.me) (Ping timeout: 248 seconds)
2021-08-26 04:13:35 <dibblego> because it keeps the thing that is separating
2021-08-26 04:13:53 <dibblego> there is also separatedBy1
2021-08-26 04:14:12 <hololeap> https://hackage.haskell.org/package/separated-0.3.2.1/docs/Data-Separated.html#v:separatedBy1
2021-08-26 04:21:15 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds)
2021-08-26 04:22:02 → mei joins (~mei@user/mei)
2021-08-26 04:24:29 <jmcantrell> koala_man: looks like the bug i was looking at has already been fixed on master
2021-08-26 04:24:42 <jmcantrell> for shellcheck
2021-08-26 04:25:35 <koala_man> yay!
2021-08-26 04:25:48 <koala_man> I should probably have mentioned: shellcheck.net lets you run scripts against master without having to mess with haskell tooling
2021-08-26 04:26:59 <jmcantrell> yeah, and it worked there. i guess i just wanted to be extra sure
2021-08-26 04:29:22 × VoidNoir0 quits (~VoidNoir0@72.80.203.52) (Quit: Ping timeout (120 seconds))
2021-08-26 04:44:49 → flux joins (~flux@2603:900a:1600:ba00:5878:2c9:2445:5084)
2021-08-26 04:45:10 <flux> can someone explain why people care about cartesian closed categories in the context of haskell so much?
2021-08-26 04:45:22 <flux> like i understand the definition, just have no idea why it's significant
2021-08-26 04:50:02 → Jonno_FTW joins (~come@api.carswap.me)
2021-08-26 04:52:01 × bontaq quits (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 250 seconds)
2021-08-26 04:54:27 <monochrom> It is the minimum for supporting function application.
2021-08-26 04:55:03 × zebrag quits (~chris@user/zebrag) (Remote host closed the connection)
2021-08-26 04:56:21 <Axman6> Watch Conal Elliot's talk on Compiling to Categories to understand why
2021-08-26 04:56:38 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (*.net *.split)
2021-08-26 04:56:38 × chexum quits (~quassel@gateway/tor-sasl/chexum) (*.net *.split)
2021-08-26 04:56:38 × stiell quits (~stiell@gateway/tor-sasl/stiell) (*.net *.split)
2021-08-26 04:56:38 × hendursaga quits (~weechat@user/hendursaga) (*.net *.split)
2021-08-26 04:56:38 × adanwan_ quits (~adanwan@gateway/tor-sasl/adanwan) (*.net *.split)
2021-08-26 04:56:38 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (*.net *.split)
2021-08-26 04:56:38 × jpds quits (~jpds@gateway/tor-sasl/jpds) (*.net *.split)
2021-08-26 04:56:38 × hololeap quits (~hololeap@user/hololeap) (*.net *.split)
2021-08-26 05:01:48 → jushur joins (~human@user/jushur)
2021-08-26 05:02:20 <flux> i've tried to understand it so many times
2021-08-26 05:02:21 <flux> but failed
2021-08-26 05:03:07 <flux> i don't have a good category theory foundation sadly
2021-08-26 05:03:13 × cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds)
2021-08-26 05:03:57 → _ht joins (~quassel@82-169-194-8.biz.kpn.net)
2021-08-26 05:05:01 → chexum joins (~quassel@gateway/tor-sasl/chexum)
2021-08-26 05:07:00 <Axman6> I don't think you really need much category theory understanding to understand why that talk/paper is important though
2021-08-26 05:07:07 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2021-08-26 05:07:20 <flux> hmm maybe i should try again
2021-08-26 05:07:26 → stiell joins (~stiell@gateway/tor-sasl/stiell)
2021-08-26 05:07:32 → jpds joins (~jpds@gateway/tor-sasl/jpds)
2021-08-26 05:07:35 → hendursaga joins (~weechat@user/hendursaga)
2021-08-26 05:07:38 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
2021-08-26 05:07:53 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
2021-08-26 05:10:15 × slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-08-26 05:15:44 → masaeedu[m] joins (~masaeedum@2001:470:69fc:105::e256)
2021-08-26 05:16:24 × abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: Lost terminal)
2021-08-26 05:16:46 → abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-08-26 05:18:50 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-26 05:19:15 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-26 05:19:15 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-08-26 05:19:15 → wroathe joins (~wroathe@user/wroathe)
2021-08-26 05:19:32 × flux quits (~flux@2603:900a:1600:ba00:5878:2c9:2445:5084) (Quit: Client closed)
2021-08-26 05:23:27 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2021-08-26 05:28:21 → desophos joins (~desophos@2601:249:1680:a570:dc82:b6a1:9d59:9d35)
2021-08-26 05:30:22 → Izem joins (~Izem@bras-base-london1483w-grc-38-65-95-41-242.dsl.bell.ca)
2021-08-26 05:40:25 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-08-26 05:47:07 × shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-08-26 05:47:38 × tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
←Prev  Next→
Page 1 .. 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 .. 18045

All times are in UTC.