Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 56 57 58 59 60 61 62 63 64 65 66 .. 5022
502,152 events total
2020-09-18 21:53:02 × sfvm quits (~sfvm@37.228.215.148) (Quit: off to the basement, mixing up the medicine)
2020-09-18 21:53:42 <beka> dsal: do you have any recommendations for making a haskell-style parser? im running into a whole slew of confusing issues that i don't understand :(
2020-09-18 21:54:08 <kicov> dolio: Oh, okay, so we have an API, and based on the API we assume what happens on the inside. Okay... I'd need to read more - about the measures and how they are stored, and how to modify these based on API calls.
2020-09-18 21:54:40 <[exa]> beka: the indents are a bit confusing because of the relatively high number of possibilities there
2020-09-18 21:54:51 <[exa]> beka: by "haskell style" you mean "blocks as in python" right?
2020-09-18 21:54:54 sfvm joins (~sfvm@37.228.215.148)
2020-09-18 21:55:14 <dsal> beka: I normally don't do indent-based parsing because it's kind of hard. Normal parsing with clear begin and end is a lot easier to do unambiguously.
2020-09-18 21:55:28 × mdunnio quits (~mdunnio@208.59.170.5) (Remote host closed the connection)
2020-09-18 21:55:44 × gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 272 seconds)
2020-09-18 21:55:52 Bjarki joins (~Bjarki@178.162.204.238)
2020-09-18 21:56:34 frdg` joins (~user@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-09-18 21:57:02 × frdg quits (~user@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection)
2020-09-18 21:57:43 xerox_ joins (~xerox@unaffiliated/xerox)
2020-09-18 21:58:28 <dolio> kicov: Yeah. I don't know the details myself. It's possible you can even specify how you want it to treat those primops. But I wouldn't necessarily expect it to already know how they behave.
2020-09-18 21:59:18 <dolio> And specifying the primops might not even be the best place to start.
2020-09-18 22:00:24 × sfvm quits (~sfvm@37.228.215.148) (Quit: off to the basement, mixing up the medicine)
2020-09-18 22:00:42 × ericsagnes quits (~ericsagne@2405:6580:0:5100:e056:335b:f7b5:b6ee) (Ping timeout: 260 seconds)
2020-09-18 22:01:59 × jneira_ quits (~jneira@80.30.101.206) (Read error: No route to host)
2020-09-18 22:02:12 jneira_ joins (~jneira@80.30.101.206)
2020-09-18 22:04:58 hackage composite-tuple 0.1.2.0 - Tuple functions for composite records. https://hackage.haskell.org/package/composite-tuple-0.1.2.0 (locallycompact)
2020-09-18 22:05:45 × ubert quits (~Thunderbi@77.119.130.195.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2020-09-18 22:07:30 ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-09-18 22:08:02 × caubert quits (~caubert@82.131.99.236.cable.starman.ee) (Remote host closed the connection)
2020-09-18 22:09:02 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-09-18 22:09:15 <kicov> Does liquid haskell support annotations with context ? As in:
2020-09-18 22:09:22 ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-09-18 22:09:48 <kicov> there's f, and inside f there's g which uses f's variables - can we check on these too ?
2020-09-18 22:09:50 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-09-18 22:10:06 <kicov> (i mean g annotation making a check based on f's annotation)
2020-09-18 22:10:09 ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-09-18 22:10:38 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-09-18 22:10:56 × aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 272 seconds)
2020-09-18 22:11:58 gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-18 22:12:29 sfvm joins (~sfvm@37.228.215.148)
2020-09-18 22:12:36 ericsagnes joins (~ericsagne@2405:6580:0:5100:604a:a4e7:7f40:e8c2)
2020-09-18 22:13:25 fendor joins (~fendor@212095005091.public.telering.at)
2020-09-18 22:15:57 hackage fused-effects-th 0.1.0.2 - Template Haskell helpers for fused-effects. https://hackage.haskell.org/package/fused-effects-th-0.1.0.2 (patrick_thomson)
2020-09-18 22:16:38 × gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 272 seconds)
2020-09-18 22:16:59 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-09-18 22:19:17 cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-18 22:21:37 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Client Quit)
2020-09-18 22:22:00 aarvar joins (~foewfoiew@50.35.43.33)
2020-09-18 22:23:14 cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-18 22:26:10 × eric_ quits (~eric@2804:431:c7d4:402a:747d:7a4a:20fc:1f27) (Read error: Connection reset by peer)
2020-09-18 22:26:47 eric joins (~eric@2804:431:c7d4:402a:747d:7a4a:20fc:1f27)
2020-09-18 22:32:50 gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-18 22:35:42 elliott_ joins (~elliott@pool-71-114-77-65.washdc.fios.verizon.net)
2020-09-18 22:36:14 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-09-18 22:36:55 heatsink joins (~heatsink@2600:1700:bef1:5e10:b0dc:6c54:247b:ece)
2020-09-18 22:37:28 × gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 258 seconds)
2020-09-18 22:40:23 × Raito_Bezarius quits (~Raito_Bez@2001:bc8:38ee::1) (Changing host)
2020-09-18 22:40:23 Raito_Bezarius joins (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578)
2020-09-18 22:41:14 × elliott_ quits (~elliott@pool-71-114-77-65.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2020-09-18 22:42:05 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.)
2020-09-18 22:42:06 × heatsink quits (~heatsink@2600:1700:bef1:5e10:b0dc:6c54:247b:ece) (Ping timeout: 244 seconds)
2020-09-18 22:42:35 × sfvm quits (~sfvm@37.228.215.148) (Quit: off to the basement, mixing up the medicine)
2020-09-18 22:42:56 sfvm joins (~sfvm@37.228.215.148)
2020-09-18 22:44:37 heatsink joins (~heatsink@2600:1700:bef1:5e10:b0dc:6c54:247b:ece)
2020-09-18 22:45:25 × aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 240 seconds)
2020-09-18 22:47:45 × fendor quits (~fendor@212095005091.public.telering.at) (Ping timeout: 260 seconds)
2020-09-18 22:50:33 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-18 22:50:50 × jneira_ quits (~jneira@80.30.101.206) (Ping timeout: 272 seconds)
2020-09-18 22:51:03 jneira_ joins (~jneira@38.red-193-152-116.dynamicip.rima-tde.net)
2020-09-18 22:52:33 × brettgilio quits (~brettgili@104.131.40.243) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2020-09-18 22:52:33 × jneira_ quits (~jneira@38.red-193-152-116.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2020-09-18 22:53:38 gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-18 22:53:45 jneira_ joins (~jneira@80.30.101.206)
2020-09-18 22:54:15 kleisli__ joins (~kleisli@2600:1700:4640:c560:68bd:9d76:dbd8:24e7)
2020-09-18 22:54:23 <lyxia> kicov: I think so, but you can also try it out for yourself on their site.
2020-09-18 22:56:40 brettgilio joins (~brettgili@104.131.40.243)
2020-09-18 22:58:08 × gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-09-18 22:58:38 × sfvm quits (~sfvm@37.228.215.148) (Quit: off to the basement, mixing up the medicine)
2020-09-18 22:58:53 sfvm joins (~sfvm@37.228.215.148)
2020-09-18 22:59:57 hackage polysemy-http 0.2.0.4 - Polysemy effect for http-client https://hackage.haskell.org/package/polysemy-http-0.2.0.4 (tek)
2020-09-18 23:00:32 falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-18 23:00:36 DekuDekuplex joins (~IceChat9@p7478089-ipngn34401marunouchi.tokyo.ocn.ne.jp)
2020-09-18 23:01:04 × Ranhir quits (~Ranhir@157.97.53.139) (Ping timeout: 256 seconds)
2020-09-18 23:01:06 <DekuDekuplex> Hello.
2020-09-18 23:01:18 × Thra11 quits (~Thra11@5.1.169.217.in-addr.arpa) (Quit: WeeChat 2.9)
2020-09-18 23:01:21 × g-belmonte quits (~g-belmont@2804:14c:8786:9312:3638:eaf5:dc36:146d) (Quit: Leaving)
2020-09-18 23:01:55 <ski> hello DekuDekuplex
2020-09-18 23:02:01 reppertj joins (~textual@pool-96-246-209-59.nycmny.fios.verizon.net)
2020-09-18 23:02:25 <DekuDekuplex> I seem to have a problem in adding my community to the list of Haskell communities. Let me dig up which list now....
2020-09-18 23:05:13 <DekuDekuplex> Ah, this page: https://www.haskell.org/community/
2020-09-18 23:06:28 <DekuDekuplex> Last year, I tried to add my TheTundra Haskell-Beginners community (back when "TheTundra" was known as "pashPost") to this list by adding a request on GitHub to update it, but nothing happened.
2020-09-18 23:06:46 <DekuDekuplex> It's been over a year since last April, when I first submitted that request.
2020-09-18 23:07:02 <DekuDekuplex> What's going on?
2020-09-18 23:08:36 <DekuDekuplex> Ah, just looked up the term on GitHub: pull request. Yes, I submitted a pull request back then, but nobody responded. I can't update that list myself.
2020-09-18 23:08:53 <ski> hm, i dunno who to get in touch with
2020-09-18 23:09:23 <ski> perhaps you could also try asking in #haskell-infrastructure, though i'm not sure whether that channel is relevant
2020-09-18 23:09:39 <DekuDekuplex> If you take a look at https://github.com/haskell-infra/www.haskell.org/pulls, you can see one at the bottom by
2020-09-18 23:09:45 <DekuDekuplex> "DekuDekuplex."
2020-09-18 23:09:49 <DekuDekuplex> That's mine.
2020-09-18 23:09:59 × proofofkeags_ quits (~proofofke@c-73-34-43-4.hsd1.co.comcast.net) (Remote host closed the connection)
2020-09-18 23:10:13 <frdg`> what exactly is an Entity in Database.Persist? To this point I have always just thrown away the Entity but now I am instead updating data.
2020-09-18 23:10:16 <DekuDekuplex> Ah, it's dated May 31, 2019, not last April. Sorry. It was last May, not last April.
2020-09-18 23:10:26 proofofkeags_ joins (~proofofke@c-73-34-43-4.hsd1.co.comcast.net)
2020-09-18 23:11:16 <ski> (maybe it's related to "entity", as in Entity-Relationship (E-R) diagrams)
2020-09-18 23:11:47 <frdg`> I have not heard of those
2020-09-18 23:12:16 <ski> it's a modelling tool, for database schema design
←Prev  Next→
Page 1 .. 56 57 58 59 60 61 62 63 64 65 66 .. 5022

All times are in UTC.