Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 .. 5022
— 502,152 events total
2020-11-25 22:29:49 <infinity0> i wrote mutable-lens because i had a direct concrete need to abstract over mutable references and pure state monads in the same piece of code without repeating myself, mutable-arrays didn't appear to be part of that need
2020-11-25 22:29:52 → Guest10117 joins (~vollenwei@4e69b241.skybroadband.com)
2020-11-25 22:30:19 <infinity0> cool, yeah i'd be happy to look at it. you can likely re-use some of my types
2020-11-25 22:31:25 × Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 264 seconds)
2020-11-25 22:32:48 <frdg> I dug up another of the same usb and get an entirely different issue. Do not buy `NXT USB 2.0`'s. Ill get a new usb tomorrow.
2020-11-25 22:33:17 × revprez_stg quits (~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net) (Quit: Lost terminal)
2020-11-25 22:35:15 <sondr3> question about API design in Haskell, coming from Rust I'm not sure how to create a Haskelly API for my library. Does something similar to https://rust-lang.github.io/api-guidelines/ exist for Haskell?
2020-11-25 22:37:12 → son0p joins (~son0p@181.136.122.143)
2020-11-25 22:37:25 → revprez_stg joins (~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-11-25 22:37:57 <infinity0> i don't know of a document, your best bet would be to read the standard library and other common libraries and figure out the convention by osmosis
2020-11-25 22:39:05 <koz_> It also depends very much on what you're trying to write.
2020-11-25 22:39:06 → hidedagger joins (~nate@unaffiliated/hidedagger)
2020-11-25 22:39:07 × Tario quits (~Tario@200.119.185.214) (Ping timeout: 246 seconds)
2020-11-25 22:39:15 → Tario joins (~Tario@201.192.165.173)
2020-11-25 22:39:50 <sondr3> A library for https://github.com/google/hrx to learn Haskell
2020-11-25 22:39:51 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2020-11-25 22:40:07 × borne quits (~fritjof@200116b864509c00394a967dc8ef4e61.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-11-25 22:40:29 × hidedagger quits (~nate@unaffiliated/hidedagger) (Client Quit)
2020-11-25 22:41:05 → hidedagger joins (~nate@unaffiliated/hidedagger)
2020-11-25 22:41:06 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2020-11-25 22:42:22 <infinity0> sondr3: have a look at https://hackage.haskell.org/package/zip-archive-0.4.1/docs/Codec-Archive-Zip.html and other archive-format libraries and spot some naming patterns
2020-11-25 22:44:30 <sondr3> infinity0: awesome, that looks like a great way to learn by osmosis
2020-11-25 22:44:43 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-25 22:45:08 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-25 22:45:10 <infinity0> welcome!
2020-11-25 22:47:15 → conal_ joins (~conal@64.71.133.70)
2020-11-25 22:50:01 × treotmnor quits (~treotmnor@8.210.183.149) (Remote host closed the connection)
2020-11-25 22:50:03 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2020-11-25 22:50:20 → treotmnor joins (~treotmnor@218.73.97.199)
2020-11-25 22:53:23 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-25 22:55:31 → matta joins (~user@24-113-169-116.wavecable.com)
2020-11-25 22:56:58 × hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9)
2020-11-25 22:57:37 → hidedagger joins (~nate@unaffiliated/hidedagger)
2020-11-25 22:58:22 → dizzy_g joins (~dizzy_g@188.170.200.125)
2020-11-25 23:00:08 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-11-25 23:01:56 × hidedagger quits (~nate@unaffiliated/hidedagger) (Client Quit)
2020-11-25 23:02:24 → hidedagger joins (~nate@unaffiliated/hidedagger)
2020-11-25 23:02:31 × hidedagger quits (~nate@unaffiliated/hidedagger) (Client Quit)
2020-11-25 23:03:16 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2020-11-25 23:03:16 → elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-25 23:04:25 × Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Quit: Leaving)
2020-11-25 23:04:34 → hidedagger joins (~nate@unaffiliated/hidedagger)
2020-11-25 23:04:46 × hidedagger quits (~nate@unaffiliated/hidedagger) (Client Quit)
2020-11-25 23:05:52 × mceier quits (~mceier@89-68-132-187.dynamic.chello.pl) (Ping timeout: 260 seconds)
2020-11-25 23:06:16 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 240 seconds)
2020-11-25 23:08:53 × dizzy_g quits (~dizzy_g@188.170.200.125) ()
2020-11-25 23:08:57 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-25 23:09:04 × solonarv quits (~solonarv@astrasbourg-653-1-191-240.w90-13.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-11-25 23:10:36 → hidedagger joins (~nate@unaffiliated/hidedagger)
2020-11-25 23:12:53 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-25 23:13:16 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-11-25 23:13:19 <kupi> i have found out it does not copy because uses plusForeignPtr
2020-11-25 23:13:53 <ski> kupi : it slices, i'd imagine
2020-11-25 23:13:59 → falafel_ joins (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4)
2020-11-25 23:14:10 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 256 seconds)
2020-11-25 23:15:56 × mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2020-11-25 23:16:10 × fendor quits (~fendor@178.165.131.166.wireless.dyn.drei.com) (Remote host closed the connection)
2020-11-25 23:16:37 × shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:94f:cb60:6301:cfa8) (Ping timeout: 260 seconds)
2020-11-25 23:17:16 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2020-11-25 23:18:42 × hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9)
2020-11-25 23:19:16 → hidedagger joins (~nate@unaffiliated/hidedagger)
2020-11-25 23:19:43 × DavidEichmann quits (~david@62.110.198.146.dyn.plus.net) (Remote host closed the connection)
2020-11-25 23:20:17 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-zpyuyhhkgrlryaog) (Quit: Connection closed for inactivity)
2020-11-25 23:20:24 × jneira quits (02896ac0@gateway/web/cgi-irc/kiwiirc.com/ip.2.137.106.192) (Ping timeout: 256 seconds)
2020-11-25 23:23:23 → shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:7167:dae3:3033:6c61)
2020-11-25 23:24:47 × son0p quits (~son0p@181.136.122.143) (Remote host closed the connection)
2020-11-25 23:26:59 × dyamon quits (~dyamon@cpc69058-oxfd26-2-0-cust662.4-3.cable.virginm.net) (Quit: WeeChat 2.9)
2020-11-25 23:27:42 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-11-25 23:29:17 × hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9)
2020-11-25 23:29:42 → hidedagger joins (~nate@unaffiliated/hidedagger)
2020-11-25 23:33:48 × sand_dull quits (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) (Ping timeout: 260 seconds)
2020-11-25 23:35:16 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-11-25 23:35:32 × falafel_ quits (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4) (Remote host closed the connection)
2020-11-25 23:35:56 → falafel_ joins (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4)
2020-11-25 23:38:23 <koz_> Lazy ByteStrings are like, arrays of chunks right?
2020-11-25 23:39:37 <hpc> linked list of chunks
2020-11-25 23:40:24 <koz_> hpc: So like [Chunk]?
2020-11-25 23:40:33 <koz_> And chunks are... strict ByteStrings?
2020-11-25 23:41:48 <hpc> more or less
2020-11-25 23:41:49 <hpc> https://hackage.haskell.org/package/bytestring-0.11.0.0/docs/src/Data.ByteString.Lazy.Internal.html#ByteString
2020-11-25 23:42:15 <koz_> Ah, they roll their own list.
2020-11-25 23:42:22 <koz_> Is there a reason for this?
2020-11-25 23:43:31 <koz_> Ah, strictness.
2020-11-25 23:44:47 → hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-25 23:45:07 → sand_dull joins (~theuser@c-73-149-95-105.hsd1.ct.comcast.net)
2020-11-25 23:45:17 → gioyik joins (~gioyik@186.118.238.251)
2020-11-25 23:46:43 × hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-11-25 23:48:16 × elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-11-25 23:49:06 × zaquest quits (~notzaques@5.128.210.178) (Read error: Connection reset by peer)
2020-11-25 23:50:04 → zaquest joins (~notzaques@5.128.210.178)
2020-11-25 23:50:12 × wonko7 quits (~wonko7@lns-bzn-55-82-255-183-4.adsl.proxad.net) (Ping timeout: 260 seconds)
2020-11-25 23:51:37 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-11-25 23:51:56 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-25 23:51:58 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-25 23:52:05 × LKoen quits (~LKoen@169.244.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-11-25 23:54:07 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection)
2020-11-25 23:54:51 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-11-25 23:55:30 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-11-25 23:57:08 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2020-11-25 23:58:03 <int-e> koz_: unpacking saves an indirection
←Prev  Next→
Page 1 .. 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 .. 5022

All times are in UTC.