Logs: freenode/#haskell
| 2021-03-23 11:41:45 | × | frozenErebus quits (~frozenEre@94.128.81.87) (Ping timeout: 256 seconds) |
| 2021-03-23 11:42:42 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 2021-03-23 11:44:11 | → | frozenErebus joins (~frozenEre@94.128.81.87) |
| 2021-03-23 11:44:43 | → | ClaudiusMaximus joins (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) |
| 2021-03-23 11:44:54 | × | ClaudiusMaximus quits (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host) |
| 2021-03-23 11:44:54 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 2021-03-23 11:46:15 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-03-23 11:47:26 | × | xff0x quits (~xff0x@2001:1a81:5390:3000:995b:3aea:9e89:d26f) (Ping timeout: 240 seconds) |
| 2021-03-23 11:48:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-03-23 11:48:36 | → | xff0x joins (~xff0x@2001:1a81:5390:3000:dc2a:4ff5:6535:8a68) |
| 2021-03-23 11:49:05 | <fuzzypixelz> | I understand dminuoso's explanation, however, I fail to see how `fix not :: Bool` would be a type error |
| 2021-03-23 11:49:30 | <dminuoso> | fuzzypixelz: Will `fix not` terminate? |
| 2021-03-23 11:49:32 | <dminuoso> | Or rather |
| 2021-03-23 11:49:37 | <dminuoso> | What's the value of `fix not`? |
| 2021-03-23 11:49:39 | <dminuoso> | Is it True? False? |
| 2021-03-23 11:50:11 | <fuzzypixelz> | not it won't terminate because it keeps negating its input forever |
| 2021-03-23 11:50:20 | <dminuoso> | So is it True or False? |
| 2021-03-23 11:50:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-23 11:50:46 | <fuzzypixelz> | it's neither? |
| 2021-03-23 11:51:30 | <dminuoso> | But if the values of `Bool` are only True or False, that's a problem then. |
| 2021-03-23 11:52:19 | <fuzzypixelz> | oh thank you that's much clearer now |
| 2021-03-23 11:52:33 | <ski> | L29Ah : not really |
| 2021-03-23 11:53:18 | L29Ah | sprinkles his code with traceShowId's |
| 2021-03-23 11:53:40 | <dminuoso> | fuzzypixelz: What we do, is call values that dont terminate (infinite recursion, errors) "bottom", usually denoted _|_, and say that this value _|_ is a member of every type. |
| 2021-03-23 11:54:40 | <jacks2> | is it just a coincidence that _|_ looks like buttocks? :) |
| 2021-03-23 11:55:05 | <ski> | any expression could possibly not terminate. we call the "result value" of such an expression "bottom". it's not an actual result, because it doesn't actually terminate, but conceptually, we can think of it as a thing, representing "not defined" |
| 2021-03-23 11:55:07 | × | glguy quits (x@freenode/staff/haskell.developer.glguy) (Read error: Connection reset by peer) |
| 2021-03-23 11:55:10 | <ski> | yes |
| 2021-03-23 11:55:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-23 11:55:28 | <dminuoso> | Im not sure whether its a coincidence. |
| 2021-03-23 11:56:01 | <dminuoso> | Perhaps its from lattice theory? |
| 2021-03-23 11:56:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-23 11:56:24 | <dminuoso> | _|_ could be visually interpreted as like something sitting at the bottom |
| 2021-03-23 11:56:32 | <ski> | ⌜⊥⌝ is the symbol that the ascii version `_|_' is meant to resemble, that symbol is just an upside-down ⌜⊤⌝, which is a stylized `T', for "top" |
| 2021-03-23 11:56:49 | <ski> | and yes, the symbol comes from order theory, lattices |
| 2021-03-23 11:56:59 | <ski> | (via domain theory, and denotational semantics) |
| 2021-03-23 11:57:21 | → | glguy joins (x@freenode/staff/haskell.developer.glguy) |
| 2021-03-23 11:58:44 | <ski> | @quote denotational semantics |
| 2021-03-23 11:58:45 | <lambdabot> | No quotes for this person. This mission is too important for me to allow you to jeopardize it. |
| 2021-03-23 11:58:48 | <ski> | @quote denotational.semantics |
| 2021-03-23 11:58:48 | <lambdabot> | vincenz says: Binkley: the sex is all in the operational semantics, denotational semantics only deals with love |
| 2021-03-23 11:59:01 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-23 11:59:04 | <ski> | @quote no.comprehensible |
| 2021-03-23 11:59:04 | <lambdabot> | quicksilver says: C++ templates are a vile obscenity with no theoretical foundation and no comprehensible denotational semantics. Please do not compare them to haskell types or classes again. |
| 2021-03-23 11:59:21 | <fuzzy_id> | @peanut: Linux |
| 2021-03-23 11:59:21 | <lambdabot> | Unknown command, try @list |
| 2021-03-23 11:59:47 | <dminuoso> | ski: Regarding that last bit, do you know the standard compliant non-const constexpr hack, where a constexpr in two subsequent uses evaluates to different expressions? |
| 2021-03-23 11:59:49 | <fuzzy_id> | @peanut_: Linux |
| 2021-03-23 11:59:50 | <lambdabot> | Unknown command, try @list |
| 2021-03-23 12:00:18 | <dminuoso> | ski: C++ [...] is a vile obscenity with no theoretical foundation and no comprehensible denotational semantics. :-) |
| 2021-03-23 12:01:05 | → | ddellacosta joins (~ddellacos@86.106.143.100) |
| 2021-03-23 12:01:41 | <merijn> | It doesn't even have a well defined grammar :p |
| 2021-03-23 12:01:41 | <peanut_> | fuzzy_id ctrl+c keeps ghci open for me, strange |
| 2021-03-23 12:01:43 | <ski> | fuzzy_id : fwiw, it's not IRC custom to adorn nicknames with sigils (like `@'). if you want to address, or refer to, someone, simply mention their nickname. many IRC clients will highlight/alert their user if the nickname is mentioned at the very start of the message (commonly followed by a comma or a colon, and the bulk of the message). not as many, if it's mentioned later. putting a `@' at the front makes |
| 2021-03-23 12:01:49 | <ski> | it come not at the start |
| 2021-03-23 12:02:10 | <ski> | dminuoso : haven't seen it, but i'm not that surprised .. |
| 2021-03-23 12:02:13 | <peanut_> | dminuoso yes |
| 2021-03-23 12:03:01 | × | cabpa quits (~cabpa@180.190.165.139) (Remote host closed the connection) |
| 2021-03-23 12:04:08 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-03-23 12:04:35 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-03-23 12:05:16 | <fuzzy_id> | ski: Yeah, I used to know that. Sorry, bad social networking habits. |
| 2021-03-23 12:05:24 | <peanut_> | fuzzy_id sending SIGINT to ghc keeps it open for me, can you try "kill -SIGINT $(pidof ghc)" |
| 2021-03-23 12:05:42 | <ski> | (IRC is social networking) |
| 2021-03-23 12:05:47 | × | ddellacosta quits (~ddellacos@86.106.143.100) (Ping timeout: 260 seconds) |
| 2021-03-23 12:06:16 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-23 12:06:48 | <fuzzy_id> | peanut_: Ah yeah, just noticed that it's actually not a ghci thing, but rather something in `stack repl`. |
| 2021-03-23 12:07:27 | <peanut_> | interesting |
| 2021-03-23 12:07:32 | <fuzzy_id> | … with docker backend. |
| 2021-03-23 12:08:00 | <fuzzy_id> | Not sure what that starts. |
| 2021-03-23 12:11:29 | × | plutoniix quits (~q@184.82.202.5) (Quit: Leaving) |
| 2021-03-23 12:14:50 | → | codygman` joins (~user@47.186.207.161) |
| 2021-03-23 12:16:25 | → | Lycurgus joins (~niemand@98.4.116.165) |
| 2021-03-23 12:16:35 | × | fuzzy_id quits (~user@78.30.11.72) (Ping timeout: 272 seconds) |
| 2021-03-23 12:18:16 | → | roconnor joins (~roconnor@host-45-58-230-226.dyn.295.ca) |
| 2021-03-23 12:18:59 | → | friyin joins (~friyin4@46.136.209.213) |
| 2021-03-23 12:19:24 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 2021-03-23 12:23:21 | × | frozenErebus quits (~frozenEre@94.128.81.87) (Ping timeout: 264 seconds) |
| 2021-03-23 12:23:31 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-03-23 12:26:05 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-23 12:26:38 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-23 12:26:58 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-23 12:27:16 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 265 seconds) |
| 2021-03-23 12:27:26 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 2021-03-23 12:27:44 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-03-23 12:27:50 | → | jonathanx_ joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-03-23 12:28:50 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 264 seconds) |
| 2021-03-23 12:29:29 | → | jespada joins (~jespada@90.254.243.187) |
| 2021-03-23 12:30:32 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Ping timeout: 240 seconds) |
| 2021-03-23 12:30:56 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-03-23 12:32:08 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 245 seconds) |
| 2021-03-23 12:32:37 | × | hiroaki1 quits (~hiroaki@2a02:8108:8c40:2bb8:7b72:cc15:1305:937f) (Ping timeout: 260 seconds) |
| 2021-03-23 12:33:29 | → | hiroaki1 joins (~hiroaki@2a02:8108:8c40:2bb8:7bda:a87f:4d01:e46e) |
| 2021-03-23 12:34:13 | × | Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator") |
| 2021-03-23 12:34:32 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-23 12:34:54 | → | Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-03-23 12:35:19 | → | ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-23 12:35:30 | → | fuzzy_id joins (~user@78.30.11.72) |
| 2021-03-23 12:38:41 | × | Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2021-03-23 12:39:16 | → | Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-03-23 12:39:33 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds) |
All times are in UTC.