Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 .. 5022
— 502,152 events total
2020-11-06 00:27:14 × conal quits (~conal@107.181.166.217) (Quit: Computer has gone to sleep.)
2020-11-06 00:28:23 → conal joins (~conal@107.181.166.217)
2020-11-06 00:31:13 × jbox quits (~atlas@unaffiliated/jbox) (Ping timeout: 260 seconds)
2020-11-06 00:33:11 × conal quits (~conal@107.181.166.217) (Quit: Computer has gone to sleep.)
2020-11-06 00:35:21 → bennofs1 joins (~benno@dslb-094-222-063-208.094.222.pools.vodafone-ip.de)
2020-11-06 00:36:36 → luke joins (~luke@bitnomial/staff/luke)
2020-11-06 00:37:37 → conal joins (~conal@107.181.166.217)
2020-11-06 00:43:02 × codygman quits (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Read error: Connection reset by peer)
2020-11-06 00:44:02 → codygman joins (~codygman@47-184-107-46.dlls.tx.frontiernet.net)
2020-11-06 00:45:45 × conal quits (~conal@107.181.166.217) (Ping timeout: 240 seconds)
2020-11-06 00:46:18 × jakob_ quits (~textual@p200300f49f162200657391ee70880d24.dip0.t-ipconnect.de) (Quit: My Laptop has gone to sleep. ZZZzzz…)
2020-11-06 00:47:41 → mdunnio joins (~mdunnio@208.59.170.5)
2020-11-06 00:47:47 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds)
2020-11-06 00:50:02 → conal joins (~conal@107.181.166.217)
2020-11-06 00:50:07 × conal quits (~conal@107.181.166.217) (Client Quit)
2020-11-06 00:51:48 <Axman6> Squarism: figuring out how you ncan make use of this inside a monad with a MonadReader context s quite fun, you basically get a DSL for accessing your app's configuration for free
2020-11-06 00:52:25 × mdunnio quits (~mdunnio@208.59.170.5) (Ping timeout: 240 seconds)
2020-11-06 00:53:34 <Squarism> Axman6, i have used a bunch of monadreader for passing on context. But I find the ((->) a) construct a bit confusing.
2020-11-06 00:53:41 → jtk joins (~jtk@178.239.168.171)
2020-11-06 00:54:00 × LKoen quits (~LKoen@53.253.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-11-06 00:54:00 hackage commonmark 0.1.1.2 - Pure Haskell commonmark parser. https://hackage.haskell.org/package/commonmark-0.1.1.2 (JohnMacFarlane)
2020-11-06 00:54:06 <Squarism> Its not a type but a kind right?
2020-11-06 00:54:40 <Axman6> it's a type which isn't fully applied, it has kind * -> *
2020-11-06 00:57:06 → conal joins (~conal@107.181.166.217)
2020-11-06 00:57:11 <Squarism> oh, i see it has a data declaration.
2020-11-06 00:58:10 <Squarism> But i cannot write ":t ((->) 1)" in ghci
2020-11-06 00:58:40 × Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 256 seconds)
2020-11-06 00:58:55 → renzhi joins (~renzhi@2607:fa49:655f:e600::28da)
2020-11-06 00:59:01 hackage commonmark-extensions 0.2.0.4 - Pure Haskell commonmark parser. https://hackage.haskell.org/package/commonmark-extensions-0.2.0.4 (JohnMacFarlane)
2020-11-06 00:59:04 × conal quits (~conal@107.181.166.217) (Client Quit)
2020-11-06 00:59:19 <Squarism> I its definition : data (->) (a :: TYPE q) (b :: TYPE r)
2020-11-06 00:59:59 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:7cc2:21a2:16c3:f6f6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-06 01:00:22 <Axman6> no, only data has types, and (->) isn't data, it's a type, so it has a kind
2020-11-06 01:00:30 <Axman6> @kind (->)
2020-11-06 01:00:32 <lambdabot> * -> * -> *
2020-11-06 01:00:40 <Squarism> "I see" correction
2020-11-06 01:03:06 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:7cc2:21a2:16c3:f6f6)
2020-11-06 01:04:50 × joaj quits (~joaj@2001:818:e326:8200:5273:55b7:3a86:e6ca) (Ping timeout: 264 seconds)
2020-11-06 01:05:27 → joaj joins (~joaj@2001:818:e326:8200:9fc:6bde:c18a:1771)
2020-11-06 01:05:37 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 264 seconds)
2020-11-06 01:08:53 → Mela joins (3eb2acf9@62-178-172-249.cable.dynamic.surfer.at)
2020-11-06 01:09:08 × dbmikus__ quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2020-11-06 01:09:38 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-06 01:10:24 <Mela> hello
2020-11-06 01:11:46 <Mela> I'm a beginner learning Haskell and I have an acute question. Am I in the right place here to ask?
2020-11-06 01:12:02 <lyxia> yes
2020-11-06 01:12:17 <lyxia> we also take cute questions.
2020-11-06 01:12:18 × turq quits (~electro@138.197.8.173) (Changing host)
2020-11-06 01:12:18 → turq joins (~electro@unaffiliated/turq)
2020-11-06 01:12:27 <Axman6> we prefer obtuse question though
2020-11-06 01:12:41 <Axman6> like "Why is Haskell so bad?"
2020-11-06 01:13:07 <Mela> you may judge whether it's cute
2020-11-06 01:14:14 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-11-06 01:14:26 <Mela> so I want to have my own data type to represent an interval of numbers. I define it as "data Interval = Interval (lb, ub) | Empty | Invalid"
2020-11-06 01:14:26 <jcowan> "Acute" as in acute suffering, or as in acute intelligence?
2020-11-06 01:14:33 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-06 01:14:44 → guest116 joins (~user@49.5.6.87)
2020-11-06 01:14:55 <jcowan> Both, I guess
2020-11-06 01:15:04 <aldum> acute angle
2020-11-06 01:15:24 <Mela> now I wanted to make it so that Interval(lb,ub) redirects to Empty, when ub > lb
2020-11-06 01:15:30 → Entertainment joins (~entertain@104.246.132.210)
2020-11-06 01:15:35 <Axman6> Mela: what should the type of lb and ub be? there doesn't seem to be any need for a tuple in there either
2020-11-06 01:15:44 <monochrom> I think we saw the same interval question several hours ago as an assignment question. Perhaps show us the whole assignment?
2020-11-06 01:15:51 → kish joins (~oracle@unaffiliated/oracle)
2020-11-06 01:15:55 <Mela> oh :p
2020-11-06 01:16:04 <Mela> yeah, it's indeed a uni assignment
2020-11-06 01:16:06 <Axman6> your lecturer is probably in here by the way
2020-11-06 01:16:11 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-11-06 01:16:28 <aldum> lol
2020-11-06 01:16:29 × alp quits (~alp@2a01:e0a:58b:4920:b090:7fae:5afc:83b5) (Ping timeout: 272 seconds)
2020-11-06 01:16:42 <Mela> thing is in another language though, so I thought I'd translate it
2020-11-06 01:16:43 <monochrom> I'm OK with homework questions. I'm just not OK with incomplete butchered misrepresented information.
2020-11-06 01:17:14 <Axman6> so be very careful what you ask, and make sure you don't use any code anyone provides to you. We are happy to help you come up with answers, but we don't do your homework for you.
2020-11-06 01:17:15 <monochrom> And last time the other student only showed two lines of code every 5 minutes.
2020-11-06 01:17:35 → Jeanne-Kamikaze joins (~Jeanne-Ka@68.235.43.94)
2020-11-06 01:17:42 <Axman6> Mela: so what have you tried so far, and what ideas have you had?
2020-11-06 01:17:53 <Axman6> (I'm also curious what the other language is)
2020-11-06 01:18:09 <Mela> gotcha
2020-11-06 01:18:16 <Mela> (how do I properly post code in here?)
2020-11-06 01:18:22 <Axman6> @where paste
2020-11-06 01:18:22 <lambdabot> Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com
2020-11-06 01:18:30 <monochrom> I don't get it. If you don't tell people that you aren't telepathic, people simply assume you're telepathic. "Hi I got an error, here is the error message but I'm not going to show you my code". What kind of logic is that.
2020-11-06 01:19:23 × son0p quits (~son0p@181.136.122.143) (Remote host closed the connection)
2020-11-06 01:19:45 <aldum> they don't assume telepathy, just have a frame of mind which is very focused on the problem, and don't take the effort to imagine what implicit knowledge they have that you don't
2020-11-06 01:19:54 <aldum> I know because I do this a lot
2020-11-06 01:20:31 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-06 01:24:01 × davl quits (~davl@207.154.228.18) (Read error: Connection reset by peer)
2020-11-06 01:24:01 × dcoutts_ quits (~duncan@33.14.75.194.dyn.plus.net) (Read error: Connection reset by peer)
2020-11-06 01:24:15 → dcoutts_ joins (~duncan@33.14.75.194.dyn.plus.net)
2020-11-06 01:24:23 → davl joins (~davl@207.154.228.18)
2020-11-06 01:24:44 × Mela quits (3eb2acf9@62-178-172-249.cable.dynamic.surfer.at) (Remote host closed the connection)
2020-11-06 01:24:52 → Lord_of_Life_ joins (~Lord@46.217.217.128)
2020-11-06 01:25:21 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 265 seconds)
2020-11-06 01:27:12 → Mela joins (3eb2acf9@62-178-172-249.cable.dynamic.surfer.at)
2020-11-06 01:27:24 → twopoint718 joins (~cjw@fsf/member/twopoint718)
2020-11-06 01:29:03 <Mela> hi again
2020-11-06 01:29:49 <Mela> I wrote my question in more detail here now (https://paste.tomsmeding.com/kCD7VKFq). I hope this is understandable.
2020-11-06 01:30:24 <Mela> https://paste.tomsmeding.com/kCD7VKFq sorry for breaking the link above
2020-11-06 01:30:55 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-06 01:31:31 <monochrom> cannot be done
←Prev  Next→
Page 1 .. 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 .. 5022

All times are in UTC.