Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 87 88 89 90 91 92 93 94 95 96 97 .. 5022
— 502,152 events total
2020-09-20 10:01:17 <kicov> ski: i (the state) `mod` 2 == 0
2020-09-20 10:01:39 <kicov> sorry, should be more clear
2020-09-20 10:01:43 <dminuoso> kicov: So what you're proposing is `successor :: State Int ()` with a matching LH signature that suggests that the *input* state is always even?
2020-09-20 10:01:51 <ski> kicov : <https://en.wikipedia.org/wiki/Hoare_logic>
2020-09-20 10:01:58 <dminuoso> kicov: Did I get that right?
2020-09-20 10:02:06 → Rudd0 joins (~Rudd0@185.189.115.103)
2020-09-20 10:02:23 <kicov> dminuoso : yep!
2020-09-20 10:02:28 <ski> presumably also that the output state is always odd, i'd gather
2020-09-20 10:02:51 → gestone joins (~gestone@c-98-225-37-68.hsd1.wa.comcast.net)
2020-09-20 10:03:04 <dminuoso> Mmm, I wonder, is there some `liftState :: a -> a -> StateT a ()` function perhaps?
2020-09-20 10:03:05 <ski> (or maybe even that it's just the successor of the input)
2020-09-20 10:03:19 <dminuoso> Oh, State rather
2020-09-20 10:03:25 <ski> what would it do ?
2020-09-20 10:03:46 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-09-20 10:04:05 <dminuoso> Oh hah, that's just modify I guess
2020-09-20 10:04:19 <ski> oh .. i was beginning to wonder if it was missing some brackets
2020-09-20 10:04:29 → maroloccio joins (~marolocci@2a02:8084:601d:7f80:164f:8aff:fed8:411d)
2020-09-20 10:05:08 <dminuoso> Ah indeed, weird.
2020-09-20 10:05:08 × fendor quits (~fendor@212095005091.public.telering.at) (Remote host closed the connection)
2020-09-20 10:05:51 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-09-20 10:06:55 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-20 10:07:26 × gestone quits (~gestone@c-98-225-37-68.hsd1.wa.comcast.net) (Ping timeout: 256 seconds)
2020-09-20 10:07:28 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-09-20 10:07:51 → nyd joins (~nyd@unaffiliated/elysian)
2020-09-20 10:09:41 × ystael quits (~ystael@209.6.50.55) (Ping timeout: 260 seconds)
2020-09-20 10:11:52 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-20 10:13:47 → Rudd0^ joins (~Rudd0@185.189.115.108)
2020-09-20 10:14:37 × Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 264 seconds)
2020-09-20 10:18:42 → day joins (~Unknown@unaffiliated/day)
2020-09-20 10:20:41 × berberman quits (~berberman@2408:8207:256b:da50::a44) (Quit: ZNC 1.7.5 - https://znc.in)
2020-09-20 10:21:01 → gienah joins (~mwright@gentoo/developer/gienah)
2020-09-20 10:21:06 × Dolly quits (585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection)
2020-09-20 10:21:50 → Rudd0 joins (~Rudd0@185.189.115.108)
2020-09-20 10:23:23 → berberman joins (~berberman@2408:8207:2565:18d0:584e:a9ff:fe9b:d3fe)
2020-09-20 10:24:08 × Rudd0^ quits (~Rudd0@185.189.115.108) (Ping timeout: 258 seconds)
2020-09-20 10:24:50 → mpereira joins (~mpereira@2a02:810d:f40:d96:b46b:1e98:8653:4550)
2020-09-20 10:26:37 × polyrain quits (~polyrain@2001:8003:e501:6901:3846:7fa4:c749:eb08) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-20 10:27:08 → polyrain joins (~polyrain@2001:8003:e501:6901:3846:7fa4:c749:eb08)
2020-09-20 10:27:25 × polyrain quits (~polyrain@2001:8003:e501:6901:3846:7fa4:c749:eb08) (Client Quit)
2020-09-20 10:27:42 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-20 10:28:51 <siraben> What a good alternative to the monad-gen package?
2020-09-20 10:32:32 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-20 10:35:16 → Orbstheorem joins (~roosember@hellendaal.orbstheorem.ch)
2020-09-20 10:36:15 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-20 10:41:25 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-20 10:42:53 → solonarv joins (~solonarv@astrasbourg-653-1-186-165.w90-13.abo.wanadoo.fr)
2020-09-20 10:47:34 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…)
2020-09-20 10:47:39 → random joins (~random@185.219.70.106)
2020-09-20 10:47:52 <random> hey guys, am I not getting this right or there is no phone parser library for Haskell
2020-09-20 10:47:59 <random> besides the one that requires libphonenumber?
2020-09-20 10:48:30 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-20 10:48:47 <Rembane> random: Is that US phone numbers?
2020-09-20 10:48:57 <random> I need for european ones
2020-09-20 10:49:17 <random> but there doesn't seem to be anything for US phones as well
2020-09-20 10:49:24 <random> thought this was quite a common usecase
2020-09-20 10:49:43 <Rembane> random: Got it. Maybe it is too simple to write a parser using Megaparsec that everyone does that instead?
2020-09-20 10:50:09 <Rembane> siraben: I have used this: https://hackage.haskell.org/package/quickcheck-transformer What is good for you?
2020-09-20 10:50:30 → ystael joins (~ystael@209.6.50.55)
2020-09-20 10:50:32 <random> Rembane: I guess not too simple but I'll be doing it as well lol...
2020-09-20 10:50:59 <random> the country code numbers are quite variable
2020-09-20 10:52:24 <Rembane> random: Yeah. :)
2020-09-20 10:52:39 <Rembane> random: Just out of curiosity, do you have some examples of country code numbers?
2020-09-20 10:52:53 <random> https://countrycode.org/
2020-09-20 10:52:55 × mpereira quits (~mpereira@2a02:810d:f40:d96:b46b:1e98:8653:4550) (Ping timeout: 272 seconds)
2020-09-20 10:53:40 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-20 10:53:58 → knupfer joins (~Thunderbi@i59F7FF48.versanet.de)
2020-09-20 10:55:09 <cheater> random: phone numbers are a very difficult thing to parse, like time zone data and time strings, if there's going to be a competent library there's only going to be one
2020-09-20 10:55:29 <random> cheater: yeah but it relies on a C dep
2020-09-20 10:55:34 <random> we're in AWS Lambda so that hurts
2020-09-20 10:55:42 <random> I'll fix it of course, just found it weird
2020-09-20 10:55:43 <Rembane> random: Dashes! Why?! <- rhetorical question
2020-09-20 10:55:46 <cheater> that's pretty tough
2020-09-20 10:55:47 <cheater> sorry
2020-09-20 10:56:20 <random> alright, putting on my devops gloves
2020-09-20 10:56:25 <random> wish me luck guys *cries*
2020-09-20 10:58:40 <Rembane> random: GL HF!
2020-09-20 10:58:59 × random quits (~random@185.219.70.106) (Quit: Leaving)
2020-09-20 10:59:50 × kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 265 seconds)
2020-09-20 11:00:01 × maroloccio quits (~marolocci@2a02:8084:601d:7f80:164f:8aff:fed8:411d) (Quit: WeeChat 2.3)
2020-09-20 11:00:19 <edwardk> Forgive me, father, for I have sinned. It has been 33 years since my last confession. I used an overlapping instance, and looked lustfully upon another man's type system. What is my penance?
2020-09-20 11:01:40 → miguel_clean joins (~Miguel@89-72-187-203.dynamic.chello.pl)
2020-09-20 11:04:09 → AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl)
2020-09-20 11:05:19 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-20 11:06:05 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 240 seconds)
2020-09-20 11:06:23 → kritzefitz joins (~kritzefit@212.86.56.80)
2020-09-20 11:07:55 → phaul joins (~phaul@ruby/staff/phaul)
2020-09-20 11:09:08 × kleisli_ quits (~kleisli@2600:1700:4640:c560:68bd:9d76:dbd8:24e7) (Quit: Leaving)
2020-09-20 11:09:16 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-20 11:09:26 → outerpassage joins (~outerpass@2600:1700:4640:c560:68bd:9d76:dbd8:24e7)
2020-09-20 11:10:21 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-09-20 11:11:29 × miguel_clean quits (~Miguel@89-72-187-203.dynamic.chello.pl) (Read error: Connection reset by peer)
2020-09-20 11:12:14 → bicho_rastrero joins (~cerdito@169.85-87-37.dynamic.clientes.euskaltel.es)
2020-09-20 11:13:27 → gpvs joins (~gp@37.57.178.79)
2020-09-20 11:14:05 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-20 11:14:08 <phadej> recite "why functional programming matters" ten times, and contribute to GHC.
2020-09-20 11:14:29 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-20 11:15:55 <edwardk> tough but fair
2020-09-20 11:20:25 → oo_miguel joins (~miguel@89-72-187-203.dynamic.chello.pl)
2020-09-20 11:20:26 × __Joker quits (~Joker@180.151.105.65) (Ping timeout: 246 seconds)
2020-09-20 11:20:37 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 265 seconds)
←Prev  Next→
Page 1 .. 87 88 89 90 91 92 93 94 95 96 97 .. 5022

All times are in UTC.