Logs: freenode/#haskell
| 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 |
All times are in UTC.