Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 925 926 927 928 929 930 931 932 933 934 935 .. 5022
— 502,152 events total
2020-10-29 00:06:16 <koz_> LOL
2020-10-29 00:06:33 × keep_learning quits (~keep_lear@43.231.26.152) (Quit: Leaving)
2020-10-29 00:07:13 → avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz)
2020-10-29 00:07:24 × ph88 quits (~ph88@2a02:8109:9e40:2704:f4dc:2c7e:f773:7bca) (Quit: Leaving)
2020-10-29 00:08:10 <Axman6> probably a better relative than Axman13, the dumbass blacksheep of the family: https://newgrounds.fandom.com/wiki/Dot_Dot_Dot_-_Animated
2020-10-29 00:08:51 <MarcelineVQ> the cutscenes were pretty good
2020-10-29 00:08:59 <koz_> Well, new family is always nice to discover.
2020-10-29 00:09:14 <koz_> Good work for someone with axes for hands for sure.
2020-10-29 00:09:25 <MarcelineVQ> I think mick would be sad to know he's still best known for dot dot dot :>
2020-10-29 00:09:33 <Axman6> You only press One ButtEN!
2020-10-29 00:10:16 <koz_> Yeah, so you can do it with the flat of the axe.
2020-10-29 00:10:21 <koz_> So you don't ruin your keyboard.
2020-10-29 00:10:42 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-10-29 00:11:25 <hololeap> i imagined them using a giant keyboard with stumps for keys
2020-10-29 00:11:27 <koz_> I think our branch of the family made different strategic choices, as I'm (actually) related to someone who goes by 'daggerman13' online.
2020-10-29 00:13:08 → Varis joins (~Tadas@unaffiliated/varis)
2020-10-29 00:13:44 <wretchswollen> Axman6, sorry what's the trick to get fizzbuzz to work in ghci . I'm getting "Illegal view pattern" for the lambda part
2020-10-29 00:16:21 <tput> :set -XViewPatterns
2020-10-29 00:16:28 × solonarv quits (~solonarv@astrasbourg-653-1-117-122.w90-33.abo.wanadoo.fr) (Ping timeout: 265 seconds)
2020-10-29 00:17:09 <wretchswollen> oh thanks tput
2020-10-29 00:17:16 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-10-29 00:22:31 → damianfral4 joins (~damianfra@173.red-37-12-232.dynamicip.rima-tde.net)
2020-10-29 00:25:21 × ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ...zzzZZZ)
2020-10-29 00:31:31 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-29 00:32:09 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-10-29 00:32:20 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 256 seconds)
2020-10-29 00:35:04 × wretchswollen quits (~john@128.32.176.159) (Ping timeout: 240 seconds)
2020-10-29 00:35:55 × ulidtko|k quits (~ulidtko@193.111.48.79) (Remote host closed the connection)
2020-10-29 00:36:08 → pthariensflame joins (~pthariens@2600:6c52:7280:100:402a:573f:3489:c595)
2020-10-29 00:36:09 × dansho quits (~dansho@ip68-108-167-185.lv.lv.cox.net) (Remote host closed the connection)
2020-10-29 00:36:26 × pthariensflame quits (~pthariens@2600:6c52:7280:100:402a:573f:3489:c595) (Client Quit)
2020-10-29 00:36:43 → wretchswollen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-29 00:36:57 hackage sbv 8.9 - SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. https://hackage.haskell.org/package/sbv-8.9 (LeventErkok)
2020-10-29 00:38:20 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-29 00:39:08 × m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 260 seconds)
2020-10-29 00:41:01 → jud joins (~jud@cpe-70-113-106-222.austin.res.rr.com)
2020-10-29 00:41:01 × jud quits (~jud@cpe-70-113-106-222.austin.res.rr.com) (Changing host)
2020-10-29 00:41:01 → jud joins (~jud@unaffiliated/jud)
2020-10-29 00:41:04 × wretchswollen quits (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2020-10-29 00:42:45 × damianfral4 quits (~damianfra@173.red-37-12-232.dynamicip.rima-tde.net) (Ping timeout: 240 seconds)
2020-10-29 00:44:52 × nyaomi quits (~naomi@2604:6000:1509:c86e:c878:29ff:fedf:ce89) (Quit: meow)
2020-10-29 00:48:56 → christo joins (~chris@81.96.113.213)
2020-10-29 00:49:04 × taurux quits (~taurux@net-188-216-115-134.cust.vodafonedsl.it) (Ping timeout: 240 seconds)
2020-10-29 00:49:57 × djellemah quits (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 260 seconds)
2020-10-29 00:50:24 → djellemah joins (~djellemah@c-73-12-31-179.hsd1.va.comcast.net)
2020-10-29 00:51:01 → taurux joins (~taurux@net-188-216-115-134.cust.vodafonedsl.it)
2020-10-29 00:51:26 → poorlyknitmonad joins (2edfa393@HSI-KBW-46-223-163-147.hsi.kabel-badenwuerttemberg.de)
2020-10-29 00:53:41 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:1c75:523e:ddcb:cd98)
2020-10-29 00:53:56 → tflgen2 joins (~tflgen2@178.162.212.214)
2020-10-29 00:56:17 → damianfral4 joins (~damianfra@173.red-37-12-232.dynamicip.rima-tde.net)
2020-10-29 01:01:53 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-29 01:05:05 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-29 01:07:44 → alp_ joins (~alp@2a01:e0a:58b:4920:589a:775e:5f4f:1d0b)
2020-10-29 01:08:19 → vonfry joins (~user@178.128.212.63)
2020-10-29 01:08:33 × alp quits (~alp@2a01:e0a:58b:4920:494c:d829:c480:230f) (Ping timeout: 272 seconds)
2020-10-29 01:09:57 × nineonine quits (~textual@216.81.48.202) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-29 01:09:57 hackage which 0.1.0.1 - Determine the full path to an executable. https://hackage.haskell.org/package/which-0.1.0.1 (abrar)
2020-10-29 01:11:04 × Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 260 seconds)
2020-10-29 01:14:32 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-10-29 01:14:47 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2020-10-29 01:19:44 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds)
2020-10-29 01:19:58 → Lord_of_Life joins (~Lord@46.217.220.26)
2020-10-29 01:20:30 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-10-29 01:22:54 → nyaomi joins (~naomi@cpe-74-75-6-125.maine.res.rr.com)
2020-10-29 01:23:51 × notnatebtw quits (~nate@125.161.130.165) (Quit: WeeChat 2.9)
2020-10-29 01:24:10 × poorlyknitmonad quits (2edfa393@HSI-KBW-46-223-163-147.hsi.kabel-badenwuerttemberg.de) (Remote host closed the connection)
2020-10-29 01:35:00 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-29 01:35:16 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds)
2020-10-29 01:35:43 → magnuscake joins (~magnuscak@103.44.33.121)
2020-10-29 01:36:44 × darjeeling_ quits (~darjeelin@115.215.42.47) (Ping timeout: 240 seconds)
2020-10-29 01:36:50 <magnuscake> Hey guys. So I'm currently diving into understanding typeclass and instances and I came across this syntax
2020-10-29 01:36:58 <magnuscake> data Trivial =
2020-10-29 01:37:05 <magnuscake> Trivial'
2020-10-29 01:37:13 <magnuscake> instance Eq Trivial where
2020-10-29 01:37:25 <magnuscake> Trivial' == Trivial' = True
2020-10-29 01:37:32 <magnuscake> My question is why are we using Trivial' instead of Trivial? Don't they technically mean the same thing?
2020-10-29 01:37:47 <c_wraith> One is the name of the type, the other is the name of the constructor
2020-10-29 01:37:58 <c_wraith> did you misread "data" as "type" in the declaration?
2020-10-29 01:38:12 <c_wraith> I wish introductory materials never mentioned "type". It more or less shouldn't be used.
2020-10-29 01:38:26 <magnuscake> Sorry so Trivial' is the type in this case?
2020-10-29 01:38:36 × alp_ quits (~alp@2a01:e0a:58b:4920:589a:775e:5f4f:1d0b) (Ping timeout: 268 seconds)
2020-10-29 01:38:43 <c_wraith> No, Trivial is the type. Trivial' is the data constructor
2020-10-29 01:39:17 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-29 01:39:32 <magnuscake> Ah yeah that makes sense
2020-10-29 01:40:05 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-29 01:40:33 <magnuscake> Yeah it does make it difficult to keep track of type and constructor in the beginning
2020-10-29 01:41:37 × polyrain quits (~polyrain@2001:8003:e501:6901:e039:127e:3f21:3e4c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-29 01:41:56 <c_wraith> The funny thing is that I'm sure that example used that because they think it's too confusing when a type and its constructor have the same name
2020-10-29 01:42:18 <c_wraith> Even though I'm sure no one has ever been confused by (,) having the same name as a type and as a constructor
2020-10-29 01:46:13 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-29 01:46:57 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-29 01:51:40 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2020-10-29 01:52:15 × mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Ping timeout: 272 seconds)
2020-10-29 01:54:55 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-29 01:55:07 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:1c75:523e:ddcb:cd98) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-29 01:55:58 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-roarfkilnkqrlcqj) (Quit: Connection closed for inactivity)
2020-10-29 01:59:08 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-29 02:00:02 → wei2912 joins (~wei2912@unaffiliated/wei2912)
2020-10-29 02:00:03 × milessabin quits (sid86799@gateway/web/irccloud.com/x-tsnesmrcjrlroviv) (Read error: Connection reset by peer)
2020-10-29 02:00:12 × Kamuela quits (sid111576@gateway/web/irccloud.com/x-sdeipatzzilccgnx) (Ping timeout: 260 seconds)
←Prev  Next→
Page 1 .. 925 926 927 928 929 930 931 932 933 934 935 .. 5022

All times are in UTC.