Logs: liberachat/#haskell
| 2021-06-11 17:41:33 | → | xal joins (~xal@2604:3d08:9a80:4c18:2584:dda0:e5c4:dbaf) |
| 2021-06-11 17:41:35 | <xal> | join #coq |
| 2021-06-11 17:41:49 | <xal> | woops, that was supposed to have a / |
| 2021-06-11 17:42:16 | <safinaskar> | ski: "i guess you want to interleave some checking effects with the parsing" - just having function or some monad as parsing result is completely OK. But this will mean that all manipulations with this complicated monadic value will be explicit during parsing. i don't want this! i want some parsing lib, which will somehow implicitly deal with |
| 2021-06-11 17:42:17 | <safinaskar> | accumulated warning messages, for example by embeding monad (parsec can this!) or some other way. Well, in fact i can do this by writting simple wrapper around some lib (for example, parsek), which will allow embeding of monad. but this will mean that I write my own parsing library! This is last resort. I want to write my own library ONLY if I am |
| 2021-06-11 17:42:17 | <safinaskar> | sure that no existing solution exists |
| 2021-06-11 17:42:18 | × | ikex quits (~ash@user/ikex) (Ping timeout: 244 seconds) |
| 2021-06-11 17:44:27 | → | averell joins (~averell@user/averell) |
| 2021-06-11 17:45:10 | × | agumonke` quits (~user@88.163.231.79) (Remote host closed the connection) |
| 2021-06-11 17:45:45 | × | pdxleif quits (~leif@75.164.44.108) (Ping timeout: 268 seconds) |
| 2021-06-11 17:47:14 | <safinaskar> | dolio: tomsmeding: "parse" from uu-parsinglib still returns (a), not ([a]), so, it seems there is no unbiased choice |
| 2021-06-11 17:47:42 | <tomsmeding> | safinaskar: see 'amb' |
| 2021-06-11 17:48:22 | <dolio> | As I mentioned earlier, returning one result from the final parsing function doesn't mean the choice operation isn't unbiased. |
| 2021-06-11 17:48:31 | × | nijopa quits (~nijopa@pool-98-118-125-240.bstnma.fios.verizon.net) (Quit: Leaving...) |
| 2021-06-11 17:49:22 | <safinaskar> | well, "uu-parsinglib" still seems non-ideomatic and foreign. i've better write my own library then will use it |
| 2021-06-11 17:50:00 | <tomsmeding> | "idiomatic" depends on the language you're in; and I don't mean programming language, but dialects of programming languages |
| 2021-06-11 17:50:11 | <tomsmeding> | in the dialect of the writers of the library, it is probably idiomatic :) |
| 2021-06-11 17:50:20 | → | jolly joins (~jolly@208.180.97.158) |
| 2021-06-11 17:50:38 | <tomsmeding> | it certainly looks quite different from parsec-like parser libraries |
| 2021-06-11 17:51:40 | <dolio> | There are more than 3 or 4 parsing libraries, too. |
| 2021-06-11 17:51:58 | <ski> | safinaskar : well, the effects i was thinking about was the "post-parsing processing" that you mentioned |
| 2021-06-11 17:53:27 | → | the-coot[m] joins (~the-cootm@2001:470:69fc:105::95f) |
| 2021-06-11 17:54:21 | → | ServerStatsDisco joins (~serversta@2001:470:69fc:105::1a) |
| 2021-06-11 17:54:56 | × | fendor quits (~fendor@91.141.3.58.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-06-11 17:55:07 | fendor_ | is now known as fendor |
| 2021-06-11 17:57:59 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-06-11 18:00:33 | × | azeem quits (~azeem@176.200.240.211) (Ping timeout: 268 seconds) |
| 2021-06-11 18:01:03 | → | azeem joins (~azeem@176.200.240.211) |
| 2021-06-11 18:02:22 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-06-11 18:05:38 | → | fabfianda[m] joins (~fabfianda@2001:470:69fc:105::6db) |
| 2021-06-11 18:07:57 | × | azeem quits (~azeem@176.200.240.211) (Ping timeout: 265 seconds) |
| 2021-06-11 18:09:08 | → | vaibhavsagar[m] joins (~vaibhavsa@2001:470:69fc:105::ffe) |
| 2021-06-11 18:09:59 | → | azeem joins (~azeem@176.200.240.211) |
| 2021-06-11 18:12:30 | → | tomferon[m] joins (~tomferon@2001:470:69fc:105::268) |
| 2021-06-11 18:12:52 | → | bb010g joins (~bb010gmat@2001:470:69fc:105::9a5) |
| 2021-06-11 18:13:25 | → | autrim64[m] joins (~autrim64m@2001:470:69fc:105::16a1) |
| 2021-06-11 18:14:32 | → | wallymathieu[m] joins (~wallymath@2001:470:69fc:105::16ae) |
| 2021-06-11 18:14:40 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 2021-06-11 18:16:03 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-11 18:17:09 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-11 18:18:27 | → | jaror[m] joins (~jaror@2001:470:69fc:105::265) |
| 2021-06-11 18:19:36 | → | bitonic joins (~bitonic@2001:470:69fc:105::1812) |
| 2021-06-11 18:21:27 | <exarkun> | Alright all my Network.Wai.Tests fail my CORS assertions saying there are no CORS headers at all, https://github.com/PrivateStorageio/PaymentServer/blob/3414de673f249be9f0c507632ce6bce9f3618503/test/Stripe.hs#L81-L112 (even the success case) |
| 2021-06-11 18:21:27 | <safinaskar> | i seems i have to write my own lib |
| 2021-06-11 18:21:31 | <exarkun> | I don't get it :( |
| 2021-06-11 18:22:07 | <exarkun> | https://github.com/PrivateStorageio/PaymentServer/blob/3414de673f249be9f0c507632ce6bce9f3618503/src/PaymentServer/Server.hs#L71-L91 definitely applies CORS middleware |
| 2021-06-11 18:22:09 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-11 18:22:17 | <exarkun> | Also ... it works (at least for success case) in real usage |
| 2021-06-11 18:22:34 | Vq_ | is now known as Vq |
| 2021-06-11 18:25:29 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 2021-06-11 18:26:12 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-11 18:30:52 | × | azeem quits (~azeem@176.200.240.211) (Ping timeout: 244 seconds) |
| 2021-06-11 18:32:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-11 18:33:00 | → | azeem joins (~azeem@176.200.240.211) |
| 2021-06-11 18:34:49 | × | azeem quits (~azeem@176.200.240.211) (Read error: Connection reset by peer) |
| 2021-06-11 18:35:41 | → | azeem joins (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) |
| 2021-06-11 18:37:03 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-11 18:48:02 | → | k000 joins (~k00000000@36.255.96.246) |
| 2021-06-11 18:50:28 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-06-11 18:50:49 | → | fryguybob joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 2021-06-11 18:51:04 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9) |
| 2021-06-11 18:51:35 | → | natechan joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-11 18:53:47 | × | k000 quits (~k00000000@36.255.96.246) (Quit: Leaving) |
| 2021-06-11 18:57:13 | × | xal quits (~xal@2604:3d08:9a80:4c18:2584:dda0:e5c4:dbaf) (Ping timeout: 244 seconds) |
| 2021-06-11 19:03:30 | → | xal joins (~xal@2604:3d08:9a80:4c18:2584:dda0:e5c4:dbaf) |
| 2021-06-11 19:03:48 | × | xal quits (~xal@2604:3d08:9a80:4c18:2584:dda0:e5c4:dbaf) (Client Quit) |
| 2021-06-11 19:04:06 | <exarkun> | ... because it doesn't add cors headers to the response if they're not in the request |
| 2021-06-11 19:05:28 | × | jakzale quits (uid499518@id-499518.charlton.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-11 19:06:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-11 19:06:58 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-06-11 19:08:09 | → | jiribenes joins (~jiribenes@rosa.jiribenes.com) |
| 2021-06-11 19:12:16 | ← | safinaskar parts (~safinaska@109-252-90-89.nat.spd-mgts.ru) () |
| 2021-06-11 19:15:01 | → | rbocquet joins (~weechat@2001:bc8:47a8:44e::1) |
| 2021-06-11 19:15:49 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 244 seconds) |
| 2021-06-11 19:16:58 | → | bor0 joins (~boro@user/bor0) |
| 2021-06-11 19:20:36 | → | nrr joins (sid20938@id-20938.tooting.irccloud.com) |
| 2021-06-11 19:22:52 | × | qbt quits (~edun@user/edun) (Quit: Leaving) |
| 2021-06-11 19:23:09 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-11 19:24:18 | × | matijja quits (~matijja@193.77.181.208) (Quit: bye) |
| 2021-06-11 19:26:02 | → | matijja joins (~matijja@193.77.181.201) |
| 2021-06-11 19:26:16 | × | xsperry quits (~as@user/xsperry) (Ping timeout: 268 seconds) |
| 2021-06-11 19:26:18 | × | xenon- quits (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Ping timeout)) |
| 2021-06-11 19:26:46 | → | psygo joins (~philippe@201-95-112-120.dsl.telesp.net.br) |
| 2021-06-11 19:27:49 | <psygo> | Hello all. Does anyone know of a data structure book for Haskell? |
| 2021-06-11 19:29:39 | → | Heffalump joins (~ganesh@urchin.earth.li) |
| 2021-06-11 19:29:46 | <Taneb> | psygo: Purely Functional Data Structures by Chris Okasaki |
| 2021-06-11 19:29:51 | ← | Heffalump parts (~ganesh@urchin.earth.li) () |
| 2021-06-11 19:30:18 | <psygo> | Thanks, Taneb. But is that all there is for this topic? |
| 2021-06-11 19:31:05 | → | argento joins (~argent0@168-227-96-53.ptr.westnet.com.ar) |
| 2021-06-11 19:31:18 | <DigitalKiwi> | well there are two papers/books |
| 2021-06-11 19:31:57 | <DigitalKiwi> | and a few libraries implement some of them too |
| 2021-06-11 19:32:40 | × | matijja quits (~matijja@193.77.181.201) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-06-11 19:32:53 | <DigitalKiwi> | https://cstheory.stackexchange.com/questions/1539/whats-new-in-purely-functional-data-structures-since-okasaki |
| 2021-06-11 19:33:51 | <DigitalKiwi> | does the new bird book i haven't read have anything? |
| 2021-06-11 19:34:28 | → | fresheyeball joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-06-11 19:35:01 | → | matijja joins (~matijja@193.77.181.201) |
| 2021-06-11 19:35:11 | <psygo> | bird book? |
| 2021-06-11 19:37:38 | × | matijja quits (~matijja@193.77.181.201) (Client Quit) |
| 2021-06-11 19:38:10 | <xerox> | thinking functionally in haskell? |
| 2021-06-11 19:38:29 | → | matijja joins (~matijja@193.77.181.201) |
All times are in UTC.