Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 791 792 793 794 795 796 797 798 799 800 801 .. 5022
— 502,152 events total
2020-10-22 01:42:05 × bartemius quits (~bartemius@109.252.20.20) (Ping timeout: 240 seconds)
2020-10-22 01:43:54 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-10-22 01:44:38 <Squarism> Not figuring this one out https://paste.ofcode.org/zV4YWsC9kWpaW6L7ZrVg9G
2020-10-22 01:44:45 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2020-10-22 01:44:54 × mozzarella quits (~sam@unaffiliated/sam113101) (Quit: WeeChat 2.8)
2020-10-22 01:45:42 <Squarism> It seems im not able to prioritize between the instances on row 10 and 16, even if that on 16 is more specific
2020-10-22 01:47:12 → nineonine joins (~textual@216-19-190-182.dyn.novuscom.net)
2020-10-22 01:48:15 <Squarism> ...im on ghc 8.6.5 if that helps explaining it
2020-10-22 01:48:56 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-22 01:49:10 → plutoniix joins (~q@175.176.222.7)
2020-10-22 01:49:31 → sqrt2_ joins (~ben@unaffiliated/sqrt2)
2020-10-22 01:49:52 → wei2912 joins (~wei2912@unaffiliated/wei2912)
2020-10-22 01:50:20 × sqrt2 quits (~ben@unaffiliated/sqrt2) (Ping timeout: 272 seconds)
2020-10-22 01:56:05 × jespada quits (~jespada@90.254.245.15) (Ping timeout: 240 seconds)
2020-10-22 01:56:18 × AceNovo quits (~chris@67-42-33-191.phnx.qwest.net) (Quit: Konversation terminated!)
2020-10-22 01:56:33 × xff0x quits (~fox@2001:1a81:529c:a900:2bcb:163b:75a7:c7de) (Ping timeout: 272 seconds)
2020-10-22 01:56:42 → AceNovo joins (~chris@67-42-33-191.phnx.qwest.net)
2020-10-22 01:57:27 → jespada joins (~jespada@90.254.243.98)
2020-10-22 01:57:46 → xff0x joins (~fox@2001:1a81:52d2:ca00:89ce:9368:e8a5:941e)
2020-10-22 01:58:41 × AceNovo quits (~chris@67-42-33-191.phnx.qwest.net) (Remote host closed the connection)
2020-10-22 02:02:55 <monsterchrom> Haha great, I'm going to troll my students with the Yoneda lemma!
2020-10-22 02:04:54 <monsterchrom> I'll put this question about parametric polymorphism on the exam. I have a mysterious function f :: (Int -> a) -> [a]. I tell you just one test case: f id = [1,2,3]. Now tell me what f does in general.
2020-10-22 02:05:51 → gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2020-10-22 02:06:46 lagothrix is now known as Guest47596
2020-10-22 02:06:51 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-10-22 02:08:12 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-22 02:08:42 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-22 02:09:56 × Guest47596 quits (~lagothrix@unaffiliated/lagothrix) (Ping timeout: 256 seconds)
2020-10-22 02:09:58 <dolio> monsterchrom: https://www.cs.bham.ac.uk/~mhe/yoneda/yoneda.html
2020-10-22 02:11:18 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-22 02:14:36 → whatisRT joins (~whatisRT@2002:5b41:6a33:0:61c5:a3a1:1437:ebe5)
2020-10-22 02:17:14 × theDon quits (~td@94.134.91.5) (Ping timeout: 256 seconds)
2020-10-22 02:18:54 → theDon joins (~td@94.134.91.18)
2020-10-22 02:18:56 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2020-10-22 02:20:29 <Squarism> monsterchrom, was that in reference to my post? Seems my problem overlaps a little.
2020-10-22 02:21:05 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-22 02:23:55 <monsterchrom> No.
2020-10-22 02:25:10 × StoneToad quits (~StoneToad@199-167-119-239.ppp.storm.ca) (Ping timeout: 256 seconds)
2020-10-22 02:25:24 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:1011:f6ff:ef38:476)
2020-10-22 02:25:38 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-22 02:26:11 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-22 02:26:44 → StoneToad joins (~StoneToad@199-167-119-239.ppp.storm.ca)
2020-10-22 02:29:52 → drbean joins (~drbean@TC210-63-209-12.static.apol.com.tw)
2020-10-22 02:31:10 → GyroW_ joins (~GyroW@d54c03e98.access.telenet.be)
2020-10-22 02:31:10 × GyroW_ quits (~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-22 02:31:10 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-22 02:32:03 → thir joins (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-22 02:32:11 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-22 02:32:53 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
2020-10-22 02:36:20 × thir quits (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2020-10-22 02:36:51 → veverak joins (~squirrel@ip-89-102-98-161.net.upcbroadband.cz)
2020-10-22 02:38:50 <c_wraith> halloween names are contagious
2020-10-22 02:38:56 <c_wraith> wait, I've been a monster this whole time
2020-10-22 02:39:45 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-22 02:42:18 → christo joins (~chris@81.96.113.213)
2020-10-22 02:43:18 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-22 02:44:30 <justsomeguy> monsterchrom: Something like “f :: (Int -> a) -> [a]; f g = map ((\x -> undefined) . g) [undefined]”? (I'm a beginner, and thought I'd give this a shot.)
2020-10-22 02:45:13 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-22 02:45:16 <monsterchrom> c_wraith: Take on a human nick so it counts as a costume from your POV >:)
2020-10-22 02:46:15 <justsomeguy> No, wait, that doesn't match the test case. I just got focused on matching the type signature. :^p
2020-10-22 02:48:20 → shafox joins (~shafox@106.51.234.111)
2020-10-22 02:48:31 justsomeguy would fail monsterchroms test
2020-10-22 02:49:00 <shafox> I have unicode in my code, and while building it gives error: error: parse error on input ‘⊥’
2020-10-22 02:49:25 <ghoulguy> > Data.Char.generalCategory '⊥'
2020-10-22 02:49:26 <lambdabot> MathSymbol
2020-10-22 02:49:52 <ghoulguy> > let (⊥) = "bottom" in ( (⊥), (⊥) )
2020-10-22 02:49:54 <lambdabot> ("bottom","bottom")
2020-10-22 02:50:23 <shafox> in emacs, undefined is change to ⊥
2020-10-22 02:50:35 <monsterchrom> Another test case would give f (\x -> 2 * x) = [2, 4, 6]
2020-10-22 02:50:45 → anik joins (~anik@103.23.207.130)
2020-10-22 02:50:58 <ghoulguy> shafox: In that case make sure you're actually writing 'undefined' and not '⊥'
2020-10-22 02:51:33 → amagi joins (716517df@113.101.23.223)
2020-10-22 02:52:50 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-22 02:54:03 <shafox> ghoulguy, thanks.
2020-10-22 02:54:25 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-22 02:54:26 × texasmynsted quits (~texasmyns@104.140.52.83) (Read error: Connection reset by peer)
2020-10-22 02:54:33 <hololeap> (⊥) really does look like "bottom" lol
2020-10-22 02:55:01 <MarcelineVQ> opposite of ⊤
2020-10-22 02:55:15 → texasmyn_ joins (~texasmyns@217.138.198.228)
2020-10-22 02:57:51 <hololeap> am i the only one who sees it?
2020-10-22 02:58:07 × yumh quits (~yumh@mail.xglobe.in) (Ping timeout: 246 seconds)
2020-10-22 02:58:40 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds)
2020-10-22 02:59:59 → ensyde joins (~ensyde@2600:1702:2e30:1a40:693a:f19:42e4:5751)
2020-10-22 03:00:01 × luto1 quits (~luto@185.163.110.116) ()
2020-10-22 03:00:04 × haasn quits (~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2020-10-22 03:00:31 <MarcelineVQ> no
2020-10-22 03:01:35 → haasn joins (~nand@mpv/developer/haasn)
2020-10-22 03:01:46 → amagi_ joins (~amagi@113.101.23.223)
2020-10-22 03:03:12 <hololeap> i must say, i am disappointed by the absense of giggles. use the 5-year-old part of your brain
2020-10-22 03:04:07 × anik quits (~anik@103.23.207.130) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2020-10-22 03:04:32 → visage_ joins (~visage_@unaffiliated/visage/x-6658724)
2020-10-22 03:05:16 <MarcelineVQ> (⊤)
2020-10-22 03:05:36 <monsterchrom> It is the 70th time we have seen it.
2020-10-22 03:05:52 <MarcelineVQ> (.).(.)
2020-10-22 03:06:16 × amagi_ quits (~amagi@113.101.23.223) (Quit: Lost terminal)
2020-10-22 03:08:08 <justsomeguy> monsterchrom: “f g = map g [1,2,(3 :: Int)]”?
2020-10-22 03:08:28 <monsterchrom> yeah!
2020-10-22 03:08:32 <justsomeguy> :D
2020-10-22 03:09:28 <mshine> (.).(.) is the Total Recall operator?
2020-10-22 03:09:36 × visage_ quits (~visage_@unaffiliated/visage/x-6658724) (Quit: Textual IRC Client: www.textualapp.com)
←Prev  Next→
Page 1 .. 791 792 793 794 795 796 797 798 799 800 801 .. 5022

All times are in UTC.