Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 .. 18034
— 1,803,351 events total
2021-07-24 13:01:59 <DigitalKiwi> StayHungry: yeah and i think it can be done with the `split and reverse` method too it's just the function to do the split isn't called split lol
2021-07-24 13:02:16 <DigitalKiwi> oh no
2021-07-24 13:06:56 × Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 255 seconds)
2021-07-24 13:07:46 → Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-07-24 13:09:33 → curiousgay joins (~curiousga@77-120-186-48.kha.volia.net)
2021-07-24 13:10:12 → Topsi joins (~Tobias@dyndsl-091-249-083-202.ewe-ip-backbone.de)
2021-07-24 13:14:16 × fjmorazan quits (~quassel@user/fjmorazan) (Quit: fjmorazan)
2021-07-24 13:14:56 → fjmorazan joins (~quassel@user/fjmorazan)
2021-07-24 13:20:30 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-24 13:22:28 → favonia joins (~favonia@user/favonia)
2021-07-24 13:23:33 × turlando quits (~turlando@user/turlando) (Remote host closed the connection)
2021-07-24 13:23:39 → mr-red joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-07-24 13:24:06 → turlando joins (~turlando@user/turlando)
2021-07-24 13:24:27 × turlando quits (~turlando@user/turlando) (Client Quit)
2021-07-24 13:25:20 × drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 250 seconds)
2021-07-24 13:33:53 × Topsi quits (~Tobias@dyndsl-091-249-083-202.ewe-ip-backbone.de) (Quit: Leaving.)
2021-07-24 13:35:54 × favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-24 13:38:26 → favonia joins (~favonia@user/favonia)
2021-07-24 13:38:33 × wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-07-24 13:40:19 × hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1)
2021-07-24 13:40:48 → hendursaga joins (~weechat@user/hendursaga)
2021-07-24 13:53:34 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-24 13:54:50 → raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-24 13:57:30 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-07-24 13:59:01 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-07-24 14:01:09 → nick8325 joins (~nick8325@2001:9b1:26f9:3e00:b7ea:ac95:e18:4c1d)
2021-07-24 14:02:50 → zebrag joins (~chris@user/zebrag)
2021-07-24 14:05:06 × hegstal quits (~hegstal@2a02:c7f:7604:8a00:df8e:d579:d268:b9c7) (Ping timeout: 240 seconds)
2021-07-24 14:10:36 → spiunx joins (~spiun@2a01:4b00:86a9:fb00:adc0:97d9:20d8:cafd)
2021-07-24 14:12:43 × jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-24 14:16:53 → niHiggim joins (~niHiggim@2600:1700:3d41:8600::f)
2021-07-24 14:17:48 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-24 14:18:33 × niHiggim quits (~niHiggim@2600:1700:3d41:8600::f) (Client Quit)
2021-07-24 14:19:24 × Ananta-shesha quits (~pjetcetal@128-71-13-182.broadband.corbina.ru) (Quit: EXIT)
2021-07-24 14:20:36 × curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 265 seconds)
2021-07-24 14:22:12 → niHiggim joins (~stephen@2600:1700:3d41:8600::f)
2021-07-24 14:22:16 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2021-07-24 14:23:54 × yauhsien quits (~yauhsien@61-231-40-230.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-07-24 14:25:05 × enoq quits (~enoq@194-208-179-35.lampert.tv) (Quit: enoq)
2021-07-24 14:27:38 × sim590 quits (~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 258 seconds)
2021-07-24 14:27:44 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-07-24 14:37:03 → pesada joins (~agua@191.177.175.57)
2021-07-24 14:40:18 × agua quits (~agua@2804:18:4d:af57:1:0:4dec:eb61) (Ping timeout: 250 seconds)
2021-07-24 14:41:14 → sim590 joins (~simon@modemcable090.207-203-24.mc.videotron.ca)
2021-07-24 14:43:35 <zzz> any reason why filter is not :: Foldable f => (a -> Bool) -> f a -> f a ?
2021-07-24 14:44:05 <bin_> Can anyone recommend a function that given an integer n, returns the last n elements of a list?
2021-07-24 14:44:39 <zzz> bin_: wait
2021-07-24 14:44:56 × favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds)
2021-07-24 14:45:15 → favonia joins (~favonia@user/favonia)
2021-07-24 14:45:37 <[exa]> bin_: `take n . reverse` ?
2021-07-24 14:46:17 <zzz> bin_: https://paste.jrvieira.com/1627137960047
2021-07-24 14:46:57 <zzz> ^this is more efficient
2021-07-24 14:47:16 <[exa]> yeah that one is probably best choice :]
2021-07-24 14:47:51 <DigitalKiwi> what happens on an infinite list
2021-07-24 14:47:57 → henrylaxen joins (~henrylaxe@199.58.86.204)
2021-07-24 14:49:07 <geekosaur> zzz, Foldable can flatten a type into a list, but not reconstruct that type from the resulting list. And may lose structure if optimized into operating on the type itself (consider what happens if a tree node is filtered out but the subtreees aren't)
2021-07-24 14:49:33 <bin_> What should I name such a function that makes sense?
2021-07-24 14:50:00 <zzz> takeLast or lastN
2021-07-24 14:50:08 <bin_> Thanks.
2021-07-24 14:51:56 <zzz> DigitalKiwi: i'm a bottom guy
2021-07-24 14:52:19 <zzz> i'm not afraid of a good bottom
2021-07-24 14:52:44 <zzz> in this case i don't see a sane alternative
2021-07-24 14:53:09 × awth13 quits (~user@user/awth13) (Read error: Connection reset by peer)
2021-07-24 14:53:16 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-07-24 14:53:27 <zzz> geekosaur: yup that makes sense
2021-07-24 14:55:19 → hiruji joins (~hiruji@user/hiruji)
2021-07-24 14:55:22 → slowButPresent joins (~slowButPr@user/slowbutpresent)
2021-07-24 14:55:33 × hiruji` quits (~hiruji@2606:6080:1001:18:8d41:9604:d435:36b6) (Read error: Connection reset by peer)
2021-07-24 14:55:40 → yauhsien joins (~yauhsien@61-231-40-230.dynamic-ip.hinet.net)
2021-07-24 14:56:03 → curiousgay joins (~curiousga@77-120-186-48.kha.volia.net)
2021-07-24 14:56:32 → HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2021-07-24 14:56:43 <zzz> we need a NonEmpty-like NonInfinite. is it possible to have some kind of type level guarantee for finite lists without solving the halting problem?
2021-07-24 14:56:54 → Guest11 joins (~Guest11@2600:8806:3400:21ee:65e8:355:ef2e:efb0)
2021-07-24 14:57:29 <geekosaur> type-level sized lists?
2021-07-24 14:57:50 <zzz> well... ok
2021-07-24 14:58:31 <zzz> non infinite arbitrarily sized lists
2021-07-24 14:58:41 <zzz> ok forget it
2021-07-24 14:58:42 × favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-24 14:58:55 → Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se)
2021-07-24 15:01:22 → favonia joins (~favonia@user/favonia)
2021-07-24 15:03:14 × Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-24 15:03:43 → Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01)
2021-07-24 15:04:43 × Guest11 quits (~Guest11@2600:8806:3400:21ee:65e8:355:ef2e:efb0) (Ping timeout: 246 seconds)
2021-07-24 15:06:03 → tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl)
2021-07-24 15:11:10 → dunkeln joins (~dunkeln@94.129.69.87)
2021-07-24 15:11:26 → lavaman joins (~lavaman@98.38.249.169)
2021-07-24 15:14:28 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-24 15:17:38 × peterhil quits (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Ping timeout: 265 seconds)
2021-07-24 15:18:43 → LukeHoersten joins (~LukeHoers@user/lukehoersten)
2021-07-24 15:19:44 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-24 15:21:03 → Topsi joins (~Tobias@dyndsl-091-249-083-202.ewe-ip-backbone.de)
2021-07-24 15:21:27 → yoctocell joins (~user@h87-96-130-155.cust.a3fiber.se)
2021-07-24 15:25:46 × curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 240 seconds)
2021-07-24 15:32:13 <dsal> `oneSec = 10000000 -- milliseconds` -- Haskell in Depth, demonstrating something Haskell got surprisingly wrong.
2021-07-24 15:33:24 <zzz> dsal: what's that?
2021-07-24 15:33:27 <Clint> wut
2021-07-24 15:34:35 <tomsmeding> that's 10 seconds
2021-07-24 15:34:56 <dsal> I put too many zeros in on my phone. Heh
2021-07-24 15:35:13 <tomsmeding> I've wanted 1'000 or 1_000 multiple times already
2021-07-24 15:35:26 <tomsmeding> and binary literals :p
←Prev  Next→
Page 1 .. 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 .. 18034

All times are in UTC.