Newest at the top
2024-07-08 20:36:56 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-07-08 20:35:03 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
2024-07-08 20:32:34 +0200 | euleritian | (~euleritia@ip5f5ad3c1.dynamic.kabel-deutschland.de) |
2024-07-08 20:32:17 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-07-08 20:32:03 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
2024-07-08 20:21:31 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-07-08 20:21:15 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
2024-07-08 20:19:01 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) |
2024-07-08 20:18:10 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) (Ping timeout: 246 seconds) |
2024-07-08 20:13:01 +0200 | danse-nr3 | (~danse-nr3@151.35.165.191) |
2024-07-08 20:11:31 +0200 | <mauke> | can confirm that HLS definitely detects them as well |
2024-07-08 20:10:51 +0200 | <mauke> | bwe: use explicit export lists in your modules and compile with ghc -Wall |
2024-07-08 20:05:28 +0200 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) |
2024-07-08 20:03:09 +0200 | leeb | (~leeb@tk2-243-31079.vs.sakura.ne.jp) (Ping timeout: 268 seconds) |
2024-07-08 20:00:35 +0200 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) (Remote host closed the connection) |
2024-07-08 19:54:42 +0200 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) |
2024-07-08 19:53:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-08 19:53:17 +0200 | Square | (~Square@user/square) |
2024-07-08 19:36:32 +0200 | euleritian | (~euleritia@dynamic-176-001-140-004.176.1.pool.telefonica.de) |
2024-07-08 19:36:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
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)) |