Newest at the top
| 2024-11-08 22:59:02 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-08 22:50:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-08 22:44:38 +0100 | benjaminl | olivial |
| 2024-11-08 22:43:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-08 22:37:10 +0100 | yvan-sraka | (uid419690@id-419690.lymington.irccloud.com) yvan-sraka |
| 2024-11-08 22:34:21 +0100 | visilii | (~visilii@85.172.77.90) |
| 2024-11-08 22:32:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-08 22:28:57 +0100 | famubu | (~famubu@14.139.174.50) (Ping timeout: 246 seconds) |
| 2024-11-08 22:28:29 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds) |
| 2024-11-08 22:27:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-08 22:26:46 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-08 22:21:50 +0100 | <geekosaur> | or the mechanism that uses, which is via TH |
| 2024-11-08 22:20:39 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-11-08 22:17:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-08 22:16:38 +0100 | <SrPx> | ty |
| 2024-11-08 22:16:31 +0100 | <tomsmeding> | SrPx: https://hackage.haskell.org/package/file-embed |
| 2024-11-08 22:16:19 +0100 | <SrPx> | at compile time |
| 2024-11-08 22:16:15 +0100 | <SrPx> | is it not possible to import a static string into a haskell executable? |
| 2024-11-08 22:14:20 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-08 22:12:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-08 22:11:32 +0100 | briandaed | (~root@185.234.210.211) (Remote host closed the connection) |
| 2024-11-08 22:08:20 +0100 | <hololeap> | could (toList :: Tree a -> [a]) be considered a forgetful functor? |
| 2024-11-08 22:05:57 +0100 | <yahb2> | Node :: a -> [Tree a] -> Tree a |
| 2024-11-08 22:05:57 +0100 | <hololeap> | % :t Node |
| 2024-11-08 22:05:55 +0100 | <yahb2> | <no output> |
| 2024-11-08 22:05:55 +0100 | <hololeap> | % import Data.Tree |
| 2024-11-08 22:05:44 +0100 | <yahb2> | <interactive>:1:1: error: [GHC-88464] ; Data constructor not in scope: Node |
| 2024-11-08 22:05:44 +0100 | <hololeap> | % :t Node |
| 2024-11-08 22:01:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-08 21:56:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-08 21:55:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-08 21:54:37 +0100 | ChanServ | +v haskellbridge |
| 2024-11-08 21:54:37 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2024-11-08 21:53:48 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-11-08 21:50:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-08 21:38:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-08 21:38:45 +0100 | <yin> | just restructured everything so i don't have to match any of that |
| 2024-11-08 21:38:17 +0100 | <yin> | tomsmeding: ty. i'm trying to avoid funkyness |
| 2024-11-08 21:37:16 +0100 | <briandaed> | I stole it from someone probably, not sure from whom |
| 2024-11-08 21:35:26 +0100 | <sm> | briandaed your nick is breaking my brain :) |
| 2024-11-08 21:34:53 +0100 | <lambdabot> | Done. |
| 2024-11-08 21:34:53 +0100 | <sm> | @where+ stack-ghcup https://www.haskell.org/ghcup/guide/#stack-integration |
| 2024-11-08 21:34:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-08 21:23:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-08 21:22:37 +0100 | <tomsmeding> | if you want to get funky you can also `| y@Pattern { z = ((== minBound) -> True) } <- g x = ...` using ViewPatterns but... perhaps don't :D |
| 2024-11-08 21:22:00 +0100 | <tomsmeding> | or | y <- g x, z y == minBound = ... |
| 2024-11-08 21:21:45 +0100 | <tomsmeding> | | y@Pattern { z = zval } <- g x, zval == minBound = ... |
| 2024-11-08 21:21:16 +0100 | <tomsmeding> | *this |
| 2024-11-08 21:21:11 +0100 | <tomsmeding> | patterns don't allow thus, use a separate guard |
| 2024-11-08 21:21:01 +0100 | <tomsmeding> | yin: you mean matching on a constant instead of a constructor? |