Logs: freenode/#haskell
| 2021-03-14 18:01:37 | <swarmcollective> | Interesting! |
| 2021-03-14 18:01:55 | <tomsmeding> | `let f ~(x,y) = 1 in f undefined` shall not crash |
| 2021-03-14 18:01:57 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 2021-03-14 18:01:59 | <geekosaur> | the Report section that describes ~ shows a situation where ~ is necessary |
| 2021-03-14 18:02:15 | <geekosaur> | and that doesn't involve undefined |
| 2021-03-14 18:02:39 | → | geowiesnot_bis joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-03-14 18:02:58 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-03-14 18:03:21 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-03-14 18:05:30 | × | luke quits (~luke@bitnomial/staff/luke) (Quit: sleep) |
| 2021-03-14 18:06:19 | <monochrom> | _ and x are irrefusible patterns >:) |
| 2021-03-14 18:06:34 | <monochrom> | "a pattern that you cannot refuse to match" |
| 2021-03-14 18:06:42 | <koz_> | monochrom: Godfather patterns. |
| 2021-03-14 18:08:17 | → | mirrorbird joins (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 2021-03-14 18:08:54 | → | sparsity joins (5ce955fb@gateway/web/cgi-irc/kiwiirc.com/ip.92.233.85.251) |
| 2021-03-14 18:09:06 | → | aenesidemus joins (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net) |
| 2021-03-14 18:10:23 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-14 18:10:35 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-14 18:13:54 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-03-14 18:17:00 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-14 18:18:43 | <tomsmeding> | monochrom: you can if writing the thing itself is a type error, e.g. 'f :: Int ; f _ = 1' |
| 2021-03-14 18:19:03 | <tomsmeding> | And if thay doesn't count, then ~(x,y) is also an irrefusible pattern :) |
| 2021-03-14 18:19:08 | <tomsmeding> | *that |
| 2021-03-14 18:20:24 | → | __minoru__shirae joins (~shiraeesh@46.34.207.217) |
| 2021-03-14 18:21:14 | × | minoru_shiraeesh quits (~shiraeesh@109.166.56.65) (Ping timeout: 260 seconds) |
| 2021-03-14 18:21:30 | × | kuribas quits (~user@ptr-25vy0i7ct6alt7330p7.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-03-14 18:21:37 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-14 18:21:57 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-14 18:24:36 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Quit: leaving) |
| 2021-03-14 18:25:02 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-03-14 18:25:48 | → | luke joins (~luke@bitnomial/staff/luke) |
| 2021-03-14 18:26:13 | → | remal joins (~remal@d24-57-234-201.home.cgocable.net) |
| 2021-03-14 18:26:43 | <remal> | [haskell language server question] is there a fallback hie.yaml when none exists? |
| 2021-03-14 18:26:44 | × | aenesidemus quits (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net) (Quit: Leaving) |
| 2021-03-14 18:26:44 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 2021-03-14 18:27:33 | <koz_> | Isn't there an HLS-related channel? |
| 2021-03-14 18:29:38 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-14 18:30:46 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-14 18:31:07 | <maerwald> | remal: I think so, but it rarely works. There's also cabal-hie now |
| 2021-03-14 18:31:41 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-14 18:31:46 | <maerwald> | remal: https://github.com/phadej/cabal-extras/tree/master/cabal-hie |
| 2021-03-14 18:32:45 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-03-14 18:33:03 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-14 18:33:09 | <remal> | maerwald: is this because of the hie-bios being unreliable? |
| 2021-03-14 18:33:22 | <remal> | or is that an unrelated issue? |
| 2021-03-14 18:33:38 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-14 18:33:38 | <maerwald> | not sure which component it is |
| 2021-03-14 18:33:41 | <remal> | koz_: no, I don't think there is |
| 2021-03-14 18:33:54 | <maerwald> | remal: #haskell-language-server |
| 2021-03-14 18:34:04 | <remal> | maerwald: oh, thanks! |
| 2021-03-14 18:36:12 | hackage | utility-ht 0.0.16 - Various small helper functions for Lists, Maybes, Tuples, Functions https://hackage.haskell.org/package/utility-ht-0.0.16 (HenningThielemann) |
| 2021-03-14 18:36:29 | ← | remal parts (~remal@d24-57-234-201.home.cgocable.net) () |
| 2021-03-14 18:36:35 | → | remal joins (~remal@d24-57-234-201.home.cgocable.net) |
| 2021-03-14 18:37:41 | hackage | hexpat-streamparser 0.1.0 - https://hackage.haskell.org/package/hexpat-streamparser-0.1.0 (KristofBastiaensen) |
| 2021-03-14 18:37:51 | → | nfd joins (~nfd9001@2601:602:77f:1820:cc46:50b4:72bc:69a0) |
| 2021-03-14 18:37:54 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Remote host closed the connection) |
| 2021-03-14 18:38:38 | <Uniaika> | hehehe, I spent a couple of hours with kuribas, and *paf* he releases his lib! |
| 2021-03-14 18:38:39 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-03-14 18:38:39 | <Uniaika> | :D |
| 2021-03-14 18:38:47 | <koz_> | Productive. |
| 2021-03-14 18:38:59 | <Uniaika> | that is *not* my middle name :D |
| 2021-03-14 18:39:16 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-14 18:39:38 | <koz_> | Nor mine. |
| 2021-03-14 18:40:34 | → | dnlkrgr joins (~dnlkrgr@HSI-KBW-046-005-005-120.hsi8.kabel-badenwuerttemberg.de) |
| 2021-03-14 18:42:33 | × | jayok quits (~jayok@cpc147358-belf12-2-0-cust581.2-1.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2021-03-14 18:44:53 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 2021-03-14 18:45:00 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-14 18:46:15 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-14 18:46:28 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-03-14 18:46:51 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-03-14 18:48:41 | → | rickygee joins (~rickygee@236-53-74-65.gci.net) |
| 2021-03-14 18:50:27 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-03-14 18:51:30 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-03-14 18:52:07 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-14 18:52:14 | × | dexterlb_ quits (~dexterlb@2a01:9e40:2:2::2) (Quit: Boing) |
| 2021-03-14 18:58:45 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 264 seconds) |
| 2021-03-14 19:00:14 | × | 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-14 19:00:25 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-03-14 19:00:41 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-03-14 19:01:06 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-03-14 19:01:16 | → | Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-03-14 19:02:14 | <Gurkenglas> | irrefutable pattern matches let me write "map all above x to itself, everything else to x" for every particular x i have available at time of writing the code. is there a function a -> a -> a which does this? i could write it for Generic a... |
| 2021-03-14 19:03:33 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2021-03-14 19:04:03 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-03-14 19:04:19 | <Gurkenglas> | oh uh "above" = "more defined than" |
| 2021-03-14 19:04:34 | <Gurkenglas> | gurk x y = if x less defined than y then y else x |
| 2021-03-14 19:04:50 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
| 2021-03-14 19:05:06 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-03-14 19:05:26 | <Gurkenglas> | ah, gurk x y = (x `glb` y) `lub` y |
| 2021-03-14 19:05:35 | → | dexterlb joins (~dexterlb@2a01:9e40:2:2::2) |
| 2021-03-14 19:07:01 | <Gurkenglas> | (though lub still sorta depends on Generic so if you have another way, out with it) |
| 2021-03-14 19:07:16 | <Gurkenglas> | this is useful because fix (f . gurk x) gives the least fixpoint of f above x. |
| 2021-03-14 19:09:42 | <Gurkenglas> | > let p = (fst p, 1:snd p) in p -- tomsmeding, this is ffffff... |
| 2021-03-14 19:09:44 | <lambdabot> | (*Exception: <<loop>> |
| 2021-03-14 19:09:49 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-14 19:10:59 | <Gurkenglas> | let f p = (fst p, 1 : snd p); g p = (2 : fst p, snd p) in f(f(g(g(undefined)))) -- this is ffgg⊥. As you see, it is not less defined than ffffff... |
| 2021-03-14 19:11:11 | <Gurkenglas> | > let f p = (fst p, 1 : snd p); g p = (2 : fst p, snd p) in f(f(g(g(undefined)))) |
| 2021-03-14 19:11:13 | <lambdabot> | ([2,2*Exception: Prelude.undefined |
| 2021-03-14 19:12:17 | × | 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-14 19:12:38 | → | benkolera joins (uid285671@gateway/web/irccloud.com/x-dasgfjgzoqobrquc) |
| 2021-03-14 19:13:07 | → | Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
All times are in UTC.