Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 200 201 202 203 204 205 206 207 208 209 210 .. 5022
— 502,152 events total
2020-09-25 13:14:56 <maerwald> fendor: that package isn't on hackage :(
2020-09-25 13:15:11 <int-e> fendor: yeah looks like it maintains its own local sqlite database
2020-09-25 13:15:23 × andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds)
2020-09-25 13:16:26 <int-e> maerwald: At a glance, the cabal-install package index format seems to be buried in the client code (Distribution.Solver.Types.PackageIndex) so it's not readily available as a library :-/
2020-09-25 13:16:50 <int-e> (Unless somebody took it upon themselves to strip that part out and maintain it as a library.)
2020-09-25 13:17:11 <maerwald> there's a lot of stuff in cabal-install that should be exposed imo, but well
2020-09-25 13:17:34 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 13:18:43 <phadej> maerwald: yes, see cabal-install-parsers
2020-09-25 13:18:52 <fendor> indeed. I wish I could parse cabal specification without a Cabal dependency.
2020-09-25 13:19:01 <phadej> fendor: good luck :)
2020-09-25 13:19:41 <phadej> (my gut feeling is that over half of code lines in Cabal is related to parsing cabal specification)
2020-09-25 13:20:11 → andreas303 joins (~andreas@gateway/tor-sasl/andreas303)
2020-09-25 13:20:35 <fendor> I know :/
2020-09-25 13:20:58 <fendor> (regarding the "good luck wish")
2020-09-25 13:21:21 → raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-09-25 13:21:29 × mirrorbird quits (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) (Ping timeout: 272 seconds)
2020-09-25 13:21:52 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-25 13:22:48 <maerwald> https://hackage.haskell.org/package/cabal-install-parsers-0.3.0.1/docs/Cabal-Index.html#v:cachedHackageMetadata cool
2020-09-25 13:24:38 × xintron quits (~xintron@unaffiliated/xintron) (Quit: aoeu)
2020-09-25 13:25:40 → Wuzzy joins (~Wuzzy@p5b0df9fe.dip0.t-ipconnect.de)
2020-09-25 13:26:18 → xintron joins (~xintron@unaffiliated/xintron)
2020-09-25 13:26:37 × Saten-san quits (~Saten-san@ip-62-235-73-121.dsl.scarlet.be) (Quit: WeeChat 2.8)
2020-09-25 13:27:44 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 13:28:16 → __monty__ joins (~toonn@unaffiliated/toonn)
2020-09-25 13:29:00 × cosimone_ quits (~cosimone@93-47-228-249.ip115.fastwebnet.it) (Quit: Quit.)
2020-09-25 13:29:23 × ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds)
2020-09-25 13:29:49 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-25 13:30:34 → sooch joins (~sooch@209.6.196.179)
2020-09-25 13:30:45 → afb joins (~afb@84.39.117.57)
2020-09-25 13:31:21 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-09-25 13:32:10 → ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-09-25 13:32:37 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-09-25 13:34:04 → coot joins (~coot@37.30.52.6.nat.umts.dynamic.t-mobile.pl)
2020-09-25 13:34:25 × shad0w_ quits (~shad0w_@160.202.37.157) (Ping timeout: 240 seconds)
2020-09-25 13:34:25 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-09-25 13:34:59 <maerwald> phadej: when is 3.4 coming out?
2020-09-25 13:36:47 → josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-25 13:37:30 <kuribas> is there a pretty runClientM for the REPL?
2020-09-25 13:37:53 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 13:38:03 <oats> it's fun reading "low level" code in, eg, bytestring internals
2020-09-25 13:38:19 <oats> nice to remember that you can still do black magic with pointers if you really want to :P
2020-09-25 13:38:52 <kuribas> oats: indeed, what's nice in haskell is that it hides the uglyness
2020-09-25 13:39:14 <kuribas> but you can still write ugly code underneat
2020-09-25 13:40:00 <oats> indeed
2020-09-25 13:40:20 <oats> maybe I should get my hands dirty and put my C skills to use here sometime :P
2020-09-25 13:41:01 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:11f8:2976:d681:3695)
2020-09-25 13:41:05 × josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2020-09-25 13:41:11 <kuribas> it's also often used to interface with a low level C library
2020-09-25 13:41:16 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:11f8:2976:d681:3695) (Client Quit)
2020-09-25 13:42:17 × barzo quits (~sosal@95.70.181.226) (Remote host closed the connection)
2020-09-25 13:42:27 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-09-25 13:43:40 → lucasb joins (uid333435@gateway/web/irccloud.com/x-lrjjlkqiwvxbxlhd)
2020-09-25 13:44:16 → josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-25 13:44:54 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:d985:da37:6cf:2ad4)
2020-09-25 13:47:23 × drbean quits (~drbean@TC210-63-209-157.static.apol.com.tw) (Ping timeout: 240 seconds)
2020-09-25 13:47:58 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 13:48:52 × josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-09-25 13:49:16 → josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-25 13:49:21 <kuribas> otherwise I rarely find a need to write low level code in haskell
2020-09-25 13:49:38 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds)
2020-09-25 13:49:44 <sooch> How would one go about representing an Identifier that can be either a single id, or multiple id's combined to form an id
2020-09-25 13:51:05 <sooch> Ex: S = { ident = 1}; S2 = {ident = 2}; => S <> S2 = { ident (2 3)};
2020-09-25 13:52:36 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-25 13:52:50 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-25 13:53:19 <hekkaidekapus> sooch: Something like `f {ident = x} {ident = y} = {ident = x <> y}`?
2020-09-25 13:53:35 × josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 258 seconds)
2020-09-25 13:53:44 <kuribas> sooch: data Ident = Ident (NonEmpty Int) ?
2020-09-25 13:55:04 <sooch> The identity can be anything, and is unique. I guess I want a way more like: Ident a = Single a | Multi a (Single a
2020-09-25 13:55:07 → machinedgod joins (~machinedg@d67-193-126-196.home3.cgocable.net)
2020-09-25 13:55:10 <sooch> but that seems wrong
2020-09-25 13:55:22 × alexm_ quits (~alexm_@161.8.233.138) (Remote host closed the connection)
2020-09-25 13:55:46 <kuribas> data Ident a = Ident (NonEmpty a)
2020-09-25 13:55:52 <phadej> maerwald: i dont know. around ghc-9
2020-09-25 13:56:22 → shad0w_ joins (~shad0w_@160.202.37.157)
2020-09-25 13:56:45 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-09-25 13:57:07 → noctux joins (~noctux@unaffiliated/noctux)
2020-09-25 13:57:07 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-25 13:57:19 <sooch> kuribas: I misinterpreted what NonEmpty was at first, that looks promising. Thanks.
2020-09-25 13:57:39 × LKoen quits (~LKoen@81.255.219.130) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-09-25 13:57:47 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-09-25 13:57:49 → AWizzArd joins (~code@gehrels.uberspace.de)
2020-09-25 14:00:37 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-25 14:01:57 → Saten-san joins (~Saten-san@ip-62-235-73-121.dsl.scarlet.be)
2020-09-25 14:02:31 → utopic_int0x80 joins (~lucid_0x8@85.132.73.6)
2020-09-25 14:04:10 → polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2020-09-25 14:05:05 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-09-25 14:06:18 → spew joins (uid195861@gateway/web/irccloud.com/x-cksfmsrynriuwhsd)
2020-09-25 14:06:34 × noctux quits (~noctux@unaffiliated/noctux) (Ping timeout: 272 seconds)
2020-09-25 14:07:11 × ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Quit: ChaiTRex)
2020-09-25 14:07:22 × utopic_int0x80 quits (~lucid_0x8@85.132.73.6) (Ping timeout: 256 seconds)
2020-09-25 14:08:05 → ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-09-25 14:08:15 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 14:08:33 → noctux joins (~noctux@unaffiliated/noctux)
2020-09-25 14:08:48 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-25 14:12:27 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-09-25 14:12:49 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-09-25 14:14:10 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-25 14:16:43 → nyd joins (~nyd@unaffiliated/elysian)
2020-09-25 14:18:20 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 14:19:52 × zacts quits (~zacts@dragora/developer/zacts) (Quit: leaving)
←Prev  Next→
Page 1 .. 200 201 202 203 204 205 206 207 208 209 210 .. 5022

All times are in UTC.