Newest at the top
| 2025-01-16 15:01:01 +0100 | <hellwolf> | interesting :) |
| 2025-01-16 15:00:59 +0100 | <hellwolf> | "undefined :: GHC.Internal.Stack.Types.HasCallStack => a" |
| 2025-01-16 15:00:28 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘:’ |
| 2025-01-16 15:00:27 +0100 | <hellwolf> | > :t undefined |
| 2025-01-16 15:00:21 +0100 | <hellwolf> | :type undefined |
| 2025-01-16 14:58:55 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-01-16 14:58:51 +0100 | akegalj | (~akegalj@89-172-132-1.adsl.net.t-com.hr) (Ping timeout: 244 seconds) |
| 2025-01-16 14:58:46 +0100 | <geekosaur> | "inhabited" |
| 2025-01-16 14:58:40 +0100 | <geekosaur> | try making a value |
| 2025-01-16 14:57:49 +0100 | hellwolf | maybe missing the point here :p |
| 2025-01-16 14:56:46 +0100 | <hellwolf> | does that count? |
| 2025-01-16 14:56:26 +0100 | <hellwolf> | λ newtype A = MkA Void |
| 2025-01-16 14:54:53 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-16 14:52:09 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-16 14:51:49 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-16 14:51:04 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-16 14:46:11 +0100 | <geekosaur> | since newtypes don't add a layer (unlike data) you must have an inhabitant to newtype-wrap into an inhabitant of the newtype |
| 2025-01-16 14:45:35 +0100 | <geekosaur> | try constructing an inhabitant. (you can't) |
| 2025-01-16 14:44:10 +0100 | <__monty__> | That changes nothing about whether or not the type is inhabited though? |
| 2025-01-16 14:42:48 +0100 | <geekosaur> | because if it's not lazy then it is necessarily fully evaluated already and any nbottom would have already been triggered |
| 2025-01-16 14:36:39 +0100 | <__monty__> | I don't see why not? |
| 2025-01-16 14:35:07 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-01-16 14:34:09 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-01-16 14:33:00 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-16 14:29:32 +0100 | <kuribas> | If it's not lazy, can it be bottom? |
| 2025-01-16 14:27:52 +0100 | <__monty__> | Except for bottom, yes. |
| 2025-01-16 14:27:38 +0100 | <kuribas> | An uninhabited newtype? |
| 2025-01-16 14:27:14 +0100 | <kuribas> | What does that even mean? |
| 2025-01-16 14:26:59 +0100 | <dminuoso> | But cute trick, did not know you could do that. |
| 2025-01-16 14:26:41 +0100 | <dminuoso> | Guess that works too. |
| 2025-01-16 14:26:36 +0100 | <yahb2> | <interactive>:23:1: error: [GHC-39999] ; • No instance for ‘Show Bar’ ; arising from a use of ‘Yahb2Defs.limitedPrint’ ; • In a stmt of an interactive GHCi command: ; Yahb2D... |
| 2025-01-16 14:26:36 +0100 | <dminuoso> | % undefined :: Bar |
| 2025-01-16 14:26:15 +0100 | <yahb2> | <no output> |
| 2025-01-16 14:26:15 +0100 | <Leary> | % newtype Bar = Bar Bar |
| 2025-01-16 14:26:12 +0100 | <dminuoso> | Oh, right. Thanks |
| 2025-01-16 14:26:01 +0100 | <__monty__> | (inhabited) |
| 2025-01-16 14:24:50 +0100 | <dminuoso> | Now it would be interesting if we could conjure `newtype Bar` equivalently |
| 2025-01-16 14:24:31 +0100 | <dminuoso> | Here you have a type `Foo` inhabitated only by bottom. |
| 2025-01-16 14:24:22 +0100 | <yahb2> | <no output> |
| 2025-01-16 14:24:22 +0100 | <dminuoso> | % data Foo |
| 2025-01-16 14:24:19 +0100 | <dminuoso> | And if "inhabitated by bottom" only came to mind |
| 2025-01-16 14:23:41 +0100 | <dminuoso> | Since even `Type` is inhabitated (by bottom), you cannot even differentiate in terms of "is it habitated" |
| 2025-01-16 14:23:05 +0100 | <dminuoso> | That's really the point of it. |
| 2025-01-16 14:23:02 +0100 | <dminuoso> | Well, the distinction is lost with TypeInType. |
| 2025-01-16 14:22:44 +0100 | <kuribas> | I suppose. '*' or 'Type' is the "kind" Type, while other kinds are also types, but not the "kind" type.. |
| 2025-01-16 14:22:42 +0100 | <dminuoso> | type Type = TYPE LiftedRep |
| 2025-01-16 14:22:38 +0100 | <dminuoso> | One particular note here: |
| 2025-01-16 14:22:01 +0100 | <dminuoso> | kuribas: Does that answer your question? |
| 2025-01-16 14:21:28 +0100 | xff0x | (~xff0x@2405:6580:b080:900:cb37:dc44:25ad:be87) |
| 2025-01-16 14:21:25 +0100 | <yahb2> | <no output> |