Newest at the top
| 2025-12-01 17:31:05 +0100 | <tomsmeding> | that bold here looks very ugly, but the regular is decent https://online-fonts.com/fonts/luculent |
| 2025-12-01 17:30:32 +0100 | <tomsmeding> | fgarcia: font exchange time: mononoki |
| 2025-12-01 17:30:30 +0100 | <lucabtz> | i must be hallucinating |
| 2025-12-01 17:30:24 +0100 | <lucabtz> | didnt work earlier, im sure i typed [a] -> a -> Maybe a |
| 2025-12-01 17:29:58 +0100 | <lucabtz> | also for me now |
| 2025-12-01 17:29:56 +0100 | <fgarcia> | you didn't ask but i recommend the font 'Luculent'. it is lovely. i think people who write haskell will appreciate it |
| 2025-12-01 17:29:55 +0100 | <lucabtz> | yeah |
| 2025-12-01 17:29:52 +0100 | <tomsmeding> | works for me (tm) |
| 2025-12-01 17:29:46 +0100 | <tomsmeding> | https://hoogle.haskell.org/?hoogle=%5Ba%5D+-%3E+Int+-%3E+Maybe+a&scope=set%3Astackage |
| 2025-12-01 17:29:31 +0100 | <lucabtz> | hoogle didnt find it :( |
| 2025-12-01 17:29:24 +0100 | <lucabtz> | cool |
| 2025-12-01 17:29:00 +0100 | <tomsmeding> | lucabtz: ^ |
| 2025-12-01 17:28:56 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-01 17:28:47 +0100 | <tomsmeding> | TIL |
| 2025-12-01 17:28:45 +0100 | <yahb2> | (GHC.Internal.List.!?) :: [a] -> Int -> Maybe a ; -- Defined in ‘GHC.Internal.List’ ; infixl 9 GHC.Internal.List.!? |
| 2025-12-01 17:28:45 +0100 | <tomsmeding> | % :i Data.List.!? |
| 2025-12-01 17:28:42 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-01 17:28:42 +0100 | <yahb2> | <interactive>:1:1: error: [GHC-76037] Not in scope: ‘!?’ |
| 2025-12-01 17:28:42 +0100 | <tomsmeding> | % :i !? |
| 2025-12-01 17:28:37 +0100 | <tomsmeding> | oh? |
| 2025-12-01 17:28:17 +0100 | <lambdabot> | Safe atMay :: [a] -> Int -> Maybe a |
| 2025-12-01 17:28:17 +0100 | <lambdabot> | GHC.List (!?) :: [a] -> Int -> Maybe a |
| 2025-12-01 17:28:17 +0100 | <lambdabot> | Data.List (!?) :: [a] -> Int -> Maybe a |
| 2025-12-01 17:28:16 +0100 | <Leary> | @hoogle [a] -> Int -> Maybe a |
| 2025-12-01 17:28:11 +0100 | <merijn> | lucabtz: "\l n -> listToMaybe $ drop n l" :p |
| 2025-12-01 17:28:08 +0100 | <lucabtz> | https://hackage.haskell.org/package/errors-2.3.0/docs/Control-Error-Safe.html#v:atZ this looks more general |
| 2025-12-01 17:27:36 +0100 | <tomsmeding> | there is atMay here https://hackage.haskell.org/package/safe-0.3.21/docs/Safe.html |
| 2025-12-01 17:27:32 +0100 | <lucabtz> | i found atZ using hoogle though |
| 2025-12-01 17:27:22 +0100 | <lucabtz> | sad |
| 2025-12-01 17:27:14 +0100 | <tomsmeding> | no |
| 2025-12-01 17:27:00 +0100 | <lucabtz> | there is no [a] -> Int -> Maybe a safe list indexing in base? |
| 2025-12-01 17:26:46 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-01 17:26:45 +0100 | <merijn> | Proportional font should be a crime |
| 2025-12-01 17:26:07 +0100 | <lucabtz> | though if you have only one binding i think your style is more readable |
| 2025-12-01 17:25:54 +0100 | <tomsmeding> | programming haskell with a proportional font is mostly feasible only if you only read your own code though :p |
| 2025-12-01 17:25:33 +0100 | <tomsmeding> | a colleague of mine does that |
| 2025-12-01 17:25:29 +0100 | <tomsmeding> | another reason to not use my style: if you program with a proportional font |
| 2025-12-01 17:25:12 +0100 | <lucabtz> | :p |
| 2025-12-01 17:24:55 +0100 | <tomsmeding> | I don't have that opinion but I respect you having it :p |
| 2025-12-01 17:24:32 +0100 | <tomsmeding> | I see |
| 2025-12-01 17:24:27 +0100 | <lucabtz> | it is 4 but i dont like that the style imposes 4 to be used |
| 2025-12-01 17:23:52 +0100 | <tomsmeding> | yeah also possible |
| 2025-12-01 17:23:35 +0100 | <tomsmeding> | lucabtz: what's your preferred indentation size? |
| 2025-12-01 17:23:35 +0100 | <merijn> | tomsmeding: tbh, I'd probably rewrite that to use `concat` to simplify line-wrapping the string too |
| 2025-12-01 17:23:15 +0100 | <lucabtz> | so for one binding that option works well, but for multiple ones idk |
| 2025-12-01 17:23:11 +0100 | <tomsmeding> | #rekt takes me back to high school |
| 2025-12-01 17:22:54 +0100 | <tomsmeding> | :p |
| 2025-12-01 17:22:52 +0100 | <tomsmeding> | I guess, yes, in this case |
| 2025-12-01 17:22:51 +0100 | <merijn> | #rekt |
| 2025-12-01 17:22:46 +0100 | <tomsmeding> | oh |