Logs: freenode/#haskell
| 2021-03-14 16:31:51 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-14 16:34:05 | × | drdee quits (~drdee@93-33-1-171.ip42.fastwebnet.it) (Quit: Leaving) |
| 2021-03-14 16:35:05 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 2021-03-14 16:36:05 | → | ByronJohnson joins (~bairyn@unaffiliated/bob0) |
| 2021-03-14 16:36:38 | × | son0p quits (~son0p@181.136.122.143) (Quit: leaving) |
| 2021-03-14 16:37:41 | hackage | hlint 3.3 - Source code suggestions https://hackage.haskell.org/package/hlint-3.3 (NeilMitchell) |
| 2021-03-14 16:40:14 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Ping timeout: 264 seconds) |
| 2021-03-14 16:40:34 | → | Tene joins (~tene@mail.digitalkingdom.org) |
| 2021-03-14 16:40:34 | × | Tene quits (~tene@mail.digitalkingdom.org) (Changing host) |
| 2021-03-14 16:40:34 | → | Tene joins (~tene@poipu/supporter/slacker/tene) |
| 2021-03-14 16:42:26 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-14 16:43:53 | → | luke joins (~luke@bitnomial/staff/luke) |
| 2021-03-14 16:45:19 | <Uniaika> | mikoto-chan: lovely, thanks <3 |
| 2021-03-14 16:47:30 | → | MudNA joins (6c1cfc0d@pool-108-28-252-13.washdc.fios.verizon.net) |
| 2021-03-14 16:49:18 | → | hiptobecubic joins (~john@unaffiliated/hiptobecubic) |
| 2021-03-14 16:52:35 | → | jayok joins (~jayok@cpc147358-belf12-2-0-cust581.2-1.cable.virginm.net) |
| 2021-03-14 16:53:57 | <Gurkenglas> | uh oh haskell terms dont need brackets so long as every function is monomorphic this is not gonna bode well for my whiteboard math |
| 2021-03-14 16:54:55 | <Gurkenglas> | (and so long as every function is in prefix notation) |
| 2021-03-14 16:55:45 | × | forgottenone quits (~forgotten@176.42.24.172) (Ping timeout: 264 seconds) |
| 2021-03-14 16:56:08 | <tomsmeding> | Gurkenglas: what does polymorphism have to do with parentheses? |
| 2021-03-14 16:56:31 | <tomsmeding> | are you perhaps talking about using ($) with functions that have higher-rank types (as in RankNTypes)? |
| 2021-03-14 16:57:27 | <tomsmeding> | because that's because type inference is not strong enough for that; I believe GHC 9.2 (correct me if I'm wrong) will get Quick Look, which should make type inference stronger in that regard |
| 2021-03-14 16:58:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-14 16:59:11 | hackage | swiss-ephemeris 1.2.1.1 - Haskell bindings for the Swiss Ephemeris C library https://hackage.haskell.org/package/swiss-ephemeris-1.2.1.1 (lfborjas) |
| 2021-03-14 16:59:13 | <Gurkenglas> | tomsmeding, im saying that if "o :: (Int -> Int) -> Int" and "f :: Int -> Int" you can infer the brackets into "fof" |
| 2021-03-14 17:00:26 | <tomsmeding> | Gurkenglas: inspired by Husk? https://github.com/barbuz/Husk/wiki/Syntax#expressions |
| 2021-03-14 17:00:33 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 2021-03-14 17:01:45 | <Gurkenglas> | no just lazy with pen and paper and seeing how many brackets i can get away with leaving out of my proofs and noticing uh oh its all of them not sure whether this will make it harder to retrace later |
| 2021-03-14 17:02:14 | <tomsmeding> | Gurkenglas: I very strongly recommend not leaving out parentheses when reasoning about code :p |
| 2021-03-14 17:02:42 | <tomsmeding> | it's guaranteed to give you trouble sooner or later |
| 2021-03-14 17:02:50 | <tomsmeding> | as you've found out :p |
| 2021-03-14 17:03:57 | → | ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net) |
| 2021-03-14 17:04:03 | <tomsmeding> | Gurkenglas: I mean, look at lisp |
| 2021-03-14 17:07:24 | → | Sornaensis joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-03-14 17:07:33 | × | Sornaensis quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Client Quit) |
| 2021-03-14 17:07:48 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:80e8:9909:c137:d367) |
| 2021-03-14 17:08:46 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-hybevmfrefszbchw) |
| 2021-03-14 17:09:28 | → | Sornaensis joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-03-14 17:12:16 | × | conal quits (~conal@192.145.118.107) (Quit: Computer has gone to sleep.) |
| 2021-03-14 17:12:38 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:80e8:9909:c137:d367) (Ping timeout: 264 seconds) |
| 2021-03-14 17:13:03 | → | conal joins (~conal@192.145.118.107) |
| 2021-03-14 17:13:45 | × | hiptobecubic quits (~john@unaffiliated/hiptobecubic) (Quit: WeeChat 3.0) |
| 2021-03-14 17:13:55 | × | conal quits (~conal@192.145.118.107) (Client Quit) |
| 2021-03-14 17:14:37 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 2021-03-14 17:16:29 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-14 17:16:41 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-03-14 17:17:02 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-03-14 17:18:46 | → | entel joins (uid256215@botters/entel) |
| 2021-03-14 17:20:26 | × | rdd` quits (~rdd@c-2983e555.012-81-73746f39.cust.ownit.se) (Ping timeout: 256 seconds) |
| 2021-03-14 17:23:32 | → | Lycurgus joins (~niemand@98.4.115.230) |
| 2021-03-14 17:24:30 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-ucvijfuheygbyqkt) (Quit: Connection closed for inactivity) |
| 2021-03-14 17:26:54 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-14 17:27:42 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-03-14 17:28:06 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-14 17:28:29 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-14 17:29:00 | <Gurkenglas> | hmm. ⊥,fg⊥,ffgg⊥,fffggg⊥,ffffgggg⊥,... doesnt converge to fffff... . Concerning... |
| 2021-03-14 17:29:56 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-03-14 17:31:14 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
| 2021-03-14 17:32:09 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Quit: Quit) |
| 2021-03-14 17:33:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-03-14 17:33:33 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-03-14 17:34:36 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-14 17:36:32 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 2021-03-14 17:38:26 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-14 17:39:06 | <hpc> | sure it does |
| 2021-03-14 17:39:18 | <hpc> | consider f = (1:), g = (2:) |
| 2021-03-14 17:39:33 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-14 17:41:26 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) (Ping timeout: 264 seconds) |
| 2021-03-14 17:41:41 | hackage | timezone-detect 0.3.0.1 - Haskell bindings for the zone-detect C library; plus tz-aware utils. https://hackage.haskell.org/package/timezone-detect-0.3.0.1 (lfborjas) |
| 2021-03-14 17:42:25 | × | ADG1089__ quits (~aditya@106.212.74.137) (Quit: Konversation terminated!) |
| 2021-03-14 17:42:36 | <Gurkenglas> | hpc, sure or f=g=⊥. doesnt hold for all f though. consider f (x,y) = (x,1:y); g (x,y) = (2:x,y) |
| 2021-03-14 17:42:39 | → | _noblegas joins (uid91066@gateway/web/irccloud.com/x-ehyqidvclvsvmwql) |
| 2021-03-14 17:42:42 | <Gurkenglas> | *for all f,g |
| 2021-03-14 17:45:08 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-14 17:48:13 | <monochrom> | Are you sure you care about fffggg? Or should it be fgfgfg? |
| 2021-03-14 17:48:15 | <hpc> | that converges on bottom in both cases |
| 2021-03-14 17:48:23 | <hpc> | f is strict |
| 2021-03-14 17:48:41 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-14 17:48:57 | → | elusive joins (~Jeanne-Ka@static-198-54-134-107.cust.tzulo.com) |
| 2021-03-14 17:49:13 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-14 17:50:19 | <tomsmeding> | Gurkenglas: try 'f p = (fst p, 1 : snd p)' and 'g p = (2 : fst p, snd p)', or if you like lazy pattern matches, 'f ~(x,y) = (x,1:y)' and 'g ~(x,y) = (2:x,y)' |
| 2021-03-14 17:50:26 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-14 17:51:07 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-14 17:55:53 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-14 17:57:41 | <Guest72818> | tomsmeding: What does the ~ mean in `f ~(x,y) = ...` Is it the opposite of `f !(x,y) = ...` with BangPatterns? |
| 2021-03-14 17:57:58 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 245 seconds) |
| 2021-03-14 17:58:26 | Guest72818 | is now known as swarmcollective |
| 2021-03-14 17:58:48 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:408f:2dd3:6494:affd) |
| 2021-03-14 17:59:24 | <geekosaur> | yes, it forces a lazy match |
| 2021-03-14 17:59:32 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 256 seconds) |
| 2021-03-14 17:59:34 | <geekosaur> | patterns are normally strict |
| 2021-03-14 17:59:44 | <tomsmeding> | Search for "lazy pattern match" |
| 2021-03-14 18:00:03 | <geekosaur> | or "irrefutable pattern match" as the Report calls it |
| 2021-03-14 18:00:19 | <tomsmeding> | Ah thanks |
| 2021-03-14 18:00:25 | × | Lycurgus quits (~niemand@98.4.115.230) (Quit: Exeunt) |
| 2021-03-14 18:00:33 | <tomsmeding> | Perhaps the haskell wiki page should have a mention of that name |
| 2021-03-14 18:00:42 | <geekosaur> | although that also covers things like _ and x |
| 2021-03-14 18:00:56 | <swarmcollective> | geekosaur: tomsmeding: Thank you! Are they a "suggestion" or a "mandate"? `they` referring to both ~ and ~ |
| 2021-03-14 18:01:13 | <swarmcollective> | ~ and ! (typing is hard) :D |
| 2021-03-14 18:01:20 | <tomsmeding> | Mandate |
All times are in UTC.