Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 787 788 789 790 791 792 793 794 795 796 797 .. 18022
— 1,802,130 events total
2021-07-05 03:59:56 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 256 seconds)
2021-07-05 04:02:33 <dsal> Does it have any standard instances?
2021-07-05 04:02:56 <dsal> Foldable, Traversable, Monoid, etc...?
2021-07-05 04:04:10 <dsal> e.g., why would have a `len` instead of `length`? And `append` instead of `<>`?
2021-07-05 04:06:44 <qrpnxz> no because it is mutable, it is an abstraction over MVector. If i published i would probably change len to length for ecosystem consistency. append is not a concatenation of vectors, it mutably adds an element to the end of the slice.
2021-07-05 04:06:45 → lavaman joins (~lavaman@98.38.249.169)
2021-07-05 04:07:01 → Erutuon joins (~Erutuon@user/erutuon)
2021-07-05 04:07:31 <qrpnxz> in haskell parlance it would be a "snoc", but i don't like that name because there's construction going on, it's just mutating
2021-07-05 04:07:39 <qrpnxz> *there's no
2021-07-05 04:09:01 <qrpnxz> i'm meaning to change it into an abstraction over generic vectors right now
2021-07-05 04:10:13 → justsomeguy joins (~justsomeg@user/justsomeguy)
2021-07-05 04:10:47 → alphabeta joins (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net)
2021-07-05 04:10:55 <dsal> There's often mutation in IO, but it's got functor, applicative, monad, monoid, etc... instances
2021-07-05 04:12:21 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 258 seconds)
2021-07-05 04:12:29 <qrpnxz> thing of Slice as MVector + length, that's it. MVector also doesn't have functor et al.
2021-07-05 04:13:07 <qrpnxz> main reason probably being that every read happens in a monadic context, so you just can't create the instance
2021-07-05 04:13:56 → shutdown_-h_now joins (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl)
2021-07-05 04:14:16 → Erutuon joins (~Erutuon@user/erutuon)
2021-07-05 04:14:27 × kilolympus quits (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) (Ping timeout: 265 seconds)
2021-07-05 04:15:05 <qrpnxz> *think
2021-07-05 04:15:35 × myShoggoth quits (~myShoggot@75.164.51.64) (Remote host closed the connection)
2021-07-05 04:15:52 → myShoggoth joins (~myShoggot@75.164.51.64)
2021-07-05 04:16:57 → kilolympus joins (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net)
2021-07-05 04:18:36 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-07-05 04:20:01 × alphabeta quits (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) (Ping timeout: 258 seconds)
2021-07-05 04:27:04 → lavaman joins (~lavaman@98.38.249.169)
2021-07-05 04:28:21 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-07-05 04:30:28 × haykam1 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-07-05 04:30:41 → haykam1 joins (~haykam@static.100.2.21.65.clients.your-server.de)
2021-07-05 04:34:04 <qrpnxz> ok it's generic now, nice
2021-07-05 04:38:36 → notzmv joins (~zmv@user/notzmv)
2021-07-05 04:39:10 → maf654321 joins (~maf654321@c-76-127-63-47.hsd1.nm.comcast.net)
2021-07-05 04:43:58 × cjb quits (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50)
2021-07-05 04:47:41 → dunkeln joins (~dunkeln@188.71.194.238)
2021-07-05 04:49:29 → cjb joins (~cjb@user/cjb)
2021-07-05 04:49:30 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-07-05 04:49:35 → fengctor joins (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca)
2021-07-05 04:51:13 → fef joins (~thedawn@user/thedawn)
2021-07-05 04:54:26 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds)
2021-07-05 04:54:31 → o1lo01ol1o joins (~o1lo01ol1@bl7-89-228.dsl.telepac.pt)
2021-07-05 04:58:50 → Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-07-05 04:59:24 × o1lo01ol1o quits (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) (Ping timeout: 265 seconds)
2021-07-05 04:59:30 × hrnz quits (~ulli@irc.plumbing) (Ping timeout: 240 seconds)
2021-07-05 05:01:48 × shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 258 seconds)
2021-07-05 05:01:55 × Xe quits (~cadey@tailscale/xe) (*.net *.split)
2021-07-05 05:01:55 × darxun quits (sid504814@id-504814.tinside.irccloud.com) (*.net *.split)
2021-07-05 05:01:56 × ding quits (~ding@2001:19f0:5:14c2:5400:2ff:fee0:a42c) (*.net *.split)
2021-07-05 05:01:56 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (*.net *.split)
2021-07-05 05:01:56 × Franciman quits (~francesco@openglass.it) (*.net *.split)
2021-07-05 05:01:56 × paddymahoney quits (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (*.net *.split)
2021-07-05 05:01:56 × mikolaj_ quits (~mikon@duch.mimuw.edu.pl) (*.net *.split)
2021-07-05 05:01:56 × tureba quits (~tureba@tureba.org) (*.net *.split)
2021-07-05 05:01:56 × bbhoss quits (sid18216@id-18216.tinside.irccloud.com) (*.net *.split)
2021-07-05 05:01:56 × dexterfoo quits (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split)
2021-07-05 05:01:56 × kaychaks_ quits (sid236345@brockwell.irccloud.com) (*.net *.split)
2021-07-05 05:01:56 × LambdaDu1k quits (~anka@ksit.fixme.fi) (*.net *.split)
2021-07-05 05:01:56 × urdh quits (~urdh@user/urdh) (*.net *.split)
2021-07-05 05:01:56 × kritzefitz quits (~kritzefit@picard.host.weltraumschlangen.de) (*.net *.split)
2021-07-05 05:01:56 × infinisil quits (~infinisil@mail.infinisil.com) (*.net *.split)
2021-07-05 05:01:56 × Solarion quits (~solarion@mail.digitasaru.net) (*.net *.split)
2021-07-05 05:02:00 → chkno_ joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2021-07-05 05:02:01 → bbhoss_ joins (sid18216@id-18216.tinside.irccloud.com)
2021-07-05 05:02:02 → LambdaDuck joins (~anka@ksit.fixme.fi)
2021-07-05 05:02:02 → kritzefitz_ joins (~kritzefit@picard.host.weltraumschlangen.de)
2021-07-05 05:02:02 → mikolaj__ joins (~mikon@duch.mimuw.edu.pl)
2021-07-05 05:02:04 → tureba joins (~tureba@tureba.org)
2021-07-05 05:02:05 → Solarion joins (~solarion@mail.digitasaru.net)
2021-07-05 05:02:09 → dexterfoo joins (dexter@2a01:7e00::f03c:91ff:fe86:59ec)
2021-07-05 05:02:10 → darxun joins (sid504814@id-504814.tinside.irccloud.com)
2021-07-05 05:02:24 → kaychaks__ joins (sid236345@id-236345.brockwell.irccloud.com)
2021-07-05 05:02:27 kritzefitz_ is now known as kritzefitz
2021-07-05 05:02:30 → Xe joins (~cadey@lufta.cetacean.club)
2021-07-05 05:02:40 → paddymahoney joins (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
2021-07-05 05:02:43 → Franciman joins (~francesco@openglass.it)
2021-07-05 05:03:35 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-05 05:03:58 × tinwood quits (~tinwood@canonical/tinwood) (*.net *.split)
2021-07-05 05:03:58 × SoF quits (~skius@user/skius) (*.net *.split)
2021-07-05 05:03:58 × ralu quits (~ralu@static.211.245.203.116.clients.your-server.de) (*.net *.split)
2021-07-05 05:03:58 × haasn quits (~nand@haasn.dev) (*.net *.split)
2021-07-05 05:03:58 × jocke-l quits (jocke-l@a.x0.is) (*.net *.split)
2021-07-05 05:03:58 × edr quits (~edr@user/edr) (*.net *.split)
2021-07-05 05:03:58 × bsima quits (~bsima@simatime.com) (*.net *.split)
2021-07-05 05:03:58 × dragestil quits (~quassel@user/dragestil) (*.net *.split)
2021-07-05 05:03:58 × hyiltiz quits (~quassel@31.220.5.250) (*.net *.split)
2021-07-05 05:03:58 × bin_ quits (~bin@user/bin/x-1583188) (*.net *.split)
2021-07-05 05:03:58 × skn quits (~znc@2001:19f0:5:701:5400:ff:fe7c:4e5c) (*.net *.split)
2021-07-05 05:03:59 × hubvu quits (sid495858@id-495858.tinside.irccloud.com) (*.net *.split)
2021-07-05 05:03:59 × anoe quits (~anoe@delanoe.org) (*.net *.split)
2021-07-05 05:03:59 × df quits (~ben@51.15.198.140) (*.net *.split)
2021-07-05 05:03:59 × slep quits (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) (*.net *.split)
2021-07-05 05:03:59 × orhan89 quits (~orhan89@151.91.188.35.bc.googleusercontent.com) (*.net *.split)
2021-07-05 05:03:59 × APic quits (apic@apic.name) (*.net *.split)
2021-07-05 05:03:59 × jmjl quits (julian@user/jmjl) (*.net *.split)
2021-07-05 05:03:59 × hiredman quits (~hiredman@frontier1.downey.family) (*.net *.split)
2021-07-05 05:03:59 × drdo quits (~drdo@overlord0.drdo.eu) (*.net *.split)
2021-07-05 05:03:59 × cocreature quits (~moritz@2a03:b0c0:3:d0::c8:f001) (*.net *.split)
2021-07-05 05:03:59 × dfg quits (~dfg@user/dfg) (*.net *.split)
2021-07-05 05:03:59 × lyxia quits (~lyxia@poisson.chat) (*.net *.split)
2021-07-05 05:03:59 × gonz_ quits (sid304396@id-304396.tooting.irccloud.com) (*.net *.split)
2021-07-05 05:04:06 → hyiltiz joins (~quassel@31.220.5.250)
←Prev  Next→
Page 1 .. 787 788 789 790 791 792 793 794 795 796 797 .. 18022

All times are in UTC.