Newest at the top
| 2024-07-08 19:34:31 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-07-08 19:32:23 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) (Ping timeout: 264 seconds) |
| 2024-07-08 19:26:13 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) |
| 2024-07-08 19:25:50 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) (Remote host closed the connection) |
| 2024-07-08 19:24:23 +0200 | <ncf> | https://downloads.haskell.org/ghc/latest/docs/users_guide/using-warnings.html#ghc-flag--Wunused-bi… |
| 2024-07-08 19:23:27 +0200 | <bwe> | Does ghc tell me any functions defined in current module not being used? If not, what's the best practice your recommend? |
| 2024-07-08 19:22:47 +0200 | <monochrom> | But it is because the audience has experience with sorting. You build upon what they already know. |
| 2024-07-08 19:22:33 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-08 19:21:56 +0200 | <monochrom> | Yeah. An exception is "sort alphabetically" is way better than formalizing it. :) |
| 2024-07-08 19:21:10 +0200 | <danse-nr3> | i mean communication is a matter of circumstance, there is no "one size fits all" |
| 2024-07-08 19:20:23 +0200 | <monochrom> | My motivation is from the extremist Dijkstra's "a formula is worth a thousand pictures". You don't have to believe that (I mostly believe it, but I know exceptions), but the other extreme is to enshrine natural language prose which is what everyone else does which is clearly broken. |
| 2024-07-08 19:19:06 +0200 | <danse-nr3> | right well depends the focus of what one is explaining at a given moment |
| 2024-07-08 19:18:03 +0200 | <EvanR> | it's easier to understand but not generally what would match operational semantics |
| 2024-07-08 19:17:34 +0200 | <danse-nr3> | i like monochrom's one better |
| 2024-07-08 19:17:18 +0200 | <EvanR> | map f [a, b, c] = f a : map f [b, c] |
| 2024-07-08 19:17:11 +0200 | <danse-nr3> | you are paraphrasing with othe formulae basically. Makes sense |
| 2024-07-08 19:14:49 +0200 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-07-08 19:13:35 +0200 | <monochrom> | This is what I do. When I teach the "map" function, I begin with a semi-symbolic example: "map f [a, b, c] = [f a, f b, f c]". Humans are great at extrapolating when you give them good examples. Use that. |
| 2024-07-08 19:12:23 +0200 | <monochrom> | OTOH even with a polymorphic type, it can be difficult to deduce what it does. |
| 2024-07-08 19:11:28 +0200 | <monochrom> | Paraphrasing a type expression is worse than just showing the type expression. Generally most expressions. Try paraphrasing "sqrt((a+b)^2+c^2) + 4" for example. |
| 2024-07-08 19:11:05 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-07-08 19:08:44 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
| 2024-07-08 19:05:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 19:04:35 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-08 18:54:43 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 18:54:24 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 18:53:01 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) |
| 2024-07-08 18:52:45 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-07-08 18:52:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-07-08 18:45:52 +0200 | barryfm | (~barry@2603-9001-5200-3c11-6ab3-218a-469b-f5cd.inf6.spectrum.com) (Quit: ERC 5.6.1-git (IRC client for GNU Emacs 31.0.50)) |
| 2024-07-08 18:42:51 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-07-08 18:37:48 +0200 | barryfm | (~barry@2603-9001-5200-3c11-6ab3-218a-469b-f5cd.inf6.spectrum.com) |
| 2024-07-08 18:35:35 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 268 seconds) |
| 2024-07-08 18:32:34 +0200 | destituion | (~destituio@2a02:2121:6bc:1a95:cb10:e092:4032:88f5) |
| 2024-07-08 18:30:31 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 18:30:11 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 18:29:10 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) |
| 2024-07-08 18:28:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-07-08 18:26:42 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-07-08 18:24:14 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 18:23:53 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 18:23:03 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) |
| 2024-07-08 18:22:38 +0200 | danse-nr3 | (~danse-nr3@151.37.184.212) (Ping timeout: 268 seconds) |
| 2024-07-08 18:19:49 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) (Quit: WeeChat 4.3.3) |
| 2024-07-08 18:18:59 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) |
| 2024-07-08 18:17:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-07-08 18:08:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-08 18:07:50 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-08 18:07:36 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-08 18:05:23 +0200 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) |