Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 959 960 961 962 963 964 965 966 967 968 969 .. 5022
— 502,152 events total
2020-10-30 16:27:24 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Client Quit)
2020-10-30 16:27:26 <texasmynsted> May try another day.
2020-10-30 16:27:31 → sam___ joins (~sam@141.104.204.77.rev.sfr.net)
2020-10-30 16:27:38 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-30 16:29:15 → livvy joins (~livvy@gateway/tor-sasl/livvy)
2020-10-30 16:29:36 × bliminse quits (~bliminse@host109-158-129-241.range109-158.btcentralplus.com) (Ping timeout: 268 seconds)
2020-10-30 16:30:18 → bliminse joins (~bliminse@host109-158-129-241.range109-158.btcentralplus.com)
2020-10-30 16:30:35 <koz_> dolio: https://hackage.haskell.org/package/transformers-0.5.6.2/docs/Control-Monad-Trans-Cont.html#v:reset and https://hackage.haskell.org/package/transformers-0.5.6.2/docs/Control-Monad-Trans-Cont.html#v:shift
2020-10-30 16:32:08 <dolio> koz_: Oh, those aren't the good ones. :Þ
2020-10-30 16:32:43 <dolio> The good ones are `reset :: Cont r r -> r` and `shift :: ((a -> r) -> r) -> Cont r a`
2020-10-30 16:32:43 <monsterchrom> "shift = ContT" is the good one :)
2020-10-30 16:32:55 <monsterchrom> err, shift = Cont
2020-10-30 16:32:58 <dolio> Yeah.
2020-10-30 16:33:29 <monsterchrom> http://www.vex.net/~trebla/haskell/cont.xhtml#shift-reset
2020-10-30 16:33:40 <monsterchrom> but it may be better to start from the beginning.
2020-10-30 16:33:44 <dolio> They show you how the effect scoping works in the types.
2020-10-30 16:34:25 <monsterchrom> http://blog.sigfpe.com/2011/10/quick-and-dirty-reinversion-of-control.html for more confusion :)
2020-10-30 16:35:57 → nineonine joins (~textual@216-19-190-182.dyn.novuscom.net)
2020-10-30 16:36:41 <dolio> ContT is fine, too. It's incorporating other effects.
2020-10-30 16:37:41 → Tario joins (~Tario@200.119.185.200)
2020-10-30 16:37:49 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-30 16:39:20 × obihann quits (~jhann@156.34.160.69) (Remote host closed the connection)
2020-10-30 16:39:49 <dolio> I haven't really thought about it, but you might be able to make sense of multi-prompt continuations that way, with multiple ContTs.
2020-10-30 16:40:09 → obihann joins (~jhann@156.34.160.69)
2020-10-30 16:40:43 → kritzefitz joins (~kritzefit@212.86.56.80)
2020-10-30 16:40:44 <monsterchrom> I think sigfpe or you or someone else wrote a blog on that.
2020-10-30 16:40:45 → Chi1thangoo joins (~Chi1thang@87.112.60.168)
2020-10-30 16:41:02 <monsterchrom> but the limitation is it is statically scoped prompts, not dynamic prompts.
2020-10-30 16:41:22 <monsterchrom> Then again dynamic prompts can be error-prone like all dynamic things.
2020-10-30 16:41:33 ← nihilazo parts (nihilazoma@gateway/shell/matrix.org/x-ccdjrllyhlmzbsrl) ("User left")
2020-10-30 16:42:07 <texasmynsted> monsterchrom: I would like to see your presentation on Haskell's Cont. Will it be available online?
2020-10-30 16:43:06 × sam___ quits (~sam@141.104.204.77.rev.sfr.net) (Read error: No route to host)
2020-10-30 16:44:50 → Franciman joins (~francesco@host-79-36-167-172.retail.telecomitalia.it)
2020-10-30 16:46:54 × nineonine quits (~textual@216-19-190-182.dyn.novuscom.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-30 16:47:03 → christo joins (~chris@81.96.113.213)
2020-10-30 16:47:33 → nineonine joins (~textual@216-19-190-182.dyn.novuscom.net)
2020-10-30 16:48:25 → sam___ joins (~sam@141.104.204.77.rev.sfr.net)
2020-10-30 16:48:57 <dexterfoo> hSeek gives error "invalid argument" when trying to seek more than approx 16 TB. (15TB or less works). is this a known bug?
2020-10-30 16:49:18 <texasmynsted> Okay, I do not know why this is bothering me but . . . I have a String. It may contain a '/' as its last character. I am testing for this by reversing the string and pattern matching '/': _ ->
2020-10-30 16:49:52 × nineonine quits (~textual@216-19-190-182.dyn.novuscom.net) (Client Quit)
2020-10-30 16:50:12 <texasmynsted> This seems bad because while the strings will never be infinite, reverse feels like an unnecessary expense. Is there a better way?
2020-10-30 16:51:02 × chaosmasttter quits (~chaosmast@p200300c4a70a4101f96c699b406ffa93.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2020-10-30 16:51:05 <kuribas> texasmynsted: nope
2020-10-30 16:51:10 <geekosaur> last str == '/' ?
2020-10-30 16:51:11 <kuribas> or don't use String, use Text
2020-10-30 16:51:31 <monsterchrom> texasmynsted: http://www.vex.net/~trebla/haskell/cont.xhtml
2020-10-30 16:51:34 <koala_man> is it a directory? if so, don't bother and just concatenate to form foo//bar
2020-10-30 16:51:35 <kuribas> there is no way to avoid traversing the String
2020-10-30 16:52:04 <monsterchrom> "Extra credit for getting it to run on an Apple II or a Commodore 64" >:)
2020-10-30 16:52:26 <texasmynsted> koala_man: It is a URL, but I only need to add index.html if the last character is /
2020-10-30 16:52:28 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-30 16:53:45 <koala_man> if it's a URL you should probably use a proper URL parser. Consider e.g. https://example.com/?id=42#bar
2020-10-30 16:54:12 <texasmynsted> `last` requires that the string be non-empty. Pattern matching would avoid that restriction.
2020-10-30 16:55:24 <texasmynsted> I will look for a URL parser.
2020-10-30 16:56:01 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-30 16:56:21 → sfvm joins (~sfvm@37.228.215.148)
2020-10-30 16:56:23 <dexterfoo> never mind, it seems that hSeek detects the filesystem of the handle and gives "invalid argument" error when trying to seek past the maximum supported file size
2020-10-30 16:56:32 × idhugo quits (~idhugo@users-1190.st.net.au.dk) (Ping timeout: 256 seconds)
2020-10-30 16:56:48 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-10-30 16:57:02 <texasmynsted> The final output has to be String, so using Text to preform the test seems like I may pay more
2020-10-30 16:57:04 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-30 16:57:16 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-30 16:59:12 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 268 seconds)
2020-10-30 16:59:46 <monsterchrom> Use both null and last if the string may be empty. Or write your own recursion.
2020-10-30 16:59:52 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2020-10-30 17:00:12 × jakob_ quits (~textual@p200300f49f16220014c54729be697eb4.dip0.t-ipconnect.de) (Quit: My Laptop has gone to sleep. ZZZzzz…)
2020-10-30 17:00:41 → jakob_ joins (~textual@p200300f49f16220014c54729be697eb4.dip0.t-ipconnect.de)
2020-10-30 17:01:00 × jakob_ quits (~textual@p200300f49f16220014c54729be697eb4.dip0.t-ipconnect.de) (Client Quit)
2020-10-30 17:01:05 × Jonkimi727406120 quits (~Jonkimi@223.213.166.96) (Ping timeout: 240 seconds)
2020-10-30 17:01:28 → jakob_ joins (~textual@p200300f49f16220014c54729be697eb4.dip0.t-ipconnect.de)
2020-10-30 17:01:47 × jakob_ quits (~textual@p200300f49f16220014c54729be697eb4.dip0.t-ipconnect.de) (Client Quit)
2020-10-30 17:02:11 → jakob_ joins (~textual@p200300f49f16220014c54729be697eb4.dip0.t-ipconnect.de)
2020-10-30 17:02:13 <tomjaguarpaw> [__1] skipping: base-4.14.0.0 (has the same characteristics that caused the
2020-10-30 17:02:14 <tomjaguarpaw> previous version to fail: excluded by constraint '^>=4.13.0' from
2020-10-30 17:02:14 <tomjaguarpaw> 'haddock-api')
2020-10-30 17:02:34 <tomjaguarpaw> ^^ does that make sense to anyone? ^>=4.13.0 surely matches 4.14.0 doesn't it?
2020-10-30 17:02:34 × jakob_ quits (~textual@p200300f49f16220014c54729be697eb4.dip0.t-ipconnect.de) (Client Quit)
2020-10-30 17:02:58 → jakob_ joins (~textual@p200300f49f16220014c54729be697eb4.dip0.t-ipconnect.de)
2020-10-30 17:03:22 × jakob_ quits (~textual@p200300f49f16220014c54729be697eb4.dip0.t-ipconnect.de) (Client Quit)
2020-10-30 17:03:30 × ubert quits (~Thunderbi@p200300ecdf1e5396e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-30 17:03:52 × sam___ quits (~sam@141.104.204.77.rev.sfr.net) (Read error: No route to host)
2020-10-30 17:03:54 → ubert joins (~Thunderbi@p200300ecdf1e5396e6b318fffe838f33.dip0.t-ipconnect.de)
2020-10-30 17:04:53 <texasmynsted> thank you monsterchrom
2020-10-30 17:04:59 <geekosaur> I thought the leading ^ meant it didn't (makes it follow PVP, so 4.14 is out of scope for 4.13)
2020-10-30 17:05:06 → conal joins (~conal@64.71.133.70)
2020-10-30 17:05:24 → rusua joins (uid124537@gateway/web/irccloud.com/x-tukvvfoeealcalpr)
2020-10-30 17:05:54 <texasmynsted> if the string is empty it does not require manipulation, so the _anythingElse part of the pattern match is fine
2020-10-30 17:06:04 → mokulus joins (~mat@176.111.230.96)
2020-10-30 17:06:44 × bliminse quits (~bliminse@host109-158-129-241.range109-158.btcentralplus.com) (Ping timeout: 256 seconds)
2020-10-30 17:07:29 → bliminse joins (~bliminse@host109-158-129-241.range109-158.btcentralplus.com)
2020-10-30 17:07:39 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-30 17:09:37 <tomjaguarpaw> geekosaur: Oh, is that what it means
2020-10-30 17:09:39 <tomjaguarpaw> Thanks
2020-10-30 17:09:50 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:5d05:5ba3:751c:f26a)
2020-10-30 17:12:09 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2020-10-30 17:14:03 → idhugo joins (~idhugo@80-62-116-101-mobile.dk.customer.tdc.net)
2020-10-30 17:14:23 → sam___ joins (~sam@78.148.22.93.rev.sfr.net)
2020-10-30 17:14:25 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-30 17:14:36 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:5d05:5ba3:751c:f26a) (Client Quit)
2020-10-30 17:15:37 → vicfred joins (~vicfred@unaffiliated/vicfred)
←Prev  Next→
Page 1 .. 959 960 961 962 963 964 965 966 967 968 969 .. 5022

All times are in UTC.