Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3882 3883 3884 3885 3886 3887 3888 3889 3890 3891 3892 .. 5022
— 502,152 events total
2021-03-18 00:51:35 <Axman6> called*
2021-03-18 00:51:37 → Tario joins (~Tario@201.192.165.173)
2021-03-18 00:51:43 <spidr> so it's not a thing outside of maybe?
2021-03-18 00:51:53 hackage wai-middleware-auth 0.2.4.1 - Authentication middleware that secures WAI application https://hackage.haskell.org/package/wai-middleware-auth-0.2.4.1 (lehins)
2021-03-18 00:52:02 → hololeap joins (~hololeap@unaffiliated/hololeap)
2021-03-18 00:52:05 <sshine_> spidr, yeah so maybe it'd be nicer if everything that got defined was at some point on the left-hand side of an '=', but the data declaration creates a bunch of things, including Just.
2021-03-18 00:52:08 <monochrom> You need to open to the possibility that one single line of code declares a dozen things at once.
2021-03-18 00:52:16 <Axman6> data MyType a b = AnA a | AB b BothAAndB a b -- defines three constructors
2021-03-18 00:52:53 <Axman6> some people find the GADT syntax a little simpler to understand
2021-03-18 00:52:54 <spidr> yea I'm only up to chapter 7 I should just keep reading
2021-03-18 00:52:58 <Axman6> data Maybe a where
2021-03-18 00:53:07 <monochrom> (f, g, h) = ((\x -> x + 1), (\y -> sqrt y - sqrt 2), sin . cos) is one single line that declares and defines 3 functions f, g, h.
2021-03-18 00:53:09 <Axman6> Nothing :: Maybe a
2021-03-18 00:53:15 <Axman6> Just :: a -> Maybe a
2021-03-18 00:53:25 <Axman6> (indentation is hard)
2021-03-18 00:53:29 <sshine_> spidr, when you also have 'deriving (Eq, Ord)' at the end, the declaration even auto-generates '==', '<=', etc. operators with some expectably meaningful definitions...
2021-03-18 00:53:45 <monochrom> "foo, bar, quuz :: Int -> Int" is also possible when it comes to writing types.
2021-03-18 00:53:52 × epicte7us quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 276 seconds)
2021-03-18 00:54:10 <spidr> Axman6: that way of writing it made more sense
2021-03-18 00:54:12 <spidr> thanks a bunch
2021-03-18 00:54:14 <sshine_> spidr, e.g. even though we don't know what 'a' is, we get 'Eq a => Eq (Maybe a)' for free when 'deriving Eq' is present. so say you have a Maybe Int, then because Int is an instance of Eq, so is Maybe Int once 'deriving Eq' is enabled for this data declaration.
2021-03-18 00:54:18 × gOOgler_ quits (uid125351@gateway/web/irccloud.com/x-xqfkukcjcgrzokzf) (Quit: Connection closed for inactivity)
2021-03-18 00:55:16 <sshine_> spidr, the data declaration also lets you do pattern matching using Just/Nothing, so they're not just value constructors at this point.
2021-03-18 00:56:00 <Axman6> the default ADT syntax in Haskell can be quite confusing because it mixes together value level and type level things
2021-03-18 00:56:03 → rajivr joins (uid269651@gateway/web/irccloud.com/x-wwtzhstalquejfsh)
2021-03-18 00:56:25 × average quits (uid473595@gateway/web/irccloud.com/x-fgnpvzuoluocxrze) (Quit: Connection closed for inactivity)
2021-03-18 00:56:30 × acidjnk_new quits (~acidjnk@p200300d0c72b959625b3d356e6f65619.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2021-03-18 00:58:51 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-hdpxwxnieogneqtd) (Quit: Connection closed for inactivity)
2021-03-18 01:00:20 × finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-03-18 01:00:40 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-03-18 01:00:46 × Zialus quits (~RMF@2001:818:de63:c300:211:32ff:fe8d:ad29) (Quit: i'm out!)
2021-03-18 01:00:54 → Deide joins (~Deide@217.155.19.23)
2021-03-18 01:02:19 → Zialus joins (~RMF@2001:818:de63:c300:211:32ff:fe8d:ad29)
2021-03-18 01:03:20 → vs^ joins (~hph@ip98-184-89-2.mc.at.cox.net)
2021-03-18 01:03:21 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-18 01:03:45 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-18 01:03:59 → finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-18 01:04:03 × Deide quits (~Deide@217.155.19.23) (Client Quit)
2021-03-18 01:04:38 → Deide joins (~Deide@217.155.19.23)
2021-03-18 01:09:28 → Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6)
2021-03-18 01:15:24 × Tario quits (~Tario@201.192.165.173) (Remote host closed the connection)
2021-03-18 01:15:27 <cheater> it takes some learning
2021-03-18 01:15:47 <cheater> but i've come to love it over any other syntax for defining sum and product types
2021-03-18 01:15:54 × conal quits (~conal@66.115.157.150) (Quit: Computer has gone to sleep.)
2021-03-18 01:16:05 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-18 01:16:21 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-18 01:16:21 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 246 seconds)
2021-03-18 01:17:44 → Tario joins (~Tario@201.192.165.173)
2021-03-18 01:20:23 × kadoban__ quits (~mud@unaffiliated/kadoban) (Quit: bye)
2021-03-18 01:20:44 <spidr> sorry had some work come up, but thanks I'll keep reading
2021-03-18 01:21:02 → conal joins (~conal@66.115.157.150)
2021-03-18 01:23:59 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-18 01:24:26 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-18 01:24:35 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-18 01:25:22 × kupi quits (uid212005@gateway/web/irccloud.com/x-tdvzqgwujuhompnu) (Quit: Connection closed for inactivity)
2021-03-18 01:26:47 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-18 01:27:14 → Guest94966 joins (~zmv@unaffiliated/zmv)
2021-03-18 01:28:48 Guest94966 is now known as notzmv
2021-03-18 01:28:48 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds)
2021-03-18 01:30:31 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-18 01:31:02 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-18 01:31:13 × ozataman quits (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-03-18 01:31:17 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-jjnzgdxflmbqonhf) (Quit: Connection closed for inactivity)
2021-03-18 01:32:21 × Wizek quits (uid191769@gateway/web/irccloud.com/x-zjzbzpbnvynaguao) (Quit: Connection closed for inactivity)
2021-03-18 01:32:21 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-18 01:32:35 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-18 01:34:11 → DTZUZU joins (~DTZUZO@205.ip-149-56-132.net)
2021-03-18 01:35:24 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-03-18 01:35:29 → augnun joins (~augnun@2804:14c:658b:41bb:765b:76f0:4857:5bd2)
2021-03-18 01:36:23 hackage ory-kratos 0.0.5.8 - API bindings for Ory Kratos https://hackage.haskell.org/package/ory-kratos-0.0.5.8 (njaremko)
2021-03-18 01:36:23 → hidedagger joins (~nate@unaffiliated/hidedagger)
2021-03-18 01:37:08 × sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Ping timeout: 245 seconds)
2021-03-18 01:39:38 × Gurkenglas_ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 245 seconds)
2021-03-18 01:42:03 → Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net)
2021-03-18 01:42:13 × son0p quits (~son0p@181.58.39.182) (Quit: leaving)
2021-03-18 01:44:23 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-18 01:44:30 × elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2021-03-18 01:44:43 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-18 01:44:50 × lewky quits (~lewky@159.65.37.240) (Remote host closed the connection)
2021-03-18 01:45:13 → lewky joins (~lewky@159.65.37.240)
2021-03-18 01:45:40 → kadoban_ joins (~mud@unaffiliated/kadoban)
2021-03-18 01:46:33 × benkolera quits (uid285671@gateway/web/irccloud.com/x-phaufigullyuswqk) (Quit: Connection closed for inactivity)
2021-03-18 01:47:07 × jespada quits (~jespada@90.254.243.187) (Ping timeout: 265 seconds)
2021-03-18 01:47:22 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-18 01:47:44 × kadoban_ quits (~mud@unaffiliated/kadoban) (Client Quit)
2021-03-18 01:48:17 → jespada joins (~jespada@90.254.243.187)
2021-03-18 01:49:25 × lewky quits (~lewky@159.65.37.240) (Remote host closed the connection)
2021-03-18 01:49:28 → slack1256 joins (~slack1256@dvc-186-186-101-190.movil.vtr.net)
2021-03-18 01:49:56 × hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 3.1)
2021-03-18 01:50:02 → lewky joins (~lewky@159.65.37.240)
2021-03-18 01:50:55 × lewky quits (~lewky@159.65.37.240) (Client Quit)
2021-03-18 01:50:56 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-18 01:51:19 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-18 01:51:37 → lewky joins (~lewky@159.65.37.240)
2021-03-18 01:52:03 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-03-18 01:55:07 × lewky quits (~lewky@159.65.37.240) (Client Quit)
2021-03-18 01:56:24 → lewky joins (~lewky@159.65.37.240)
2021-03-18 01:56:25 × lewky quits (~lewky@159.65.37.240) (Client Quit)
2021-03-18 01:56:34 → elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-18 01:57:52 → lewky joins (~lewky@159.65.37.240)
←Prev  Next→
Page 1 .. 3882 3883 3884 3885 3886 3887 3888 3889 3890 3891 3892 .. 5022

All times are in UTC.