Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1534 1535 1536 1537 1538 1539 1540 1541 1542 1543 1544 .. 5022
— 502,152 events total
2020-11-25 14:52:20 <tdammers> indeed
2020-11-25 14:53:24 <tdammers> readFileUtf8 is the correct thing to use when you know that the input is UTF8 even when the locale is not
2020-11-25 14:53:36 <tdammers> but otherwise, readFile does exactly the right thing
2020-11-25 14:55:24 → mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-25 14:55:53 <hseg> trying to work through the unifications behind (.) (.) (.)'s type. iirc there was an interactive tool that showed unifications
2020-11-25 14:55:59 <hseg> can't find it though
2020-11-25 14:56:24 → elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-25 14:56:34 <merijn> isn't that tool just called Cale and/or ski ;)
2020-11-25 14:56:41 <hseg> :)
2020-11-25 14:56:56 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 240 seconds)
2020-11-25 14:57:26 ski grins
2020-11-25 14:58:11 × adm quits (~adm@43.229.88.197) (Remote host closed the connection)
2020-11-25 15:00:13 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-25 15:01:20 × mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Quit: mputz)
2020-11-25 15:03:30 → pjb joins (~t@2a01cb04063ec50095ae1a5ec1ef6a7a.ipv6.abo.wanadoo.fr)
2020-11-25 15:04:22 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-25 15:05:17 <hseg> nm -- this case is most easily understood as fmap.fmap
2020-11-25 15:07:39 <ski> it's easy to derive the `(.) . (.)' formulation
2020-11-25 15:07:55 <merijn> hmm, suppose I have mapping from Foo to Bar that requires "Foo -> IO Bar" to lookup, is there some convenient way to memoize that into a Map so repeated lookups only run the IO once?
2020-11-25 15:08:57 <ski> hm, something like `Ord k => (k -> IO v) -> IO (k -> IO v)' ?
2020-11-25 15:09:26 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-11-25 15:11:16 <merijn> ski: Something along those lines
2020-11-25 15:13:57 <ski> @wiki Top level mutable state#Proposal 4: Shared on-demand IO actions .28oneShots.29
2020-11-25 15:13:57 <lambdabot> https://wiki.haskell.org/Top_level_mutable_state#Proposal_4:_Shared_on-demand_IO_actions_.28oneShots.29
2020-11-25 15:14:00 <ski> @wiki Global keys
2020-11-25 15:14:00 <lambdabot> https://wiki.haskell.org/Global_keys
2020-11-25 15:14:02 × knupfer quits (~Thunderbi@200116b82ca965000d9a6def15a910ad.dip.versatel-1u1.de) (Remote host closed the connection)
2020-11-25 15:14:18 → knupfer joins (~Thunderbi@200116b82ca9650045472097ac301af6.dip.versatel-1u1.de)
2020-11-25 15:15:36 <merijn> Those are more ideas than implementation, afaict?
2020-11-25 15:16:16 × trcc quits (~trcc@users-1190.st.net.au.dk) (Ping timeout: 240 seconds)
2020-11-25 15:16:16 <ski> yes
2020-11-25 15:16:24 <xe4> I don't see a difference in these toJSON instances: https://gist.github.com/xe-4/27c685e6d22e05251c1a653fec791926 will someone talk to when you might one over the other?
2020-11-25 15:16:44 <xe4> I meant to say "when you might want one over the other"
2020-11-25 15:18:10 <siraben> How can I check if something is a substring of a lazy bytestring?
2020-11-25 15:18:19 <siraben> There's no `isInfixOf` for Data.ByteString.Lazy
2020-11-25 15:19:15 <kuribas> merijn: put the Map in an IORef?
2020-11-25 15:19:28 <merijn> kuribas: But I don't have a Map
2020-11-25 15:19:39 <kuribas> merijn: put an empty Map in the IORef?
2020-11-25 15:19:42 × hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9)
2020-11-25 15:20:17 <merijn> I can wrap an IORef with a Map, but I was hoping someone would've already done the work for me of writing that logic :p
2020-11-25 15:20:48 → mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-25 15:20:49 <kuribas> or better, use lazy IO and implement: Ord k => (k -> IO v) -> IO (k -> v)
2020-11-25 15:21:14 <kuribas> as long as you know the v is determined by k
2020-11-25 15:22:43 → st8less joins (~st8less@2603:a060:11fd:0:e465:6770:e76d:da2a)
2020-11-25 15:22:56 <kuribas> merijn: I don't know if it exists, but at least it doesn't sound hard to implement.
2020-11-25 15:23:07 → Aquazi joins (uid312403@gateway/web/irccloud.com/x-zpyuyhhkgrlryaog)
2020-11-25 15:23:19 <siraben> isInfixOf is even commented out in the lazy bytestring source code
2020-11-25 15:23:20 <siraben> hmm
2020-11-25 15:23:32 <siraben> Is there no way to do it except convert it to strict then run isInfixOf?
2020-11-25 15:24:14 <geekosaur> not easily. consider what happens when it crosses chunks. then what happens when it crosses multiple chunks
2020-11-25 15:24:47 <geekosaur> you basically end up making it strict anyway just to avoid all the corner cases
2020-11-25 15:25:35 <siraben> Ah, right.
2020-11-25 15:26:15 <honigkuchen> one of my ex professors was always very enthustiastic about haskell but in a further lecture he proposes that there is a new star at the functional programming languages heaven
2020-11-25 15:26:23 <honigkuchen> what might he had proposed
2020-11-25 15:26:44 <honigkuchen> it is already around 6 years past
2020-11-25 15:27:12 → PacoV joins (~pcoves@16.194.31.93.rev.sfr.net)
2020-11-25 15:27:17 <PacoV> o/
2020-11-25 15:29:01 → derek_gorczyn joins (~derek_gor@96-81-221-14-static.hfc.comcastbusiness.net)
2020-11-25 15:29:27 × mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Quit: mputz)
2020-11-25 15:29:49 <honigkuchen> something similar neat complex like haskell to can be entusiastic about
2020-11-25 15:29:55 × czwartyeon quits (~czwartyeo@77-45-55-99.sta.asta-net.com.pl) (Quit: WeeChat 3.0)
2020-11-25 15:30:06 <honigkuchen> I can not remember
2020-11-25 15:30:08 <Ferdirand> honigkuchen: Idris maybe ?
2020-11-25 15:30:31 <honigkuchen> that could it be
2020-11-25 15:30:47 <honigkuchen> very difficult for me to remember
2020-11-25 15:30:56 <honigkuchen> he only named it
2020-11-25 15:31:03 <Ferdirand> or Agda ?
2020-11-25 15:31:09 <geekosaur> there are a number of languages that can be considered inspired by haskell, each going its own direction with some concept or group of concepts
2020-11-25 15:31:39 × kuribas quits (~user@ptr-25vy0iacghmhtu8v1sd.18120a2.ip6.access.telenet.be) (Read error: Connection reset by peer)
2020-11-25 15:31:51 <PacoV> Hey, I've a coupe of questions if you have the time. I've this package https://gitlab.com/pcoves/hakyll-contrib-i18n that build just fine with stack but fail miserably with cabal telling it can't find dependencies suchs as pandoc-types. What's up with that? Also, how does one push documentation to hackage?
2020-11-25 15:32:30 hackage haskell-xmpp 2.0.1 - Haskell XMPP (eXtensible Message Passing Protocol, a.k.a. Jabber) library https://hackage.haskell.org/package/haskell-xmpp-2.0.1 (Jappie)
2020-11-25 15:32:35 <merijn> PacoV: Can you pastebin the exact error?
2020-11-25 15:33:27 <honigkuchen> what is cool or better or interesting about Agda or Idris
2020-11-25 15:33:39 <honigkuchen> and when is haskell better
2020-11-25 15:33:53 <hekkaidekapus> @hackage stack2cabal -- PacoV
2020-11-25 15:33:53 <lambdabot> https://hackage.haskell.org/package/stack2cabal -- PacoV
2020-11-25 15:34:08 → adm joins (~adm@43.229.88.197)
2020-11-25 15:35:10 <geekosaur> honigkuchen, they're both dependently typed. which means they can handle more things than haskell, but you have to carry more proofs around in your programs
2020-11-25 15:35:23 × adm quits (~adm@43.229.88.197) (Remote host closed the connection)
2020-11-25 15:35:40 <honigkuchen> what is dependently typing
2020-11-25 15:36:19 <PacoV> merijn: http://ix.io/2Frk
2020-11-25 15:36:43 → mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-25 15:36:43 × mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Client Quit)
2020-11-25 15:36:50 → adm joins (~adm@43.229.88.197)
2020-11-25 15:36:58 <merijn> PacoV: What version of cabal-install?
2020-11-25 15:37:26 → __monty__ joins (~toonn@unaffiliated/toonn)
2020-11-25 15:37:37 <PacoV> merijn: 3.2.0.0-108
2020-11-25 15:37:53 × toorevitimirp quits (~tooreviti@117.182.183.18) (Remote host closed the connection)
2020-11-25 15:38:03 <PacoV> hekkaidekapus: I'll have a look, thanks!
2020-11-25 15:38:05 <merijn> hmm, weird
2020-11-25 15:38:16 → jonatanb joins (jonatanb@gateway/vpn/protonvpn/jonatanb)
2020-11-25 15:39:04 × jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-11-25 15:39:07 <merijn> PacoV: Basically, for some reason it seems to think it *has* to use pandoc-types version (1.22), but another dependency (pandoc-include-code) doesn't support that version
2020-11-25 15:39:08 <geekosaur> honigkuchen, where a type depends on a value. but now you have to carry around a proof that a value conforms to the type it's being used at
2020-11-25 15:39:29 → jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-11-25 15:39:41 <maerwald> honigkuchen: F* wasn't around back then I think
2020-11-25 15:39:41 <geekosaur> (consider a subset type, for example integers less than 20, for a simple example)
2020-11-25 15:39:56 <maerwald> that's the only one I can think of with enough focus and purpose to take off
2020-11-25 15:40:04 <maerwald> in... 10 yeahs
2020-11-25 15:40:14 <honigkuchen> does anyone know a good page that explains that broader? or I just google for it
←Prev  Next→
Page 1 .. 1534 1535 1536 1537 1538 1539 1540 1541 1542 1543 1544 .. 5022

All times are in UTC.