Logs: freenode/#haskell
| 2021-05-06 13:32:39 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
| 2021-05-06 13:33:09 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-06 13:34:40 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-06 13:34:59 | → | anandprabhu__ joins (~AnandPrab@94.202.236.255) |
| 2021-05-06 13:34:59 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-qwfpakkgqlgnbdyf) |
| 2021-05-06 13:35:20 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Disconnected by services) |
| 2021-05-06 13:35:21 | → | hyperisco_ joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-05-06 13:37:02 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-05-06 13:37:25 | × | anandprabhu_ quits (~AnandPrab@94.202.236.255) (Ping timeout: 252 seconds) |
| 2021-05-06 13:37:44 | × | ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection) |
| 2021-05-06 13:37:50 | <boxscape> | hm so in ghc 9.2 you can now make a true Void type that doesn't have any values with `data Void :: TYPE (BoxedRep Unlifted)`, that's kind of nice |
| 2021-05-06 13:37:58 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-06 13:38:05 | → | ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 2021-05-06 13:40:05 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 246 seconds) |
| 2021-05-06 13:40:26 | × | Athas quits (athas@2a01:7c8:aaac:1cf:3a96:a4d3:a3c8:7a4c) (Quit: ZNC - http://znc.sourceforge.net) |
| 2021-05-06 13:40:36 | → | Athas joins (athas@sigkill.dk) |
| 2021-05-06 13:42:16 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-05-06 13:42:40 | → | Guest87676 joins (~laudiacay@67.176.215.84) |
| 2021-05-06 13:42:42 | <boxscape> | Seems like it takes care of one of the things that Bob Harper liked to complain about regarding Haskell, IIRC |
| 2021-05-06 13:43:50 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-06 13:43:59 | → | Guest39486 joins (~zmv@unaffiliated/zmv) |
| 2021-05-06 13:45:20 | <__monty__> | So undefined :: TrueVoid wouldn't be allowed? |
| 2021-05-06 13:45:37 | → | fendor_ joins (~fendor@178.165.131.207.wireless.dyn.drei.com) |
| 2021-05-06 13:45:54 | <boxscape> | __monty__ no, undefined is levity polymorphic so it works, but as soon as you call a function with that as argument, it blows up, regardless of whether the function examines that argument |
| 2021-05-06 13:45:58 | × | Guest39486 quits (~zmv@unaffiliated/zmv) (Remote host closed the connection) |
| 2021-05-06 13:46:19 | <boxscape> | similar to how `undefined :: Int#` works already |
| 2021-05-06 13:46:23 | <boxscape> | (or, the same) |
| 2021-05-06 13:46:52 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-tnnifmuuyqdjaowu) |
| 2021-05-06 13:46:52 | × | Guest87676 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-05-06 13:47:01 | → | notzmv- joins (~zmv@unaffiliated/zmv) |
| 2021-05-06 13:47:07 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-06 13:47:13 | notzmv- | is now known as notzmv |
| 2021-05-06 13:47:19 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-06 13:48:03 | × | fendor quits (~fendor@91.141.1.157.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2021-05-06 13:48:13 | × | EvilMagix quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 276 seconds) |
| 2021-05-06 13:49:50 | <boxscape> | e.g. |
| 2021-05-06 13:49:51 | <boxscape> | % f :: Int# -> Int#; f _ = 3# |
| 2021-05-06 13:49:51 | <yahb> | boxscape: |
| 2021-05-06 13:50:00 | <boxscape> | % I# (f undefined) + 6 |
| 2021-05-06 13:50:00 | <yahb> | boxscape: *** Exception: Prelude.undefined; CallStack (from HasCallStack):; error, called at libraries/base/GHC/Err.hs:75:14 in base:GHC.Err; undefined, called at <interactive>:51:7 in interactive:Ghci23 |
| 2021-05-06 13:50:45 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-05-06 13:51:01 | → | Tene joins (~tene@mail.digitalkingdom.org) |
| 2021-05-06 13:51:01 | × | Tene quits (~tene@mail.digitalkingdom.org) (Changing host) |
| 2021-05-06 13:51:01 | → | Tene joins (~tene@poipu/supporter/slacker/tene) |
| 2021-05-06 13:51:11 | → | ByronJohnson joins (~bairyn@unaffiliated/bob0) |
| 2021-05-06 13:51:51 | × | jacks2 quits (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 2021-05-06 13:52:10 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 260 seconds) |
| 2021-05-06 13:53:00 | <Ferdirand> | % let x = undefined :: Int# in 0 |
| 2021-05-06 13:53:00 | <yahb> | Ferdirand: *** Exception: Prelude.undefined; CallStack (from HasCallStack):; error, called at libraries/base/GHC/Err.hs:75:14 in base:GHC.Err; undefined, called at <interactive>:52:9 in interactive:Ghci23 |
| 2021-05-06 13:53:02 | → | cheater joins (~user@unaffiliated/cheater) |
| 2021-05-06 13:53:26 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-06 13:53:38 | × | hyperisco_ quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Read error: Connection reset by peer) |
| 2021-05-06 13:53:44 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-06 13:54:02 | <__monty__> | boxscape: Thanks. |
| 2021-05-06 13:55:12 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-05-06 13:55:32 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-06 13:56:52 | <boxscape> | let x :: Int# = undefined |
| 2021-05-06 13:56:53 | <boxscape> | % let x :: Int# = undefined |
| 2021-05-06 13:56:53 | <yahb> | boxscape: ; <interactive>:53:5: error: Illegal type signature: `Int#' Type signatures are only allowed in patterns with ScopedTypeVariables |
| 2021-05-06 13:57:02 | <boxscape> | eh |
| 2021-05-06 13:57:07 | <boxscape> | wouldn't work anyway I've found out |
| 2021-05-06 13:58:26 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-06 13:58:33 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b9513e05ff4b2b19e02c9.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-06 14:02:36 | → | xkapastel joins (uid17782@gateway/web/irccloud.com/x-jvobihoengxrpmye) |
| 2021-05-06 14:03:33 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-06 14:04:09 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 245 seconds) |
| 2021-05-06 14:07:46 | × | anandprabhu__ quits (~AnandPrab@94.202.236.255) (Ping timeout: 240 seconds) |
| 2021-05-06 14:07:52 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-06 14:08:30 | → | lieven joins (~mal@2001:41d0:1:66c4::1) |
| 2021-05-06 14:13:25 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-05-06 14:13:36 | <kuribas> | how do you call a morphism from A to B and B to A, but only for a subset of A? |
| 2021-05-06 14:13:42 | <kuribas> | it's not an isomorphism, right? |
| 2021-05-06 14:13:51 | <kuribas> | because B represents a subset of A. |
| 2021-05-06 14:14:03 | <Uniaika> | yep |
| 2021-05-06 14:14:22 | <Uniaika> | kuribas: can you really say it's from A <-> B if it's only for a subset of A? :P |
| 2021-05-06 14:14:31 | <Uniaika> | like, maybe you can say it's a partial relationship? |
| 2021-05-06 14:14:48 | <kuribas> | like: f :: B -> A, f_inv :: A -> Maybe B |
| 2021-05-06 14:14:55 | → | todda7 joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 2021-05-06 14:15:24 | <kuribas> | and f_inv . f == Just |
| 2021-05-06 14:15:59 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-06 14:16:01 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 260 seconds) |
| 2021-05-06 14:16:21 | <kuribas> | Uniaika: I guess? |
| 2021-05-06 14:16:30 | <Uniaika> | hmm |
| 2021-05-06 14:16:37 | <Uniaika> | HMMM |
| 2021-05-06 14:16:57 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 265 seconds) |
| 2021-05-06 14:17:07 | <Uniaika> | then it may not be from A to B but from A to (Maybe B) |
| 2021-05-06 14:17:29 | <Uniaika> | hmm actually Nothing doesn't have a fixed mapping? |
| 2021-05-06 14:17:44 | <Uniaika> | agh, I can't give you more pointers on that, gotta ask the set theory peeps |
| 2021-05-06 14:17:47 | × | Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Ping timeout: 260 seconds) |
| 2021-05-06 14:18:01 | <nshepperd2> | an embedding of B in A? |
| 2021-05-06 14:18:35 | → | cheater joins (~user@unaffiliated/cheater) |
| 2021-05-06 14:19:28 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-05-06 14:21:40 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-06 14:23:08 | × | swater quits (bouhier200@perso.iiens.net) (Ping timeout: 246 seconds) |
| 2021-05-06 14:24:34 | <boxscape> | kuribas is there a difference between this and an injective map f : B -> A? |
| 2021-05-06 14:25:32 | <kuribas> | boxscape: no |
| 2021-05-06 14:25:35 | <tomsmeding> | is this not called an inclusion (of B in A) sometimes |
| 2021-05-06 14:26:28 | <superstar64> | i'm trying to conceptualize pointers in my language and i ran into this |
| 2021-05-06 14:26:29 | <superstar64> | `modify :: Pointer p => ((a, s1) ⊸ (a, s2)) ⊸ (p a, s1) ⊸ (p a, s2)` |
| 2021-05-06 14:26:38 | <superstar64> | is this a thing that exists yet? |
All times are in UTC.