Newest at the top
| 2024-05-02 21:21:04 +0200 | zetef | (~quassel@5.14.202.140) |
| 2024-05-02 21:21:01 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-02 21:20:32 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-02 21:19:47 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-05-02 21:17:52 +0200 | rvalue- | rvalue |
| 2024-05-02 21:14:51 +0200 | Square | (~Square@user/square) |
| 2024-05-02 21:14:15 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
| 2024-05-02 21:13:51 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-05-02 21:13:33 +0200 | califax | (~califax@user/califx) |
| 2024-05-02 21:12:28 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2024-05-02 20:57:13 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-05-02 20:54:26 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds) |
| 2024-05-02 20:51:19 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-05-02 20:51:10 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-02 20:50:57 +0200 | danza | (~francesco@151.37.226.214) |
| 2024-05-02 20:45:35 +0200 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
| 2024-05-02 20:42:29 +0200 | califax | (~califax@user/califx) |
| 2024-05-02 20:41:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-02 20:41:28 +0200 | euleritian | (~euleritia@dynamic-176-001-008-240.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-02 20:36:01 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-02 20:32:06 +0200 | jamesmartinez | (uid6451@id-6451.helmsley.irccloud.com) () |
| 2024-05-02 20:29:25 +0200 | k`` | (~k``@136.54.34.25) |
| 2024-05-02 20:29:08 +0200 | k`` | (~k``@136.54.34.25) (Remote host closed the connection) |
| 2024-05-02 20:28:11 +0200 | yin | (~yin@user/zero) |
| 2024-05-02 20:27:00 +0200 | hseg | (~gesh@77.137.75.224) (Ping timeout: 260 seconds) |
| 2024-05-02 20:18:11 +0200 | <tomsmeding> | when I do haskelling myself I sometimes marvel at the inscrutability of error messages I get when doing seemingly harmless things that even beginners could do |
| 2024-05-02 20:18:10 +0200 | <hseg> | thanks for the help, but ig I'll stick to my previous giving up |
| 2024-05-02 20:17:39 +0200 | <tomsmeding> | the fact that such a low-tech space exists is good, and mostly what I was asking for :) |
| 2024-05-02 20:17:02 +0200 | <monochrom> | It is also possible that I only ask them to do basic low-tech things so it is very hard to even randomly wander into the high-tech error space. |
| 2024-05-02 20:16:24 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 252 seconds) |
| 2024-05-02 20:16:22 +0200 | <hseg> | int-e: ... and that's a no for -pie -fPIC via cabal: https://0x0.st/XXLc.txt |
| 2024-05-02 20:15:19 +0200 | <tomsmeding> | it is indeed, but it says something |
| 2024-05-02 20:15:05 +0200 | <monochrom> | But those who came to my office hours have never showed me error messages of that kind. But that is a biased data pool. |
| 2024-05-02 20:14:37 +0200 | <tomsmeding> | if you've taught enough students on this topic you'd have received complaints from their side if they're running into it a lot :) |
| 2024-05-02 20:14:35 +0200 | <Rembane> | monochrom: How much have they told you without polls? |
| 2024-05-02 20:14:05 +0200 | <monochrom> | Here is where I show my laziness. I haven't polled students for what they are going through! |
| 2024-05-02 20:13:18 +0200 | <tomsmeding> | if they made an innocent mistake |
| 2024-05-02 20:13:01 +0200 | <tomsmeding> | for curiosity, do you not run into ghc flinging FlexibleConstraints, DataKinds, AllowAmbiguousTypes, RankNTypes, etc. in your students' faces? |
| 2024-05-02 20:12:20 +0200 | <tomsmeding> | monochrom: right, overloaded int/float literals are definitely inconvenient for teaching (and frankly sometimes for programming too) |
| 2024-05-02 20:08:24 +0200 | <monochrom> | tomsmeding: I haven't wished for a Haskell-2010-only compiler for error message purposes. Even within Haskell 2010, the Num class is already bad enough for that purpose, banning Foldable (for example) is not going to really help. (And I actually teach Foldable after the basics.) |
| 2024-05-02 20:04:30 +0200 | zetef | (~quassel@5.14.202.140) (Ping timeout: 245 seconds) |
| 2024-05-02 20:03:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-02 19:57:21 +0200 | k`` | (~k``@136.54.34.25) |
| 2024-05-02 19:57:04 +0200 | k`` | (~k``@136.54.34.25) (Remote host closed the connection) |
| 2024-05-02 19:55:47 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-05-02 19:55:08 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds) |
| 2024-05-02 19:55:06 +0200 | zetef | (~quassel@5.14.202.140) |
| 2024-05-02 19:48:13 +0200 | euleritian | (~euleritia@dynamic-176-001-008-240.176.1.pool.telefonica.de) |
| 2024-05-02 19:47:46 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-05-02 19:47:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |