IRCBrowse

2023/11/27

2023-11-27 00:03:35 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2023-11-27 00:04:09 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e)
2023-11-27 00:05:22 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-11-27 00:14:14 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-11-27 00:21:18 +0100Fijxu(~Fijxu@user/fijxu)
2023-11-27 00:21:26 +0100 <Fijxu> test!
2023-11-27 00:21:40 +0100 <geekosaur> pass
2023-11-27 00:21:43 +0100 <geekosaur> and welcome
2023-11-27 00:22:07 +0100 <Fijxu> o/
2023-11-27 00:22:36 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-11-27 00:23:41 +0100analoq(~yashi@user/dies) (Ping timeout: 245 seconds)
2023-11-27 00:24:31 +0100analoq(~yashi@user/dies)
2023-11-27 00:24:50 +0100ft(~ft@p508db3bc.dip0.t-ipconnect.de)
2023-11-27 00:28:05 +0100johnw(~johnw@69.62.242.138)
2023-11-27 00:28:42 +0100alp_(~alp@2001:861:e3d6:8f80:4129:7c9f:9b0:5dee) (Remote host closed the connection)
2023-11-27 00:29:00 +0100alp_(~alp@2001:861:e3d6:8f80:6df4:9252:effd:9887)
2023-11-27 00:29:05 +0100Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 245 seconds)
2023-11-27 00:29:55 +0100Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-11-27 00:35:35 +0100 <Axman6> Gooood mooorrrning #Haskell!
2023-11-27 00:36:34 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2023-11-27 00:37:02 +0100 <Fijxu> gm
2023-11-27 00:37:05 +0100emmanuelux(~emmanuelu@user/emmanuelux)
2023-11-27 00:37:16 +0100 <Fijxu> I don't know anything about haskell but anyways gm ^.^
2023-11-27 00:37:20 +0100alp_(~alp@2001:861:e3d6:8f80:6df4:9252:effd:9887) (Ping timeout: 268 seconds)
2023-11-27 00:37:49 +0100 <jackdk> That's what the channel is for
2023-11-27 00:38:41 +0100 <Axman6> To learn, about Haskell!
2023-11-27 00:38:51 +0100fyfor(~fyfor@2600:1700:ef60:e710:a17f:13e4:140a:7f9b)
2023-11-27 00:38:59 +0100fyfor(~fyfor@2600:1700:ef60:e710:a17f:13e4:140a:7f9b) (Client Quit)
2023-11-27 00:39:05 +0100phma_(~phma@2001:5b0:211b:ddc8:706f:10c0:4024:fd94)
2023-11-27 00:39:58 +0100 <Axman6> Fijxu: can we help change that?
2023-11-27 00:40:41 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1)
2023-11-27 00:41:54 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-11-27 00:42:26 +0100phma(~phma@2001:5b0:211b:ddc8:706f:10c0:4024:fd94) (Ping timeout: 245 seconds)
2023-11-27 00:44:59 +0100 <Fijxu> Axman6: Probably, I am currently learning C but I don't see any real world uses for haskell when C or C++ can be used
2023-11-27 00:45:32 +0100 <Fijxu> Or at least I don't have any project in mind involving haskell
2023-11-27 00:45:49 +0100 <Fijxu> I like embedded programming :p
2023-11-27 00:48:06 +0100 <Axman6> As someone who's spent a decade using Haskell professionally, I would have to disagree :)
2023-11-27 00:48:42 +0100 <Axman6> There are some excellent projects for using Haskell for embedded systems, particularly coming out of NASA (by Galois)
2023-11-27 00:50:03 +0100 <monochrom> Unpopular opinion: It is actually better to learn before there is a "project".
2023-11-27 00:50:49 +0100 <jackdk> monochrom: Why? You give up the motivation of an explicit goal, so I assume you see something of greater value than that in exchange. What is it?
2023-11-27 00:51:28 +0100 <monochrom> Actually learning the toolset for what it really is, instead of jumping to the gun with XY problems inspired fixation on a short-term goal.
2023-11-27 00:51:50 +0100 <jackdk> Yes, it will make it easy to X-Y yourself, and I remember struggling with that.
2023-11-27 00:52:35 +0100 <monochrom> "I want to learn programming in this language" is enough motivation.
2023-11-27 00:52:51 +0100 <Fijxu> Depends of the person
2023-11-27 00:53:09 +0100 <monochrom> As opposed to "I heard that Python is good for this fad called ML so here I am learning Python for ML".
2023-11-27 00:53:11 +0100 <Fijxu> That doesn't motivates me unless I have a project in mind
2023-11-27 00:53:17 +0100chomwitt(~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds)
2023-11-27 00:53:55 +0100 <monochrom> Computer programming is a life-long project. Google for "get good at anything in 10 years".
2023-11-27 00:56:10 +0100 <Fijxu> I saw something like that like 2 weeks ago
2023-11-27 00:56:11 +0100 <int-e> get good at clickbait in three easy steps
2023-11-27 00:56:35 +0100 <jackdk> Seems like a lot of effort. Don't you have one weird trick to make it easier?
2023-11-27 00:56:45 +0100 <int-e> (number 3 will surprise you)
2023-11-27 00:57:12 +0100 <Fijxu> For now I am taking an x86-64 assembly course while learning C at the same time
2023-11-27 00:57:30 +0100 <Fijxu> because it is fun :p
2023-11-27 00:57:55 +0100Axman6agrees with monochrom and thinks the "I'll learn a language by building a project" makes you decide to ignore things you think are unimportant, but you actually need to learn
2023-11-27 00:59:10 +0100 <Axman6> Fijxu: "I don't see any real world uses for haskell when C or C++ can be used" you might want to let Facebook know that, their entire spam filtering infrastructure is written in Haskell
2023-11-27 01:00:06 +0100 <Fijxu> Axman6: I will learn it in the future maybe
2023-11-27 01:00:44 +0100 <Fijxu> I don't want to lose focus on C and dropping it by another lang for nw
2023-11-27 01:00:46 +0100 <Fijxu> now*
2023-11-27 01:00:50 +0100 <monochrom> Yeah consider taking seriously "I am a beginner" to its logical conclusion. Therefore, as a beginner, one is extremely likely to be wrong about what is important, even for the intended project.
2023-11-27 01:00:52 +0100 <Axman6> I think there's a lot to be said for learning high level to low level. High level languages let you have thoughts you can't have in lower level ones
2023-11-27 01:01:13 +0100 <Fijxu> haskell is a high level one?
2023-11-27 01:01:29 +0100 <int-e> if you hold it right
2023-11-27 01:02:23 +0100 <int-e> . o O ( If you hold it wrong it can become an awful C dialect with a terrible compiler. )
2023-11-27 01:03:25 +0100 <int-e> (I'm thinking of bytestring internals, especially early on when they had fun bugs like sharing buffers between different bytestrings thanks to the power of inlinePerformIO.)
2023-11-27 01:07:26 +0100hays(rootvegeta@fsf/member/hays) (Ping timeout: 245 seconds)
2023-11-27 01:14:03 +0100Igloo(~ian@matrix.chaos.earth.li) (Remote host closed the connection)
2023-11-27 01:15:47 +0100Igloo(~ian@matrix.chaos.earth.li)
2023-11-27 01:16:07 +0100picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 255 seconds)
2023-11-27 01:17:24 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e) (Remote host closed the connection)
2023-11-27 01:17:54 +0100Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-11-27 01:21:20 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2023-11-27 01:24:33 +0100picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur)
2023-11-27 01:30:12 +0100ski. o O ( "Teach Yourself Programming in ..." by Peter Norvig at <https://www.norvig.com/21-days.html> )
2023-11-27 01:30:50 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2023-11-27 01:36:56 +0100biberu\(~biberu@user/biberu)
2023-11-27 01:37:03 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e)
2023-11-27 01:37:58 +0100EvanR_(~EvanR@user/evanr)
2023-11-27 01:38:03 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2023-11-27 01:38:10 +0100MironZ3(~MironZ@nat-infra.ehlab.uk)
2023-11-27 01:38:50 +0100Ram-Z_(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df)
2023-11-27 01:38:56 +0100hamess_(~hamess@user/hamess)
2023-11-27 01:38:56 +0100totbwf_(sid402332@id-402332.uxbridge.irccloud.com)
2023-11-27 01:38:57 +0100shawwwn_(sid6132@id-6132.helmsley.irccloud.com)
2023-11-27 01:38:57 +0100jackdk_(sid373013@cssa/jackdk)
2023-11-27 01:39:02 +0100dsal_(sid13060@id-13060.lymington.irccloud.com)
2023-11-27 01:39:05 +0100nrr_______(sid20938@id-20938.lymington.irccloud.com)
2023-11-27 01:39:08 +0100meinside_(uid24933@id-24933.helmsley.irccloud.com)
2023-11-27 01:39:10 +0100bjs_(sid190364@user/bjs)
2023-11-27 01:39:12 +0100chessai_(sid225296@id-225296.lymington.irccloud.com)
2023-11-27 01:39:15 +0100Fangs_(sid141280@id-141280.hampstead.irccloud.com)
2023-11-27 01:39:17 +0100astra_(sid289983@user/amish)
2023-11-27 01:39:32 +0100swistak-(~swistak@185.21.216.141)
2023-11-27 01:39:39 +0100g_(g@libera/staff/glguy)
2023-11-27 01:40:08 +0100nonzen_(~nonzen@user/nonzen)
2023-11-27 01:40:14 +0100andjjj23_(~irc@107.170.228.47)
2023-11-27 01:40:37 +0100g(g@libera/staff/glguy) (Killed (tungsten.libera.chat (Nickname regained by services)))
2023-11-27 01:40:37 +0100g_g
2023-11-27 01:40:39 +0100benjaminl(~benjaminl@user/benjaminl) (Ping timeout: 268 seconds)
2023-11-27 01:40:39 +0100lightandlight(sid135476@id-135476.helmsley.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 01:40:39 +0100swistak(~swistak@185.21.216.141) (Ping timeout: 268 seconds)
2023-11-27 01:40:39 +0100lexi-lambda(sid92601@id-92601.hampstead.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 01:40:40 +0100eso(a0662dfd5e@2604:bf00:561:2000::1266) (Ping timeout: 268 seconds)
2023-11-27 01:40:40 +0100carter(sid14827@id-14827.helmsley.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 01:40:40 +0100nonzen(~nonzen@user/nonzen) (Ping timeout: 268 seconds)
2023-11-27 01:40:40 +0100buhman(sid411355@user/buhman) (Ping timeout: 268 seconds)
2023-11-27 01:40:40 +0100hamess(~hamess@user/hamess) (Ping timeout: 268 seconds)
2023-11-27 01:40:40 +0100dsal(sid13060@id-13060.lymington.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 01:40:40 +0100Ram-Z(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Ping timeout: 268 seconds)
2023-11-27 01:40:40 +0100andjjj23(~irc@107.170.228.47) (Ping timeout: 268 seconds)
2023-11-27 01:40:40 +0100mikko(~mikko@user/mikko) (Ping timeout: 268 seconds)
2023-11-27 01:40:40 +0100Fangs(sid141280@id-141280.hampstead.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 01:40:40 +0100incertia(~incertia@209.122.137.252) (Ping timeout: 268 seconds)
2023-11-27 01:40:40 +0100dexter2(dexter@2a01:7e00::f03c:91ff:fe86:59ec) (Ping timeout: 268 seconds)
2023-11-27 01:40:40 +0100cods(~fred@tuxee.net) (Ping timeout: 268 seconds)
2023-11-27 01:40:40 +0100chessai(sid225296@id-225296.lymington.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 01:40:41 +0100iqubic(~avi@2601:602:9502:c70:c94f:89a4:f1d7:2a2a) (Ping timeout: 268 seconds)
2023-11-27 01:40:41 +0100xff0x(~xff0x@2405:6580:b080:900:be86:cabb:8cd3:1ec3) (Ping timeout: 268 seconds)
2023-11-27 01:40:41 +0100Hafydd(~Hafydd@user/hafydd) (Ping timeout: 268 seconds)
2023-11-27 01:40:41 +0100EvanR(~EvanR@user/evanr) (Ping timeout: 268 seconds)
2023-11-27 01:40:41 +0100shawwwn(sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 01:40:41 +0100meinside(uid24933@helmsley.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 01:40:41 +0100bjs(sid190364@user/bjs) (Ping timeout: 268 seconds)
2023-11-27 01:40:41 +0100xxpor(~xxpor@user/xxpor) (Ping timeout: 268 seconds)
2023-11-27 01:40:41 +0100MironZ(~MironZ@nat-infra.ehlab.uk) (Ping timeout: 268 seconds)
2023-11-27 01:40:42 +0100cln_(cln@wtf.cx) (Ping timeout: 268 seconds)
2023-11-27 01:40:42 +0100mjacob(~mjacob@adrastea.uberspace.de) (Ping timeout: 268 seconds)
2023-11-27 01:40:42 +0100Typedfern(~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Ping timeout: 268 seconds)
2023-11-27 01:40:42 +0100nrr______(sid20938@id-20938.lymington.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 01:40:42 +0100totbwf(sid402332@id-402332.uxbridge.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 01:40:42 +0100feetwind(~mike@user/feetwind) (Ping timeout: 268 seconds)
2023-11-27 01:40:42 +0100astra(sid289983@id-289983.hampstead.irccloud.com) (Ping timeout: 268 seconds)
2023-11-27 01:40:42 +0100TMA(tma@twin.jikos.cz) (Ping timeout: 268 seconds)
2023-11-27 01:40:42 +0100jackdk(sid373013@cssa/jackdk) (Ping timeout: 268 seconds)
2023-11-27 01:40:42 +0100biberu(~biberu@user/biberu) (Ping timeout: 268 seconds)
2023-11-27 01:40:43 +0100chessai_chessai
2023-11-27 01:40:43 +0100MironZ3MironZ
2023-11-27 01:40:43 +0100Fangs_Fangs
2023-11-27 01:40:43 +0100dsal_dsal
2023-11-27 01:40:43 +0100totbwf_totbwf
2023-11-27 01:40:43 +0100jackdk_jackdk
2023-11-27 01:40:44 +0100astra_astra
2023-11-27 01:40:48 +0100shawwwn_shawwwn
2023-11-27 01:40:49 +0100bjs_bjs
2023-11-27 01:40:49 +0100meinside_meinside
2023-11-27 01:40:49 +0100incertia_(~incertia@209.122.137.252)
2023-11-27 01:40:50 +0100cln_(cln@wtf.cx)
2023-11-27 01:40:50 +0100biberu\biberu
2023-11-27 01:40:51 +0100xff0x(~xff0x@2405:6580:b080:900:9596:3640:8854:825)
2023-11-27 01:40:53 +0100feetwind(~mike@user/feetwind)
2023-11-27 01:41:12 +0100xxpor(~xxpor@user/xxpor)
2023-11-27 01:41:13 +0100incertia_incertia
2023-11-27 01:41:39 +0100dexter2(dexter@2a01:7e00::f03c:91ff:fe86:59ec)
2023-11-27 01:41:39 +0100cods(~fred@tuxee.net)
2023-11-27 01:42:04 +0100mjacob(~mjacob@adrastea.uberspace.de)
2023-11-27 01:42:12 +0100TMA(tma@twin.jikos.cz)
2023-11-27 01:42:22 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Remote host closed the connection)
2023-11-27 01:46:15 +0100YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Read error: Connection reset by peer)
2023-11-27 01:46:35 +0100YoungFrog(~youngfrog@2a02:a03f:ca07:f900:49c4:337a:ff0f:d4e1)
2023-11-27 01:48:49 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
2023-11-27 01:49:34 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 01:51:34 +0100alexherbo2(~alexherbo@2a02-8440-3240-abf5-0c6d-5c34-f921-3e65.rev.sfr.net) (Ping timeout: 250 seconds)
2023-11-27 01:52:14 +0100notzmv(~zmv@user/notzmv)
2023-11-27 01:52:25 +0100eso(a0662dfd5e@2604:bf00:561:2000::1266)
2023-11-27 01:52:47 +0100lightandlight(sid135476@id-135476.helmsley.irccloud.com)
2023-11-27 01:52:48 +0100lexi-lambda(sid92601@id-92601.hampstead.irccloud.com)
2023-11-27 01:53:18 +0100benjaminl(~benjaminl@user/benjaminl)
2023-11-27 01:53:29 +0100buhman(sid411355@user/buhman)
2023-11-27 01:53:46 +0100Hafydd(~Hafydd@user/hafydd)
2023-11-27 01:53:47 +0100Typedfern(~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net)
2023-11-27 01:53:52 +0100mikko(~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi)
2023-11-27 01:53:52 +0100mikko(~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi) (Changing host)
2023-11-27 01:53:52 +0100mikko(~mikko@user/mikko)
2023-11-27 01:54:06 +0100carter(sid14827@id-14827.helmsley.irccloud.com)
2023-11-27 01:54:11 +0100benjaminl(~benjaminl@user/benjaminl) (Remote host closed the connection)
2023-11-27 01:54:32 +0100benjaminl(~benjaminl@user/benjaminl)
2023-11-27 01:59:47 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-11-27 02:02:23 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 264 seconds)
2023-11-27 02:03:05 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 02:08:35 +0100benjaminl(~benjaminl@user/benjaminl) (Remote host closed the connection)
2023-11-27 02:09:37 +0100benjaminl(~benjaminl@user/benjaminl)
2023-11-27 02:15:35 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 264 seconds)
2023-11-27 02:19:55 +0100jack_rabbit(~knusbaum@2601:240:8401:630::9f3a)
2023-11-27 02:21:49 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-27 02:21:56 +0100 <jack_rabbit> Is there a convention for mapping over a list, where each element produces multiple values in the final list? I could just make a [[t]] and then flatten it, but not sure if there's a more canonical way.
2023-11-27 02:22:49 +0100 <geekosaur> that's it, aka the list monad
2023-11-27 02:23:03 +0100 <geekosaur> :t concatMap
2023-11-27 02:23:04 +0100 <lambdabot> Foldable t => (a -> [b]) -> t a -> [b]
2023-11-27 02:24:02 +0100 <int-e> > do x <- [1,2,3]; replicate x x
2023-11-27 02:24:03 +0100 <lambdabot> [1,2,2,3,3,3]
2023-11-27 02:24:15 +0100 <jack_rabbit> Ahh nice, thanks.
2023-11-27 02:24:39 +0100 <Axman6> > [1,2,3] >>= \x -> replicate x x
2023-11-27 02:24:42 +0100 <lambdabot> [1,2,2,3,3,3]
2023-11-27 02:25:00 +0100 <ski> > [y | x <- [0,1,2,3],y <- replicate x x]
2023-11-27 02:25:01 +0100 <lambdabot> [1,2,2,3,3,3]
2023-11-27 02:25:48 +0100 <int-e> > concatMap (join replicate) [0..3] -- scnr to bring in another monad
2023-11-27 02:25:49 +0100 <lambdabot> [1,2,2,3,3,3]
2023-11-27 02:26:26 +0100int-eblames @pl
2023-11-27 02:26:52 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 02:28:28 +0100 <monochrom> "This is getting out of hand. Now there are two monads!"
2023-11-27 02:28:50 +0100 <Axman6> What is this, binad///
2023-11-27 02:28:54 +0100 <Axman6> ???*
2023-11-27 02:29:05 +0100 <Axman6> or would it be biad
2023-11-27 02:33:04 +0100Xyloes(~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04)
2023-11-27 02:33:15 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 260 seconds)
2023-11-27 02:34:53 +0100mmhat(~mmh@p200300f1c7217ae0ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.1)
2023-11-27 02:38:45 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 02:40:45 +0100fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-11-27 02:41:25 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2023-11-27 02:42:20 +0100stiell(~stiell@gateway/tor-sasl/stiell)
2023-11-27 02:44:13 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
2023-11-27 02:56:05 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 02:58:31 +0100xff0x(~xff0x@2405:6580:b080:900:9596:3640:8854:825) (Ping timeout: 256 seconds)
2023-11-27 03:01:34 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-11-27 03:01:34 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-11-27 03:01:34 +0100finn_elijaFinnElija
2023-11-27 03:02:58 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-11-27 03:03:47 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 03:07:39 +0100Sgeo(~Sgeo@user/sgeo)
2023-11-27 03:08:05 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-11-27 03:12:46 +0100kayvan(~user@52-119-115-185.PUBLIC.monkeybrains.net)
2023-11-27 03:13:03 +0100xff0x(~xff0x@2405:6580:b080:900:9596:3640:8854:825)
2023-11-27 03:16:01 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 03:20:32 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-11-27 03:21:49 +0100wladek(~wladek@4.62.67.34.bc.googleusercontent.com) ()
2023-11-27 03:22:17 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 03:27:52 +0100sadmax(~user@64.130.91.66)
2023-11-27 03:30:04 +0100pavonia(~user@user/siracusa)
2023-11-27 03:35:20 +0100sadmax(~user@64.130.91.66) (Ping timeout: 245 seconds)
2023-11-27 03:35:51 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds)
2023-11-27 03:46:36 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 03:50:07 +0100fyfor(~fyfor@2600:1700:ef60:e710:6b5d:5ca:2040:2f69)
2023-11-27 03:50:10 +0100iqubic(~avi@2601:602:9502:c70:c94f:89a4:f1d7:2a2a)
2023-11-27 03:51:53 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 04:03:30 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 04:07:49 +0100td_(~td@i5387093C.versanet.de) (Ping timeout: 246 seconds)
2023-11-27 04:09:13 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
2023-11-27 04:09:50 +0100ddellacosta(~ddellacos@ool-44c73d16.dyn.optonline.net) (Ping timeout: 256 seconds)
2023-11-27 04:09:50 +0100td_(~td@i53870917.versanet.de)
2023-11-27 04:10:11 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2023-11-27 04:11:49 +0100ddellacosta(~ddellacos@ool-44c73d16.dyn.optonline.net)
2023-11-27 04:14:23 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 04:22:02 +0100fyfor(~fyfor@2600:1700:ef60:e710:6b5d:5ca:2040:2f69) (Quit: Client closed)
2023-11-27 04:23:52 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
2023-11-27 04:35:40 +0100phma_phma
2023-11-27 04:36:13 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 04:42:38 +0100lottaquestions(~nick@2607:fa49:503d:b200:ced0:26d6:58ac:b557) (Ping timeout: 260 seconds)
2023-11-27 04:45:32 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
2023-11-27 04:46:46 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 04:46:57 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-11-27 04:47:13 +0100jmpxor(~jmpxor@d149-67-225-73.try.wideopenwest.com)
2023-11-27 04:52:40 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
2023-11-27 04:55:59 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-11-27 04:55:59 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-11-27 04:55:59 +0100finn_elijaFinnElija
2023-11-27 05:08:32 +0100sophie_sym(~sophie_sy@104.220.248.22)
2023-11-27 05:11:33 +0100sophie_sym(~sophie_sy@104.220.248.22) (Client Quit)
2023-11-27 05:23:27 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:117f:a0a1:ad81:5c35)
2023-11-27 05:26:06 +0100 <JeremyB99> I've got a question about the getLine function and functions that are unsafe if provided nothing.
2023-11-27 05:26:41 +0100jmpxor(~jmpxor@d149-67-225-73.try.wideopenwest.com) (Remote host closed the connection)
2023-11-27 05:27:43 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds)
2023-11-27 05:28:36 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-11-27 05:30:12 +0100 <Axman6> JeremyB99: Don't ask to ask, just ask :)
2023-11-27 05:32:55 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:117f:a0a1:ad81:5c35) (Ping timeout: 260 seconds)
2023-11-27 05:36:25 +0100JeremyB99(~JeremyB99@208.64.173.5)
2023-11-27 05:36:47 +0100JeremyB41(~JeremyB99@208.64.173.5)
2023-11-27 05:40:47 +0100 <JeremyB41> I have a function called check that takes a String -> String that crashes if it is given no input, but when I use it with the function with getLine, even when I don't input anything, my function seems to be completely safe. Does getLine convert blank inputs into something else?
2023-11-27 05:43:07 +0100 <JeremyB41> and should I convert my check function to something safer anyway like Maybe String -> Maybe String
2023-11-27 05:49:22 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-11-27 05:50:45 +0100AlienCipher(~AlienCiph@113.164.176.43) (Quit: Ping timeout (120 seconds))
2023-11-27 05:54:58 +0100aforemny(~aforemny@2001:9e8:6cc7:1300:96d5:106c:58e4:1727)
2023-11-27 05:55:11 +0100JeremyB99(~JeremyB99@208.64.173.5) (Ping timeout: 256 seconds)
2023-11-27 05:55:32 +0100JeremyB41(~JeremyB99@208.64.173.5) (Ping timeout: 250 seconds)
2023-11-27 05:56:55 +0100aforemny_(~aforemny@i59F516DA.versanet.de) (Ping timeout: 276 seconds)
2023-11-27 05:56:59 +0100kayvan(~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 264 seconds)
2023-11-27 05:59:40 +0100EvanR_EvanR
2023-11-27 06:00:23 +0100 <EvanR> you saw two nested problems and said I know, I'll use a monad! Now you have one problem
2023-11-27 06:00:49 +0100johnw(~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
2023-11-27 06:05:53 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2023-11-27 06:07:48 +0100seeg123456(~seeg12345@64.176.64.83) (Quit: Gateway shutdown)
2023-11-27 06:18:59 +0100JeremyB99(~JeremyB99@208.64.173.44)
2023-11-27 06:23:26 +0100 <jackdk> JeremyB99: welcome back. I think the reason your `check`-using code doesn't crash is because lazy evaluation means nothing is trying to consume the result and your function never gets run. I would definitely rewrite `check` to have type `String :: Maybe String`. See also: https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/
2023-11-27 06:23:49 +0100 <jackdk> If you want to post your code into a pastebin, we can confirm this theory. @where paste
2023-11-27 06:23:53 +0100 <jackdk> @where paste
2023-11-27 06:23:53 +0100 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2023-11-27 06:24:26 +0100JeremyB71(~JeremyB99@208.64.173.44)
2023-11-27 06:29:02 +0100 <JeremyB71> https://paste.tomsmeding.com/ungryHdy
2023-11-27 06:30:35 +0100 <jackdk> JeremyB71: `check ""` will return `"Invalid Move"` because of the `otherwise` clause; you can test this in GHCi
2023-11-27 06:34:10 +0100 <iqubic> What are we doing here?
2023-11-27 06:35:05 +0100 <jackdk> learning to write Haskell via a rock-paper-scissors implementation, looks like
2023-11-27 06:35:17 +0100 <jackdk> Also, you might want to add `data Move = Rock | Paper | Scissors deriving (Eq, Show)` and then work with that more specific type
2023-11-27 06:35:24 +0100JeremyB71(~JeremyB99@208.64.173.44) (Ping timeout: 250 seconds)
2023-11-27 06:35:28 +0100JeremyB99(~JeremyB99@208.64.173.44) (Ping timeout: 256 seconds)
2023-11-27 06:44:56 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Remote host closed the connection)
2023-11-27 06:48:43 +0100qqq(~qqq@92.43.167.61)
2023-11-27 06:49:25 +0100myxos(~myxos@065-028-251-121.inf.spectrum.com) (Remote host closed the connection)
2023-11-27 06:53:20 +0100JeremyB99(~JeremyB99@208.64.173.19)
2023-11-27 06:55:16 +0100 <JeremyB99> Did my last four messages get through? My internet can be pretty horrible sometimes
2023-11-27 06:56:07 +0100zetef(~quassel@2a02:2f00:5201:4b00:19c:1be6:f517:649f)
2023-11-27 06:56:44 +0100newsham(~newsham@2603-800c-2c01-6825-6099-561e-33fd-e2ba.res6.spectrum.com) (Quit: Client closed)
2023-11-27 06:57:55 +0100 <jackdk> JeremyB99: https://www.irccloud.com/pastebin/80SKgwOy/WhatISaw.txt
2023-11-27 06:58:36 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-27 06:59:07 +0100 <JeremyB99> Ah, sorry
2023-11-27 06:59:37 +0100 <JeremyB99> JeremyB99: What I'm still confused about is why doing something like check 17 errors in ghci, but doing
2023-11-27 06:59:37 +0100 <JeremyB99> [00:42] JeremyB99: main. What is you move player one? 17. Doesn't crash the function, but instead provides the otherwise guard in ghci
2023-11-27 06:59:37 +0100 <JeremyB99> [00:42] JeremyB99: Shouldn't those two be equivalent?
2023-11-27 07:02:33 +0100 <monochrom> check 17? check "17"?
2023-11-27 07:03:00 +0100 <probie> monochrom: They mean line 17
2023-11-27 07:03:11 +0100 <JeremyB99> Nah, just the number itself 17 :: integer
2023-11-27 07:03:33 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-11-27 07:03:34 +0100 <probie> s/integer/Integer/
2023-11-27 07:05:38 +0100zetef(~quassel@2a02:2f00:5201:4b00:19c:1be6:f517:649f) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2023-11-27 07:06:32 +0100zetef(~quassel@2a02:2f00:5201:4b00:19c:1be6:f517:649f)
2023-11-27 07:07:19 +0100 <JeremyB99> Doing check (17::Int) gives an error, but providing 17 or even just hitting enter and providing nothing at all in response to the "what is your first move?" question doesn't crash
2023-11-27 07:08:47 +0100 <jackdk> Yeah because providing no input will give you the string `""` as a result, entering `17` will give you the string `"17"` as a result, but writing `17` in GHCi means you have to abide by Haskell's syntax, where sequences of numerals are interpreted as numbers.
2023-11-27 07:09:52 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-11-27 07:10:07 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 07:10:41 +0100Axma32854(~Axman6@user/axman6)
2023-11-27 07:11:03 +0100 <JeremyB99> Oh, so the reason that the function check is safe is because getLine always provides a string for the guards to reject
2023-11-27 07:12:03 +0100 <jackdk> yes, exactly.
2023-11-27 07:12:42 +0100 <jackdk> I don't know if you saw the previous message, but I recommend introducing a separate data type for your moves, so that check can parse into something more precise than string
2023-11-27 07:13:14 +0100Axman6(~Axman6@user/axman6) (Ping timeout: 260 seconds)
2023-11-27 07:14:55 +0100 <JeremyB99> Thanks. Are there any other parts of my code that should be changed?
2023-11-27 07:16:41 +0100rosco(~rosco@175.136.157.149)
2023-11-27 07:16:52 +0100 <JeremyB99> I tried to make my code as clean as possible, but since my first language is Python, a lot of this stuff like recursion and monads are new to me.
2023-11-27 07:17:08 +0100 <jackdk> You can use empty strings `""` instead of strings containing a single space `" "`, and I'd probably also introduce a data type for players and winners: `data Player = Player1 | Player 2`; `data Winner = WinningPlayer Player | Draw`; then you can change the type of `moveEvaluate :: Move -> Move -> Winner` to get something more precise. Turning it back into a string for printing would then be the responsibility of another function
2023-11-27 07:17:51 +0100zetef(~quassel@2a02:2f00:5201:4b00:19c:1be6:f517:649f) (Ping timeout: 268 seconds)
2023-11-27 07:18:19 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 07:19:45 +0100 <JeremyB99> And should I use Maybe for handling IO inputs, or should I just leave it?
2023-11-27 07:20:09 +0100 <jackdk> Sorry, can you unpack that question a bit more? I'm not sure what you're asking
2023-11-27 07:21:49 +0100 <JeremyB99> Like turning the check function into Maybe String -> Maybe Move or something like that
2023-11-27 07:22:28 +0100chomwitt(~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1)
2023-11-27 07:22:33 +0100 <JeremyB99> Or keeping it string -> move since it seems safe
2023-11-27 07:23:38 +0100 <jackdk> You won't be able to restrict the return type to `Move` because what will you do with nonsense or empty input? But turning it into `check :: String -> Maybe Move` seems pretty good to me.
2023-11-27 07:25:15 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 07:25:20 +0100acidjnk(~acidjnk@p200300d6e72b935790ce6c45c9ff7d13.dip0.t-ipconnect.de)
2023-11-27 07:28:20 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2023-11-27 07:29:11 +0100euleritian(~euleritia@dynamic-046-114-205-112.46.114.pool.telefonica.de)
2023-11-27 07:29:42 +0100monochrom(trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3build2 - https://znc.in)
2023-11-27 07:29:59 +0100raym(~ray@user/raym) (Ping timeout: 264 seconds)
2023-11-27 07:31:25 +0100JeremyB99(~JeremyB99@208.64.173.19) (Ping timeout: 268 seconds)
2023-11-27 07:32:38 +0100jinsun_(~jinsun@user/jinsun)
2023-11-27 07:32:38 +0100jinsunGuest9210
2023-11-27 07:32:39 +0100Guest9210(~jinsun@user/jinsun) (Killed (silver.libera.chat (Nickname regained by services)))
2023-11-27 07:32:39 +0100jinsun_jinsun
2023-11-27 07:36:35 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 07:42:50 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 07:51:15 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 07:51:49 +0100misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-11-27 07:52:31 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-11-27 07:52:37 +0100analoq(~yashi@user/dies) (Ping timeout: 256 seconds)
2023-11-27 07:53:19 +0100johnw(~johnw@69.62.242.138)
2023-11-27 07:53:45 +0100haskellbridge(~haskellbr@069-135-003-034.biz.spectrum.com) (Ping timeout: 256 seconds)
2023-11-27 07:54:24 +0100analoq(~yashi@user/dies)
2023-11-27 07:56:17 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:7df2:227d:9fab:9d9c)
2023-11-27 07:56:31 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds)
2023-11-27 07:56:31 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
2023-11-27 07:57:56 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 07:59:00 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2023-11-27 08:03:30 +0100Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2023-11-27 08:06:32 +0100cbarrett(sid192934@helmsley.irccloud.com) (Read error: Connection reset by peer)
2023-11-27 08:06:39 +0100SrPx(sid108780@uxbridge.irccloud.com) (Ping timeout: 256 seconds)
2023-11-27 08:06:40 +0100cbarrett(sid192934@id-192934.helmsley.irccloud.com)
2023-11-27 08:06:56 +0100thelounge7933(~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3)
2023-11-27 08:07:09 +0100dy(sid3438@user/dy) (Read error: Connection reset by peer)
2023-11-27 08:07:17 +0100dy(sid3438@user/dy)
2023-11-27 08:07:20 +0100acro_(~acro@user/acro)
2023-11-27 08:07:20 +0100mrvdb-(~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5)
2023-11-27 08:07:23 +0100FestiveDragon(A_D@libera/staff/dragon) (Quit: ZNC - https://znc.in)
2023-11-27 08:07:30 +0100vjoki(~vjoki@2a00:d880:3:1::fea1:9ae) (Ping timeout: 260 seconds)
2023-11-27 08:07:30 +0100Benzi-Junior(~BenziJuni@88-149-64-112.du.xdsl.is) (Ping timeout: 260 seconds)
2023-11-27 08:07:34 +0100mrvdb(~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Ping timeout: 276 seconds)
2023-11-27 08:07:37 +0100madnight_(~madnight@static.59.103.201.195.clients.your-server.de)
2023-11-27 08:07:39 +0100A_Dragon(A_D@libera/staff/dragon)
2023-11-27 08:07:40 +0100ames(~amelia@offtopia/offtopian/amelia) (Quit: Ping timeout (120 seconds))
2023-11-27 08:07:42 +0100masterbuilder(~quassel@user/masterbuilder) (Remote host closed the connection)
2023-11-27 08:07:43 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-11-27 08:07:51 +0100lambdabot(~lambdabot@haskell/bot/lambdabot) (Ping timeout: 260 seconds)
2023-11-27 08:07:51 +0100orcus(~orcus@mail.brprice.uk) (Ping timeout: 260 seconds)
2023-11-27 08:07:54 +0100ames(~amelia@offtopia/offtopian/amelia)
2023-11-27 08:07:55 +0100SrPx(sid108780@id-108780.uxbridge.irccloud.com)
2023-11-27 08:08:01 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer)
2023-11-27 08:08:01 +0100vjoki(~vjoki@2a00:d880:3:1::fea1:9ae)
2023-11-27 08:08:05 +0100dispater-(~dispater@mail.brprice.uk)
2023-11-27 08:08:07 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
2023-11-27 08:08:07 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds)
2023-11-27 08:08:07 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
2023-11-27 08:08:34 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2023-11-27 08:08:35 +0100orcus(~orcus@mail.brprice.uk)
2023-11-27 08:08:38 +0100madnight(~madnight@static.59.103.201.195.clients.your-server.de) (Read error: Connection reset by peer)
2023-11-27 08:08:43 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-11-27 08:08:47 +0100thelounge793(~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) (Ping timeout: 260 seconds)
2023-11-27 08:08:47 +0100thelounge7933thelounge793
2023-11-27 08:08:48 +0100ec(~ec@gateway/tor-sasl/ec)
2023-11-27 08:08:49 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-11-27 08:08:51 +0100acro(~acro@user/acro) (Read error: Connection reset by peer)
2023-11-27 08:08:51 +0100acro_acro
2023-11-27 08:08:52 +0100tdammers(~tdammers@219-131-178-143.ftth.glasoperator.nl) (Ping timeout: 276 seconds)
2023-11-27 08:08:54 +0100dispater(~dispater@mail.brprice.uk) (Ping timeout: 260 seconds)
2023-11-27 08:08:55 +0100masterbuilder(~quassel@user/masterbuilder)
2023-11-27 08:08:59 +0100Ranhir(~Ranhir@157.97.53.139) (Ping timeout: 252 seconds)
2023-11-27 08:09:27 +0100lambdabot(~lambdabot@silicon.int-e.eu)
2023-11-27 08:09:27 +0100lambdabot(~lambdabot@silicon.int-e.eu) (Changing host)
2023-11-27 08:09:27 +0100lambdabot(~lambdabot@haskell/bot/lambdabot)
2023-11-27 08:09:27 +0100ChanServ+v lambdabot
2023-11-27 08:09:28 +0100stiell(~stiell@gateway/tor-sasl/stiell)
2023-11-27 08:09:36 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-11-27 08:09:38 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 08:09:45 +0100Benzi-Junior(~BenziJuni@dsl-149-64-112.hive.is)
2023-11-27 08:10:48 +0100Ranhir(~Ranhir@157.97.53.139)
2023-11-27 08:10:49 +0100Fijxu(~Fijxu@us.zzls.xyz)
2023-11-27 08:14:46 +0100alp_(~alp@2001:861:e3d6:8f80:ec88:aa8f:d35:98fc)
2023-11-27 08:15:17 +0100shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 256 seconds)
2023-11-27 08:16:53 +0100rosco(~rosco@175.136.157.149) (Quit: Lost terminal)
2023-11-27 08:19:31 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 08:21:50 +0100tdammers(~tdammers@219-131-178-143.ftth.glasoperator.nl)
2023-11-27 08:22:53 +0100Fijxu(~Fijxu@us.zzls.xyz) (Quit: XD!!)
2023-11-27 08:23:51 +0100monochrom(trebla@216.138.220.146)
2023-11-27 08:24:39 +0100Fijxu(~Fijxu@us.zzls.xyz)
2023-11-27 08:26:35 +0100Fijxu(~Fijxu@us.zzls.xyz) (Client Quit)
2023-11-27 08:26:49 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 08:28:28 +0100Fijxu(~Fijxu@user/fijxu)
2023-11-27 08:28:47 +0100Square2(~Square4@user/square)
2023-11-27 08:30:11 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-11-27 08:31:43 +0100Square(~Square@user/square) (Ping timeout: 255 seconds)
2023-11-27 08:33:30 +0100Noob_Programmer(~Noob_Prog@14.139.187.71)
2023-11-27 08:33:39 +0100 <Noob_Programmer> hi
2023-11-27 08:35:16 +0100 <Fijxu> test
2023-11-27 08:35:22 +0100 <Fijxu> and hai
2023-11-27 08:35:24 +0100 <Fijxu> :)
2023-11-27 08:37:12 +0100 <ski> allo
2023-11-27 08:37:28 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds)
2023-11-27 08:42:23 +0100 <Noob_Programmer> i am starting haskell , i have coded a little in C language and all the mysticness around haskell has drawn me in , all i know right now that the thought process itself is ver different for function programming so am quite excited
2023-11-27 08:42:33 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 08:43:12 +0100 <ski> it sure it, yes
2023-11-27 08:43:22 +0100 <ski> be welcomed :)
2023-11-27 08:44:02 +0100 <ski> if you've any question(s), feel free to state them here. sometimes it may take a little while for people to notice, so be patient
2023-11-27 08:44:32 +0100 <ski> do you have access to any learning resources ?
2023-11-27 08:48:25 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-11-27 08:49:07 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 08:49:56 +0100 <Noob_Programmer> i am learnign from leanyouhaskell.com
2023-11-27 08:50:16 +0100 <ski> do consider perhaps using
2023-11-27 08:50:21 +0100 <ski> @where CIS194
2023-11-27 08:50:21 +0100 <lambdabot> <https://github.com/byorgey/haskell-course>,<https://www.seas.upenn.edu/~cis194/spring13/lectures.html>
2023-11-27 08:50:26 +0100 <Noob_Programmer> thanks
2023-11-27 08:50:35 +0100 <ski> as well (the 2013 spring instance, latter link)
2023-11-27 08:50:42 +0100 <ski> since LYAH doesn't have any exercises
2023-11-27 08:51:09 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 08:51:41 +0100 <Noob_Programmer> oh , thanks for the exercises as well
2023-11-27 08:51:51 +0100 <Noob_Programmer> they look very intersting
2023-11-27 08:54:34 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-11-27 08:55:59 +0100gmg(~user@user/gehmehgeh)
2023-11-27 08:56:16 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2023-11-27 08:56:36 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit)
2023-11-27 08:56:58 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds)
2023-11-27 09:01:21 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 09:01:24 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2023-11-27 09:02:20 +0100not_reserved(~not_reser@45.144.113.233)
2023-11-27 09:04:32 +0100AlienCipher(~AlienCiph@113.164.176.43)
2023-11-27 09:05:11 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2023-11-27 09:06:42 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 09:10:49 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 09:16:50 +0100euleritian(~euleritia@dynamic-046-114-205-112.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-11-27 09:17:08 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 09:23:21 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 09:24:01 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1)
2023-11-27 09:33:12 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 09:37:10 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2023-11-27 09:37:36 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2023-11-27 09:39:31 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 245 seconds)
2023-11-27 09:40:00 +0100Noob_Programmer(~Noob_Prog@14.139.187.71) (Ping timeout: 250 seconds)
2023-11-27 09:41:35 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 09:42:45 +0100ubert(~Thunderbi@77.119.173.120.wireless.dyn.drei.com)
2023-11-27 09:45:46 +0100rosco(~rosco@175.136.157.149)
2023-11-27 09:46:11 +0100__monty__(~toonn@user/toonn)
2023-11-27 09:52:31 +0100CiaoSen(~Jura@2a05:5800:2aa:8f00:2a3a:4dff:fe84:dbd5)
2023-11-27 09:53:44 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-11-27 09:58:01 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-11-27 10:01:33 +0100danza(~francesco@151.19.227.182)
2023-11-27 10:06:06 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-11-27 10:06:08 +0100danza(~francesco@151.19.227.182) (Ping timeout: 252 seconds)
2023-11-27 10:06:30 +0100misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds)
2023-11-27 10:06:31 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds)
2023-11-27 10:09:33 +0100danse-nr3(~danse@151.19.227.182)
2023-11-27 10:16:28 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
2023-11-27 10:17:42 +0100Pickchea(~private@user/pickchea)
2023-11-27 10:18:17 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-11-27 10:18:28 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 10:19:34 +0100Jackneill(~Jackneill@20014C4E1E120500DDDE9742A0209DC5.dsl.pool.telekom.hu)
2023-11-27 10:24:05 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 10:24:06 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:7df2:227d:9fab:9d9c) (Read error: Connection reset by peer)
2023-11-27 10:25:56 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:7df2:227d:9fab:9d9c)
2023-11-27 10:30:10 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
2023-11-27 10:35:35 +0100dhil(~dhil@2001:8e0:2014:3100:b2f1:d5be:95a9:417)
2023-11-27 10:36:10 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 10:38:39 +0100Xyloes(~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Remote host closed the connection)
2023-11-27 10:40:03 +0100Xyloes(~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04)
2023-11-27 10:41:36 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 245 seconds)
2023-11-27 10:43:57 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e) (Remote host closed the connection)
2023-11-27 10:46:54 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 10:56:55 +0100misterfish(~misterfis@87.215.131.102)
2023-11-27 10:59:58 +0100mikess(~sam@user/mikess) (Quit: leaving)
2023-11-27 11:02:08 +0100Noob_Programmer(~Noob_Prog@103.4.222.252)
2023-11-27 11:06:28 +0100cfricke(~cfricke@user/cfricke)
2023-11-27 11:10:29 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-11-27 11:10:57 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2023-11-27 11:13:28 +0100Lord_of_Life_Lord_of_Life
2023-11-27 11:15:10 +0100ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2023-11-27 11:15:42 +0100ec(~ec@gateway/tor-sasl/ec)
2023-11-27 11:16:26 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe)
2023-11-27 11:18:16 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-11-27 11:18:34 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-11-27 11:19:08 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-11-27 11:21:08 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) (Ping timeout: 268 seconds)
2023-11-27 11:26:34 +0100chele(~chele@user/chele)
2023-11-27 11:35:00 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:7df2:227d:9fab:9d9c) (Ping timeout: 268 seconds)
2023-11-27 11:35:19 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds)
2023-11-27 11:39:20 +0100Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-11-27 11:40:18 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2023-11-27 11:40:48 +0100stiell(~stiell@gateway/tor-sasl/stiell)
2023-11-27 11:41:56 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-11-27 11:50:34 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-11-27 11:55:42 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-11-27 11:55:58 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 11:56:07 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2023-11-27 11:58:09 +0100krei-se(~krei-se@p5085dea2.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in)
2023-11-27 11:59:24 +0100krei-se(~krei-se@p5085dea2.dip0.t-ipconnect.de)
2023-11-27 12:01:47 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe)
2023-11-27 12:14:30 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 245 seconds)
2023-11-27 12:16:51 +0100 <carbolymer> @pl flip .
2023-11-27 12:16:51 +0100 <lambdabot> (line 1, column 7):
2023-11-27 12:16:51 +0100 <lambdabot> unexpected end of input
2023-11-27 12:16:51 +0100 <lambdabot> expecting white space or simple term
2023-11-27 12:17:03 +0100 <carbolymer> @pl flip (.)
2023-11-27 12:17:03 +0100 <lambdabot> flip (.)
2023-11-27 12:27:56 +0100danse-nr3(~danse@151.19.227.182) (Ping timeout: 252 seconds)
2023-11-27 12:29:19 +0100Noob_Programmer(~Noob_Prog@103.4.222.252) (Quit: Client closed)
2023-11-27 12:29:43 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-11-27 12:30:31 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 12:36:32 +0100lottaquestions(~nick@2607:fa49:503d:b200:791c:1e35:f3fd:c3f3)
2023-11-27 12:36:49 +0100raym(~ray@user/raym)
2023-11-27 12:37:54 +0100 <ski> carbolymer : `(>>>)'
2023-11-27 12:38:39 +0100 <carbolymer> oh right, thanks ski
2023-11-27 12:42:50 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2023-11-27 12:43:09 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-11-27 12:43:35 +0100santiagopim(~user@90.167.66.131) (Remote host closed the connection)
2023-11-27 12:45:18 +0100santiagopim(~user@90.167.66.131)
2023-11-27 12:49:25 +0100santiago`(~user@90.167.66.131)
2023-11-27 12:49:28 +0100santiago`(~user@90.167.66.131) (Remote host closed the connection)
2023-11-27 12:49:28 +0100santiagopim(~user@90.167.66.131) (Remote host closed the connection)
2023-11-27 12:50:37 +0100santiagopim(~user@90.167.66.131)
2023-11-27 12:53:01 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2023-11-27 12:53:17 +0100danse-nr3(~danse@151.19.227.182)
2023-11-27 13:13:13 +0100CiaoSen(~Jura@2a05:5800:2aa:8f00:2a3a:4dff:fe84:dbd5) (Ping timeout: 256 seconds)
2023-11-27 13:22:19 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 13:23:54 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 13:26:10 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 13:28:57 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 13:29:40 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 13:33:49 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-11-27 13:35:12 +0100danse-nr3(~danse@151.19.227.182) (Read error: Connection reset by peer)
2023-11-27 13:36:16 +0100danse-nr3(~danse@151.37.242.128)
2023-11-27 13:37:51 +0100seeg123456(~seeg12345@64.176.64.83)
2023-11-27 13:43:10 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2023-11-27 13:49:47 +0100Pickchea(~private@user/pickchea)
2023-11-27 13:53:45 +0100miguelnegrao(~miguelneg@2001:818:dc71:d100:f016:1b9:e7c1:3567)
2023-11-27 14:02:28 +0100foul_owl(~kerry@157.97.134.168) (Ping timeout: 276 seconds)
2023-11-27 14:06:16 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-11-27 14:15:51 +0100foul_owl(~kerry@174-21-66-189.tukw.qwest.net)
2023-11-27 14:15:58 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 14:16:07 +0100Ranhir(~Ranhir@157.97.53.139) (Read error: Connection reset by peer)
2023-11-27 14:17:25 +0100CiaoSen(~Jura@2a05:5800:2aa:8f00:2a3a:4dff:fe84:dbd5)
2023-11-27 14:20:55 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 14:21:23 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 14:24:15 +0100Ranhir(~Ranhir@157.97.53.139)
2023-11-27 14:25:12 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-11-27 14:29:52 +0100fyfor(~fyfor@152.26.89.235)
2023-11-27 14:34:40 +0100john(~john@89-253-95-178.customers.ownit.se)
2023-11-27 14:34:50 +0100john(~john@89-253-95-178.customers.ownit.se) (Client Quit)
2023-11-27 14:38:47 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-11-27 14:44:19 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
2023-11-27 14:48:25 +0100miguelnegrao(~miguelneg@2001:818:dc71:d100:f016:1b9:e7c1:3567) (Quit: miguelnegrao)
2023-11-27 14:50:41 +0100xff0x(~xff0x@2405:6580:b080:900:9596:3640:8854:825) (Ping timeout: 256 seconds)
2023-11-27 14:52:11 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-11-27 14:52:18 +0100fyfor(~fyfor@152.26.89.235) (Quit: Client closed)
2023-11-27 14:52:50 +0100xff0x(~xff0x@178.255.149.135)
2023-11-27 14:54:27 +0100sawilagar(~sawilagar@user/sawilagar)
2023-11-27 14:56:36 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 14:57:26 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 15:01:25 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
2023-11-27 15:03:57 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 15:06:31 +0100pandry(~Pandry@93-41-34-64.ip79.fastwebnet.it)
2023-11-27 15:08:18 +0100xff0x(~xff0x@178.255.149.135) (Ping timeout: 256 seconds)
2023-11-27 15:10:14 +0100xff0x(~xff0x@2405:6580:b080:900:f6fc:7981:2e92:1c0b)
2023-11-27 15:12:19 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 15:13:52 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 15:16:58 +0100myxos(~myxos@065-028-251-121.inf.spectrum.com)
2023-11-27 15:18:46 +0100ddellacosta(~ddellacos@ool-44c73d16.dyn.optonline.net) (Quit: WeeChat 4.1.1)
2023-11-27 15:18:53 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 15:18:55 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 15:19:10 +0100raym(~ray@user/raym) (Ping timeout: 268 seconds)
2023-11-27 15:19:58 +0100jinsun(~jinsun@user/jinsun) (Quit: No Ping reply in 180 seconds.)
2023-11-27 15:20:44 +0100thegeekinside(~thegeekin@189.180.53.210)
2023-11-27 15:21:06 +0100Pixi`(~Pixi@user/pixi)
2023-11-27 15:21:58 +0100jinsun(~jinsun@user/jinsun)
2023-11-27 15:22:54 +0100Pixi(~Pixi@user/pixi) (Ping timeout: 260 seconds)
2023-11-27 15:23:56 +0100shriekingnoise(~shrieking@186.137.175.87)
2023-11-27 15:27:53 +0100Square2(~Square4@user/square) (Ping timeout: 252 seconds)
2023-11-27 15:30:20 +0100mulk(~mulk@p5b2dc93f.dip0.t-ipconnect.de)
2023-11-27 15:31:12 +0100jinsun(~jinsun@user/jinsun) (Quit: No Ping reply in 180 seconds.)
2023-11-27 15:31:42 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 15:31:44 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 15:32:37 +0100ystael(~ystael@user/ystael)
2023-11-27 15:32:38 +0100jinsun(~jinsun@user/jinsun)
2023-11-27 15:36:23 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1)
2023-11-27 15:44:31 +0100Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-11-27 15:45:21 +0100fweht(uid404746@id-404746.lymington.irccloud.com)
2023-11-27 15:45:31 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-11-27 15:45:43 +0100euleritian(~euleritia@dynamic-046-114-203-019.46.114.pool.telefonica.de)
2023-11-27 15:46:01 +0100euleritian(~euleritia@dynamic-046-114-203-019.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-11-27 15:46:18 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 15:50:12 +0100A_DragonFestive_Derg
2023-11-27 15:50:13 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 15:50:31 +0100raym(~ray@user/raym)
2023-11-27 15:55:37 +0100Xyloes(~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Quit: Konversation terminated!)
2023-11-27 15:56:25 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-11-27 15:56:57 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 15:57:33 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2023-11-27 15:58:00 +0100euleritian(~euleritia@dynamic-046-114-203-019.46.114.pool.telefonica.de)
2023-11-27 15:58:19 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-11-27 15:58:40 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 15:59:47 +0100haskellbridge(~haskellbr@069-135-003-034.biz.spectrum.com)
2023-11-27 15:59:47 +0100ChanServ+v haskellbridge
2023-11-27 16:05:31 +0100qhong_(~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Remote host closed the connection)
2023-11-27 16:06:22 +0100edr(~edr@user/edr)
2023-11-27 16:08:11 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 16:12:44 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2023-11-27 16:13:16 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-11-27 16:16:34 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 16:19:04 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 16:28:51 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 16:31:00 +0100earldouglas(~james@user/earldouglas) ()
2023-11-27 16:32:14 +0100CiaoSen(~Jura@2a05:5800:2aa:8f00:2a3a:4dff:fe84:dbd5) (Ping timeout: 268 seconds)
2023-11-27 16:32:38 +0100CiaoSen(~Jura@46.167.25.154)
2023-11-27 16:38:05 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 16:48:37 +0100Alleria(~JohnGalt@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2023-11-27 16:48:46 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 16:49:32 +0100euleritian(~euleritia@dynamic-046-114-203-019.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-11-27 16:49:49 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 16:53:49 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-11-27 16:54:01 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 17:01:01 +0100Alleria(~JohnGalt@user/alleria)
2023-11-27 17:02:10 +0100santiagopim(~user@90.167.66.131) (Remote host closed the connection)
2023-11-27 17:03:49 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2023-11-27 17:04:15 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 17:04:30 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 17:04:42 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 17:04:59 +0100santiagopim(~user@90.167.66.131)
2023-11-27 17:07:37 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 17:13:22 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 17:13:23 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Read error: Connection reset by peer)
2023-11-27 17:17:15 +0100kwii(~kwii@193.19.201.71)
2023-11-27 17:19:06 +0100danse-nr3(~danse@151.37.242.128) (Ping timeout: 268 seconds)
2023-11-27 17:20:52 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-11-27 17:21:21 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 17:21:21 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2023-11-27 17:25:51 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b)
2023-11-27 17:28:47 +0100danza(~francesco@151.37.242.128)
2023-11-27 17:31:48 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.0.5)
2023-11-27 17:33:20 +0100danza(~francesco@151.37.242.128) (Read error: Connection reset by peer)
2023-11-27 17:34:36 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1)
2023-11-27 17:35:17 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-11-27 17:35:45 +0100JeremyB99(~JeremyB99@2607:fb91:17ce:3699:946:eca8:5cb1:106b) (Ping timeout: 268 seconds)
2023-11-27 17:37:03 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 17:37:10 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer)
2023-11-27 17:44:40 +0100rosco(~rosco@175.136.157.149) (Quit: Lost terminal)
2023-11-27 17:45:35 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-11-27 17:48:37 +0100danza(~francesco@151.43.236.76)
2023-11-27 17:48:51 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 17:49:11 +0100 <exarkun> is there a thing like `f <$> xs <*> ys` on [] but which preserves the inner structure (ie, gives you [[f xs0 ys0, ...], [f xs0 ys1, ...]])
2023-11-27 17:51:24 +0100 <exarkun> oh utility-ht has outerProduct
2023-11-27 17:51:30 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer)
2023-11-27 17:52:24 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2023-11-27 17:52:43 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds)
2023-11-27 17:53:03 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2023-11-27 17:55:29 +0100 <ski> > getZipList ((*) <$> ZipList [0,1,2,3] <*> ZipList [1,10,100,1000]) -- exarkun ?
2023-11-27 17:55:30 +0100 <lambdabot> [0,10,200,3000]
2023-11-27 17:55:48 +0100 <ski> hm, oh. i misread
2023-11-27 17:57:17 +0100 <ski> @let pam = flip map
2023-11-27 17:57:17 +0100 <lambdabot> Defined.
2023-11-27 17:57:19 +0100 <ski> > [0,1,2,3] `pam` \x -> [1,10,100,1000] `pam` \y -> x * y
2023-11-27 17:57:20 +0100 <lambdabot> [[0,0,0,0],[1,10,100,1000],[2,20,200,2000],[3,30,300,3000]]
2023-11-27 17:57:43 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-11-27 18:00:10 +0100 <ski> > [0,1,2,3] `pam` ([1,10,100,1000] `pam`) . (*) -- not that nice ..
2023-11-27 18:00:12 +0100 <lambdabot> [[0,0,0,0],[1,10,100,1000],[2,20,200,2000],[3,30,300,3000]]
2023-11-27 18:00:35 +0100 <ski> (that's after adding infixl 1 `pam` that is)
2023-11-27 18:01:46 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-11-27 18:02:35 +0100CiaoSen(~Jura@46.167.25.154) (Ping timeout: 268 seconds)
2023-11-27 18:02:58 +0100danza(~francesco@151.43.236.76) (Ping timeout: 276 seconds)
2023-11-27 18:05:31 +0100 <exarkun> That looks like it comes pretty close to outerProduct, maybe just with arguments shuffled around a little: outerProduct f xs ys = map (flip map ys . f) xs
2023-11-27 18:05:54 +0100 <idgaen> it seems: pam == (Functor.<&>)
2023-11-27 18:06:10 +0100 <exarkun> oh yea
2023-11-27 18:06:36 +0100 <idgaen> maybe appart for fixity
2023-11-27 18:09:17 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) (Remote host closed the connection)
2023-11-27 18:09:34 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe)
2023-11-27 18:10:07 +0100alp_(~alp@2001:861:e3d6:8f80:ec88:aa8f:d35:98fc) (Ping timeout: 276 seconds)
2023-11-27 18:10:09 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds)
2023-11-27 18:10:29 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 18:11:10 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer)
2023-11-27 18:12:48 +0100[exa](~exa@user/exa/x-3587197) (Remote host closed the connection)
2023-11-27 18:13:46 +0100 <ski> > (*) <<$>> [0,1,2,3] <<*>> [1,10,100,1000] <<*>> id -- hmm
2023-11-27 18:13:47 +0100 <lambdabot> [[0,0,0,0],[1,10,100,1000],[2,20,200,2000],[3,30,300,3000]]
2023-11-27 18:14:37 +0100 <ski> > (\x y z -> x * y + z) <<$>> [0,1,2] <<*>> [1,10,100] <<*>> [2,3,5] <<*>> id
2023-11-27 18:14:38 +0100 <lambdabot> [[[2,3,5],[2,3,5],[2,3,5]],[[3,4,6],[12,13,15],[102,103,105]],[[4,5,7],[22,2...
2023-11-27 18:15:18 +0100 <ski> the `<<*>> id' is kinda annoying. with deep sections, i could make this a little bit nicer
2023-11-27 18:15:55 +0100 <ski> > (*) <<$>> ([0,1,2,3] <<*>> [1,10,100,1000] <<|) -- alas
2023-11-27 18:15:57 +0100 <lambdabot> error:
2023-11-27 18:15:57 +0100 <lambdabot> The operator ‘<<|’ [infixr 4] of a section
2023-11-27 18:15:57 +0100 <lambdabot> must have lower precedence than that of the operand,
2023-11-27 18:17:36 +0100 <ski> idgaen : yes. i'm used to defining `pam', from when `&' and `<&>' wasn't a thing
2023-11-27 18:19:35 +0100 <idgaen> i didn't play with haskell at this old time ;)
2023-11-27 18:20:33 +0100 <ski> Haskell is how i got into IRC
2023-11-27 18:22:45 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) (Remote host closed the connection)
2023-11-27 18:28:09 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe)
2023-11-27 18:30:26 +0100chomwitt(~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1) (Read error: Connection reset by peer)
2023-11-27 18:31:25 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 18:32:54 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer)
2023-11-27 18:33:55 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 18:37:29 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2023-11-27 18:38:52 +0100 <glguy> Haskell is how I got into IRC and now Haskell is how I talk on IRC
2023-11-27 18:44:30 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-11-27 18:50:27 +0100misterfish(~misterfis@87.215.131.102) (Ping timeout: 260 seconds)
2023-11-27 18:53:40 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net)
2023-11-27 18:56:28 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-11-27 18:56:41 +0100Alleria(~JohnGalt@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2023-11-27 18:57:45 +0100trev(~trev@user/trev)
2023-11-27 19:01:43 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-11-27 19:03:25 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer)
2023-11-27 19:04:23 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-11-27 19:05:02 +0100mikess(~sam@user/mikess)
2023-11-27 19:09:49 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds)
2023-11-27 19:10:34 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) (Remote host closed the connection)
2023-11-27 19:11:01 +0100Alleria(~JohnGalt@user/alleria)
2023-11-27 19:11:17 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 19:11:22 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-11-27 19:13:36 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer)
2023-11-27 19:16:55 +0100econo_(uid147250@id-147250.tinside.irccloud.com)
2023-11-27 19:17:49 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 19:18:11 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2023-11-27 19:23:17 +0100Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-11-27 19:23:18 +0100 <zzz> haskell is how i got into mailing lists
2023-11-27 19:26:49 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2023-11-27 19:27:01 +0100euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de)
2023-11-27 19:39:45 +0100alp_(~alp@2001:861:e3d6:8f80:f8a7:a689:ef98:8f08)
2023-11-27 19:39:46 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe)
2023-11-27 19:41:26 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer)
2023-11-27 19:47:20 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 19:48:01 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer)
2023-11-27 19:49:25 +0100thegeekinside(~thegeekin@189.180.53.210) (Remote host closed the connection)
2023-11-27 19:58:30 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 20:00:42 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer)
2023-11-27 20:10:40 +0100manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck) (Quit: THE END)
2023-11-27 20:10:59 +0100manwithluck(manwithluc@gateway/vpn/protonvpn/manwithluck)
2023-11-27 20:12:32 +0100chele(~chele@user/chele) (Remote host closed the connection)
2023-11-27 20:14:14 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-11-27 20:14:34 +0100mc47(~mc47@xmonad/TheMC47)
2023-11-27 20:15:25 +0100thegeekinside(~thegeekin@189.180.53.210)
2023-11-27 20:16:02 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe) (Remote host closed the connection)
2023-11-27 20:17:38 +0100Moyst_(~moyst@user/moyst) (Ping timeout: 252 seconds)
2023-11-27 20:18:33 +0100euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) (Ping timeout: 268 seconds)
2023-11-27 20:18:46 +0100target_i(~target_i@217.175.14.39)
2023-11-27 20:18:52 +0100euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de)
2023-11-27 20:19:33 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 20:20:01 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Read error: Connection reset by peer)
2023-11-27 20:20:25 +0100Moyst_(~moyst@user/moyst)
2023-11-27 20:26:45 +0100 <kaol> Mozart (the programming language) is how I got into Haskell. One of their devs called Haskell "too linear" on their mailing list and that led me to check it out.
2023-11-27 20:27:17 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-11-27 20:29:01 +0100 <duncan> There are worse comments on mailing lists to be inspired by like the infamous Solaris "have you ever kissed a girl"
2023-11-27 20:32:52 +0100 <ski> (fwiw, Oz is the language of CTM. Mozart is the implementation)
2023-11-27 20:32:57 +0100 <mauke> https://www.youtube.com/watch?v=0hUNY9V3_TI
2023-11-27 20:33:01 +0100 <ski> @where CTM
2023-11-27 20:33:01 +0100 <lambdabot> "Concepts, Techniques, and Models of Computer Programming", by Peter Van Roy,Seif Haridi, at <http://www.info.ucl.ac.be/~pvr/book.html>
2023-11-27 20:35:04 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-11-27 20:37:45 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-11-27 20:38:28 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
2023-11-27 20:40:30 +0100 <EvanR> haskell is too linear??
2023-11-27 20:41:14 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73)
2023-11-27 20:41:26 +0100 <kaol> I won't try to dig up what someone said 20 years ago.
2023-11-27 20:42:01 +0100derpyxdhs(~Thunderbi@user/derpyxdhs)
2023-11-27 20:44:37 +0100dwt_(~dwt_@2601:2c6:8381:e5c:e82c:bcf5:266d:3c9a)
2023-11-27 20:44:38 +0100 <ski> perhaps they were talking about concurrency (including declarative concurrency) and distribution support in Oz (also in Alice ML, which used to use the same VM)
2023-11-27 20:45:41 +0100JeremyB99(~JeremyB99@2607:fb91:17c7:1121:547f:7f06:8558:1f73) (Ping timeout: 268 seconds)
2023-11-27 20:47:27 +0100 <kaol> Oz lets passing unbound variables around and any other part of the program could be waiting for someone else to bind it to a value. Funky stuff.
2023-11-27 20:48:13 +0100 <kaol> Imagine programming with evey variable being a single assignemnt MVar.
2023-11-27 20:48:28 +0100kwii(~kwii@193.19.201.71) (Ping timeout: 255 seconds)
2023-11-27 20:49:37 +0100 <exarkun> ski: That would be my take.
2023-11-27 20:50:00 +0100 <exarkun> `True || undefined` vs `undefined || True` being the standard example, I think.
2023-11-27 20:50:30 +0100 <EvanR> :t lub
2023-11-27 20:50:31 +0100 <lambdabot> error:
2023-11-27 20:50:31 +0100 <lambdabot> • Variable not in scope: lub
2023-11-27 20:50:31 +0100 <lambdabot> • Perhaps you meant one of these:
2023-11-27 20:50:41 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:c5ae:90af:10b1:51fe)
2023-11-27 20:51:16 +0100 <EvanR> :: a -> a -> a
2023-11-27 20:51:58 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds)
2023-11-27 20:52:11 +0100 <EvanR> I am now mildly curious about Oz
2023-11-27 20:55:20 +0100 <ski> in Oz, if you compare structures for equality, and some parts of them hasn't got values yet, it postpones those checks, and continues on with the rest. which may often short-circuit (in case of mismatch), abandoning the postponed checks. in case it doesn't short-circuit, your execution thread will block until it is able to decide the equality check
2023-11-27 20:55:51 +0100 <ski> Oz separates all three of (a) bringing a variable into scope; (b) binding a variable to a computation; (c) actually performing that computation
2023-11-27 20:56:21 +0100 <ski> bringing a variable into scope, without having associated it to a value yet, is akin to
2023-11-27 20:56:27 +0100 <ski> @hackage ivar-simple
2023-11-27 20:56:27 +0100 <lambdabot> https://hackage.haskell.org/package/ivar-simple
2023-11-27 20:56:33 +0100 <ski> but at a language level, not as a library
2023-11-27 20:57:34 +0100 <EvanR> languagized ivars
2023-11-27 20:57:37 +0100 <ski> it is heavily used for (e.g. declarative) concurrency, to communicate between threads. these variables are called "dataflow variables", in that context. in the traditional logic programming context, they're known as "logic variables". in a type inference context, this is "meta variables"
2023-11-27 20:58:53 +0100 <ski> (the "declarative" means that the concurrency is deterministic. so race conditions, e.g. from indeterministically merging two channels (or selecting not necessarily the first message in a mailbox), is verboten)
2023-11-27 20:59:26 +0100hgolden(~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) (Remote host closed the connection)
2023-11-27 21:00:19 +0100 <ski> it (Oz as well as Alice ML, also has support for lazy evaluation. and not in the "specific datatype" sense in which SML/NJ and OCaml supports them. but it's not the default, you need to use `lazy' (iirc) to construct such delayed values (of same type as the delayed expression))
2023-11-27 21:00:37 +0100 <ski> anyway, CTM is aquite neat book. somewhat comparable to SICP, you could say
2023-11-27 21:00:45 +0100 <monochrom> I need to read CTM some day. It may be a good way to make a "principles of programming languages" course.
2023-11-27 21:00:52 +0100 <ski> (it's also a heavy tome)
2023-11-27 21:01:30 +0100hgolden(~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com)
2023-11-27 21:02:53 +0100 <ski> they start from a small core language, which is a logic programming in nature, but without any nondeterminism (like backtracking). and they introduce execution models for it (like substitution model, and abstract machines). and they successively add more features to the language (like functions, object-orientation, mutable state, declarative concurrency, non-declarative concurrency, "engines" for
2023-11-27 21:02:59 +0100 <ski> backtracking and constraint programming, &c.)
2023-11-27 21:03:18 +0100 <monochrom> OTOH I feel bad about tellling my students to buy a us$100 book.
2023-11-27 21:03:27 +0100 <ski> yea .. there's that
2023-11-27 21:04:32 +0100 <monochrom> For us$100 I am OK with eg CLRS (Intro to Algorithms) because it lasts for multiple courses and additional interests in programming, data structures, algorithms.
2023-11-27 21:05:02 +0100 <ski> "Programming Language Design Concepts" by David A. Watt,(William Findlay) in 2004 is a quite nice book, covering multiple paradigms and concepts
2023-11-27 21:05:18 +0100 <monochrom> But a Principle of Prog Langs books lasts for only one course and very tangential for 99% of students.
2023-11-27 21:05:44 +0100alp_(~alp@2001:861:e3d6:8f80:f8a7:a689:ef98:8f08) (Ping timeout: 268 seconds)
2023-11-27 21:05:47 +0100 <ski> it contains a bunch of "principles" that are useful to consider, when you're designing your new language
2023-11-27 21:05:54 +0100 <ski> "Type Completeness Principle : No operation should be arbitrarily restricted in the types of its operands."
2023-11-27 21:06:06 +0100 <ski> "Qualification Principle : It is possible to include a block in any syntactic category, provided that the constructs in that syntactic category specify some kind of computation."
2023-11-27 21:06:22 +0100 <ski> "Abstraction Principle : It is possible to design procedures that abstract over any syntactic category, provided only that the constructs in that syntactic category specify some kind of computation. (For example, proper procedures abstract over commands, and function procedures abstract over expressions.)"
2023-11-27 21:06:35 +0100 <ski> "Correspondence Principle : For each form of declaration there exists a corresponding parameter mechanism. (For example, a constant declaration corresponds to a constant parameter, and a variable declaration with initialization corresponds to a copy-in parameter.)"
2023-11-27 21:07:48 +0100skinods to monochrom
2023-11-27 21:07:52 +0100xigua(~xigua@user/xigua) (Remote host closed the connection)
2023-11-27 21:08:21 +0100[exa](~exa@user/exa/x-3587197)
2023-11-27 21:08:27 +0100xigua(~xigua@user/xigua)
2023-11-27 21:09:26 +0100 <monochrom> Dystopia solution: Principles of Prog Langs should be 3 courses. :D
2023-11-27 21:09:49 +0100 <monochrom> Now it warrants a us$100 book. >:)
2023-11-27 21:10:38 +0100migas9(~migas@static.140.65.63.178.clients.your-server.de) (Remote host closed the connection)
2023-11-27 21:10:55 +0100migas9(~migas@static.140.65.63.178.clients.your-server.de)
2023-11-27 21:13:04 +0100 <ski> why dystopia ?
2023-11-27 21:13:20 +0100Pickchea(~private@user/pickchea)
2023-11-27 21:13:33 +0100 <ski> EvanR : yea, `lub' and `lvish' are kinda related to this, as well
2023-11-27 21:13:33 +0100 <monochrom> Ideal but evil. >:)
2023-11-27 21:13:46 +0100ski. o O ( ideavil )
2023-11-27 21:14:06 +0100 <ski> @hackage lvish
2023-11-27 21:14:06 +0100 <lambdabot> https://hackage.haskell.org/package/lvish
2023-11-27 21:15:21 +0100chomwitt(~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1)
2023-11-27 21:22:21 +0100phma_(~phma@host-67-44-208-32.hnremote.net)
2023-11-27 21:22:48 +0100trev(~trev@user/trev) (Quit: trev)
2023-11-27 21:23:31 +0100phma(~phma@2001:5b0:211b:ddc8:706f:10c0:4024:fd94) (Read error: Connection reset by peer)
2023-11-27 21:27:17 +0100phma_phma
2023-11-27 21:28:58 +0100Feuermagier(~Feuermagi@user/feuermagier)
2023-11-27 21:31:55 +0100Ranhir(~Ranhir@157.97.53.139) (Read error: Connection reset by peer)
2023-11-27 21:32:04 +0100derpyxdhs(~Thunderbi@user/derpyxdhs) (Quit: derpyxdhs)
2023-11-27 21:32:34 +0100danza(~francesco@151.19.252.223)
2023-11-27 21:37:02 +0100pavonia(~user@user/siracusa)
2023-11-27 21:41:16 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-11-27 21:41:18 +0100misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-11-27 21:41:48 +0100kwii(~kwii@193.19.201.71)
2023-11-27 21:42:31 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2023-11-27 21:45:37 +0100danza(~francesco@151.19.252.223) (Ping timeout: 255 seconds)
2023-11-27 21:49:09 +0100dwt__(~dwt_@2601:2c6:8381:e5c:dd3f:aa26:2c0f:5acf)
2023-11-27 21:49:49 +0100remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz) (Quit: Bye!)
2023-11-27 21:50:26 +0100dhil(~dhil@2001:8e0:2014:3100:b2f1:d5be:95a9:417) (Ping timeout: 268 seconds)
2023-11-27 21:51:05 +0100remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz)
2023-11-27 21:52:54 +0100dwt_(~dwt_@2601:2c6:8381:e5c:e82c:bcf5:266d:3c9a) (Ping timeout: 268 seconds)
2023-11-27 21:57:33 +0100alp_(~alp@2001:861:e3d6:8f80:f585:6c5a:3238:c393)
2023-11-27 22:00:15 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-11-27 22:02:24 +0100 <iqubic> Are people here ready for Advent Of Code?
2023-11-27 22:11:44 +0100 <EvanR> trying to figure out which language to use
2023-11-27 22:14:57 +0100 <exarkun> have you heard of Oz
2023-11-27 22:15:04 +0100 <exarkun> I hear it's great
2023-11-27 22:19:32 +0100alp_(~alp@2001:861:e3d6:8f80:f585:6c5a:3238:c393) (Ping timeout: 256 seconds)
2023-11-27 22:27:59 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-11-27 22:28:21 +0100 <iqubic> is there a good way to bulk edit a ton of files? I have DayTemplate.hs on my computer, and I want to create 25 files of the form DayXX.hs, where I take the template, rename it, and modify it a bit for each day.
2023-11-27 22:28:36 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-11-27 22:29:28 +0100 <darkling> sed?
2023-11-27 22:29:28 +0100 <iqubic> https://dpaste.com/EDC3SXXYY
2023-11-27 22:29:40 +0100 <iqubic> sed might work.
2023-11-27 22:30:08 +0100target_i(~target_i@217.175.14.39) (Quit: leaving)
2023-11-27 22:30:27 +0100 <iqubic> https://dpaste.com/5A974D9HY
2023-11-27 22:30:47 +0100 <iqubic> That's the example of what I want to do for Day02.
2023-11-27 22:31:07 +0100 <hc> sed might work and it's even turing complete and I'm sure there is a sed DSL that transforms to haskell ;p
2023-11-27 22:32:33 +0100 <iqubic> I want a file called Day02.hs, I want the file name to be to be zero padded when a single digit, but I don't want the number in the last line to be zero padded ever.
2023-11-27 22:32:51 +0100 <iqubic> But, I want to do that for all 25 days.
2023-11-27 22:35:46 +0100 <darkling> Write the template with @NUMPADDED@ and @NUM@ in it, and replace those strings. You can do the zero-padding with the shell command printf.
2023-11-27 22:36:11 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2023-11-27 22:36:51 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-11-27 22:38:08 +0100 <iqubic> darkling: I have this: https://dpaste.com/8G7L7NMJE
2023-11-27 22:38:18 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-11-27 22:38:22 +0100 <darkling> nump=$(printf %02d $num) sed -e s/@NUM@/$num/g -e s/@NUMPADDED@/$nump/g <template.hs >day$nump.hs
2023-11-27 22:38:48 +0100 <darkling> I haven't actually run that, but it's close at least.
2023-11-27 22:39:01 +0100 <iqubic> Can I get that to do all 25 days?
2023-11-27 22:39:12 +0100 <darkling> You can wrap it in "for num in $(seq 1 25); do ...; done"
2023-11-27 22:41:07 +0100kwii(~kwii@193.19.201.71) (Remote host closed the connection)
2023-11-27 22:41:14 +0100 <darkling> Oh, semicolon before the sed.
2023-11-27 22:41:31 +0100 <darkling> And "export" before the initial "nump="
2023-11-27 22:43:14 +0100 <yushyin> iqubic: the last time i did aoc in haskell, i used a haskell script (cabal shebang) that generates the 25 files from a template. all in on haskell! ;)
2023-11-27 22:43:44 +0100 <iqubic> Cool..
2023-11-27 22:45:56 +0100 <iqubic> I've got it working now. Thanks darkling!
2023-11-27 22:50:22 +0100YoungFrog(~youngfrog@2a02:a03f:ca07:f900:49c4:337a:ff0f:d4e1) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2023-11-27 22:50:42 +0100YoungFrog(~youngfrog@2a02:a03f:ca07:f900:3d37:6f51:8df5:683d)
2023-11-27 22:51:58 +0100Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-11-27 23:00:29 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-11-27 23:03:28 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2023-11-27 23:03:50 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-11-27 23:08:10 +0100AlienCipher(~AlienCiph@113.164.176.43) (Quit: Client closed)
2023-11-27 23:09:49 +0100[_](~itchyjunk@user/itchyjunk/x-7353470)
2023-11-27 23:12:05 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
2023-11-27 23:12:48 +0100remexre(~remexre@user/remexre) (Ping timeout: 256 seconds)
2023-11-27 23:13:41 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds)
2023-11-27 23:15:31 +0100not_reserved(~not_reser@45.144.113.233) (Quit: Client closed)
2023-11-27 23:17:56 +0100remexre(~remexre@user/remexre)
2023-11-27 23:20:15 +0100Guest25(~Guest83@c-24-143-111-66.customer.broadstripe.net)
2023-11-27 23:25:15 +0100Pickchea(~private@user/pickchea)
2023-11-27 23:25:20 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2023-11-27 23:26:01 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 276 seconds)
2023-11-27 23:27:14 +0100hulkavinci(~user@2a00:23ee:2220:2152:6d77:7e45:63d8:9bbd)
2023-11-27 23:32:36 +0100kspalaiologos(~kspalaiol@user/kspalaiologos) (Quit: Leaving)
2023-11-27 23:34:55 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
2023-11-27 23:35:44 +0100 <hulkavinci> hello
2023-11-27 23:36:11 +0100 <hulkavinci> anybody have a good resource on doing geometry with haskell? both proofs and 2D diagrams etc
2023-11-27 23:36:16 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-11-27 23:36:18 +0100Guest25(~Guest83@c-24-143-111-66.customer.broadstripe.net) (Quit: Client closed)
2023-11-27 23:37:06 +0100Sgeo(~Sgeo@user/sgeo)
2023-11-27 23:37:09 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2023-11-27 23:38:54 +0100 <monochrom> Haskell? LaTeX? :)
2023-11-27 23:39:03 +0100 <hulkavinci> ...
2023-11-27 23:40:41 +0100jrm(~jrm@user/jrm) (Quit: ciao)
2023-11-27 23:41:52 +0100euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-11-27 23:42:18 +0100jrm(~jrm@user/jrm)
2023-11-27 23:42:20 +0100euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de)
2023-11-27 23:43:07 +0100 <hulkavinci> I want something dynamic but don't want to focus on graphics programming etc
2023-11-27 23:44:05 +0100hulkavinci(~user@2a00:23ee:2220:2152:6d77:7e45:63d8:9bbd) (sayonara)
2023-11-27 23:45:00 +0100euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-11-27 23:45:13 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 246 seconds)
2023-11-27 23:45:17 +0100euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de)
2023-11-27 23:45:54 +0100 <ski> maybe `diagrams' ?
2023-11-27 23:46:10 +0100euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-11-27 23:46:41 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 23:48:22 +0100mikess(~sam@user/mikess) (Read error: Connection reset by peer)
2023-11-27 23:48:23 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-11-27 23:48:43 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 23:50:43 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-11-27 23:52:14 +0100euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de)
2023-11-27 23:52:16 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-11-27 23:53:27 +0100euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-11-27 23:53:51 +0100euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de)
2023-11-27 23:54:37 +0100acidjnk(~acidjnk@p200300d6e72b935790ce6c45c9ff7d13.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2023-11-27 23:54:37 +0100euleritian(~euleritia@dynamic-046-114-205-177.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-11-27 23:55:05 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 23:55:35 +0100Axma32854Axman6
2023-11-27 23:56:24 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-11-27 23:57:00 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-11-27 23:57:11 +0100oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel)
2023-11-27 23:59:00 +0100__monty__(~toonn@user/toonn) (Quit: leaving)