Newest at the top
| 2026-03-12 19:00:18 +0100 | AlexNoo_ | (~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds) |
| 2026-03-12 18:59:46 +0100 | AlexNoo | (~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds) |
| 2026-03-12 18:56:48 +0100 | AlexNoo__ | (~AlexNoo@5.139.232.240) |
| 2026-03-12 18:56:12 +0100 | chewybread | (~chewybrea@user/chewybread) (Ping timeout: 264 seconds) |
| 2026-03-12 18:56:05 +0100 | AlexNoo_ | (~AlexNoo@5.139.232.240) |
| 2026-03-12 18:56:02 +0100 | AlexNoo__ | (~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds) |
| 2026-03-12 18:55:22 +0100 | AlexNoo | (~AlexNoo@5.139.232.240) |
| 2026-03-12 18:54:58 +0100 | AlexNoo_ | (~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds) |
| 2026-03-12 18:54:55 +0100 | <yahb2> | [(Foo," Bar")] |
| 2026-03-12 18:54:55 +0100 | <ski> | % (reads :: ReadS FooBar) "Foo Bar" |
| 2026-03-12 18:54:44 +0100 | <yahb2> | [] |
| 2026-03-12 18:54:44 +0100 | <ski> | % (reads :: ReadS FooBar) "foo bar" |
| 2026-03-12 18:54:26 +0100 | AlexNoo | (~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds) |
| 2026-03-12 18:54:18 +0100 | <gentauro> | nice |
| 2026-03-12 18:54:16 +0100 | <yahb2> | Just Foo |
| 2026-03-12 18:54:16 +0100 | <gentauro> | % readFoobar "foo" |
| 2026-03-12 18:54:13 +0100 | <yahb2> | <no output> |
| 2026-03-12 18:54:13 +0100 | <gentauro> | % readFoobar = (\case [] -> Nothing; c:cs -> readMaybe (toUpper c : map toLower cs) :: Maybe FooBar) |
| 2026-03-12 18:53:58 +0100 | <yahb2> | <interactive>:61:1: error: [GHC-39999] ; • No instance for ‘Show Ghci8.FooBar’ ; arising from a use of ‘Yahb2Defs.limitedPrint’ ; There are instances for similar types: ; ... |
| 2026-03-12 18:53:58 +0100 | <gentauro> | % readFoobar "foo" |
| 2026-03-12 18:53:56 +0100 | <yahb2> | <no output> |
| 2026-03-12 18:53:56 +0100 | <gentauro> | % data FooBar = Foo | Bar deriving (Read, Show) |
| 2026-03-12 18:53:47 +0100 | <yahb2> | <interactive>:57:1: error: [GHC-39999] ; • No instance for ‘Show FooBar’ ; arising from a use of ‘Yahb2Defs.limitedPrint’ ; • In a stmt of an interactive GHCi command: ; Yah... |
| 2026-03-12 18:53:47 +0100 | <gentauro> | % readFoobar "foo" |
| 2026-03-12 18:53:35 +0100 | <yahb2> | <no output> |
| 2026-03-12 18:53:35 +0100 | <ski> | % let readFoobar = (\case [] -> Nothing; c:cs -> readMaybe (toUpper c : map toLower cs) :: Maybe FooBar) |
| 2026-03-12 18:53:32 +0100 | <yahb2> | <no output> |
| 2026-03-12 18:53:32 +0100 | <ski> | % :m + Data.Char |
| 2026-03-12 18:53:20 +0100 | <yahb2> | <interactive>:51:59: error: [GHC-88464] ; Variable not in scope: toUpper :: a -> Char ; ; <interactive>:51:75: error: [GHC-88464] ; Variable not in scope: toLower :: a -> Char |
| 2026-03-12 18:53:20 +0100 | <ski> | % let readFoobar = (\case [] -> Nothing; c:cs -> readMaybe (toUpper c : map toLower cs) :: Maybe FooBar) |
| 2026-03-12 18:53:16 +0100 | <gentauro> | :o |
| 2026-03-12 18:53:11 +0100 | <yahb2> | <no output> |
| 2026-03-12 18:53:11 +0100 | <ski> | % :set -XLambdaCase |
| 2026-03-12 18:53:00 +0100 | dhil | (~dhil@5.151.29.139) (Ping timeout: 244 seconds) |
| 2026-03-12 18:52:47 +0100 | <gentauro> | ski: got it |
| 2026-03-12 18:52:30 +0100 | <ski> | (there is no `@info' with lambdabot) |
| 2026-03-12 18:52:09 +0100 | <EvanR> | :i readMaybe |
| 2026-03-12 18:52:05 +0100 | <lambdabot> | Read a => String -> Maybe a |
| 2026-03-12 18:52:04 +0100 | <ski> | @type readMaybe |
| 2026-03-12 18:51:57 +0100 | <gentauro> | :| |
| 2026-03-12 18:51:55 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input `:' |
| 2026-03-12 18:51:54 +0100 | <gentauro> | > :i readMaybe |
| 2026-03-12 18:51:33 +0100 | <lambdabot> | Defined. |
| 2026-03-12 18:51:32 +0100 | <ski> | @let import Text.Read |
| 2026-03-12 18:51:28 +0100 | AlexNoo__ | (~AlexNoo@5.139.232.240) |
| 2026-03-12 18:51:24 +0100 | <ski> | residuated lattices reminds me of ordered (intuitionistic) logic (see "Ordered Linear Logic and Applications" by Jeffrey E. Polakow in 2001-08 at <https://www.cs.cmu.edu/~jpolakow/diss.ps>,(draft) <https://web.archive.org/web/20010614031936/http://www.cs.cmu.edu:80/~jpolakow/diss.pdf>) |
| 2026-03-12 18:51:21 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input `import' |
| 2026-03-12 18:51:20 +0100 | <gentauro> | > import Text.Read |
| 2026-03-12 18:51:11 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input `:' |
| 2026-03-12 18:51:09 +0100 | <gentauro> | > :i (+) |