Logs: liberachat/#haskell
| 2021-08-12 15:13:45 | <tomsmeding> | Four similar lines, for different responses |
| 2021-08-12 15:16:11 | → | thyriaen joins (~thyriaen@dynamic-078-055-014-077.78.55.pool.telefonica.de) |
| 2021-08-12 15:16:16 | <tomsmeding> | boxscape: isn't the point that type-level operators starting with : are "lowercase operators" and those that do not "uppercase operators" |
| 2021-08-12 15:16:20 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-12 15:16:23 | chris | is now known as Guest5293 |
| 2021-08-12 15:16:29 | <tomsmeding> | Wait no that makes no sense, ignore |
| 2021-08-12 15:17:03 | → | Guest84 joins (~Guest84@2406:3003:2006:447e:9d85:ae5b:bc5f:9191) |
| 2021-08-12 15:17:08 | <janus> | can you really override (:) ? i thought it was special |
| 2021-08-12 15:17:20 | <geekosaur> | so did I tbh |
| 2021-08-12 15:17:21 | <janus> | % let (:) :: Int = 5 |
| 2021-08-12 15:17:21 | <yahb> | janus: ; <interactive>:8:5: error:; * The constructor `:' should have 2 arguments, but has been given none; * In the pattern: (:); In the pattern: (:) :: Int; In a pattern binding: (:) :: Int = 5; <interactive>:8:5: error:; * Couldn't match expected type `Int' with actual type `[a0]'; * In the pattern: (:); In the pattern: (:) :: Int; In a pattern binding: (:) :: Int = 5 |
| 2021-08-12 15:17:24 | <boxscape> | it is special but I don't see why it needs to be |
| 2021-08-12 15:17:40 | <boxscape> | on the term level, fine |
| 2021-08-12 15:17:48 | <boxscape> | but on the type level it shouldn't need to be special |
| 2021-08-12 15:17:55 | <boxscape> | unless I'm missing something |
| 2021-08-12 15:17:58 | <boxscape> | which is quite possible |
| 2021-08-12 15:18:22 | <tomsmeding> | I guess the specialness is lifted because of DataKinds |
| 2021-08-12 15:18:43 | <boxscape> | time to track down a pre-DataKinds ghc version to see if it was special then |
| 2021-08-12 15:19:20 | <tomsmeding> | That would be an old ghc |
| 2021-08-12 15:20:42 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-08-12 15:20:52 | × | Guest5293 quits (~chris@81.96.113.213) (Ping timeout: 256 seconds) |
| 2021-08-12 15:21:08 | <boxscape> | actually though if it's valid Haskell98 it should still work with today's GHC unless it's mentioned in the known bugs and infelicities section |
| 2021-08-12 15:21:46 | <tomsmeding> | TIL the datakinds ' doesn't need to be attached to the name; ' A is a fine promoted A |
| 2021-08-12 15:22:03 | <tomsmeding> | https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts/data_kinds.html#distinguishing-between-types-and-constructors |
| 2021-08-12 15:22:25 | <boxscape> | -Wno-unticked-promoted-constructors is one of the first things I enable usually |
| 2021-08-12 15:22:33 | <boxscape> | so ghc doesn't tell me to use ticks |
| 2021-08-12 15:22:40 | <boxscape> | oh wait |
| 2021-08-12 15:22:45 | <boxscape> | I misunderstood what you wrote |
| 2021-08-12 15:23:32 | <tomsmeding> | Yeah I was writing about the allowed space |
| 2021-08-12 15:24:00 | <tomsmeding> | And the horrible syntax ' A' |
| 2021-08-12 15:24:03 | → | infinity0 joins (~infinity0@occupy.ecodis.net) |
| 2021-08-12 15:24:21 | <boxscape> | ah, nice |
| 2021-08-12 15:25:21 | × | ubert quits (~Thunderbi@178.165.160.157.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 2021-08-12 15:27:37 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-12 15:28:37 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-12 15:29:23 | → | Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
| 2021-08-12 15:32:30 | → | ubert joins (~Thunderbi@178.165.183.198.wireless.dyn.drei.com) |
| 2021-08-12 15:33:31 | → | doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net) |
| 2021-08-12 15:35:16 | × | mc47 quits (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 2021-08-12 15:35:29 | → | burnsidesLlama joins (~burnsides@dhcp168-018.wadham.ox.ac.uk) |
| 2021-08-12 15:36:33 | × | ubert quits (~Thunderbi@178.165.183.198.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 2021-08-12 15:37:08 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-12 15:38:43 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-12 15:38:43 | × | thyriaen quits (~thyriaen@dynamic-078-055-014-077.78.55.pool.telefonica.de) (Quit: Leaving) |
| 2021-08-12 15:38:50 | <boxscape> | alas, the whitespace between tick and constructor can't include a newline |
| 2021-08-12 15:39:42 | × | burnsidesLlama quits (~burnsides@dhcp168-018.wadham.ox.ac.uk) (Ping timeout: 245 seconds) |
| 2021-08-12 15:40:00 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-12 15:41:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-12 15:42:55 | → | ubert joins (~Thunderbi@77.119.168.246.wireless.dyn.drei.com) |
| 2021-08-12 15:47:50 | × | Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Remote host closed the connection) |
| 2021-08-12 15:48:33 | → | fjvallarino joins (~fjvallari@186.136.54.215) |
| 2021-08-12 15:48:54 | → | kor1 joins (~kor1@user/kor1) |
| 2021-08-12 15:49:20 | × | chomwitt quits (~chomwitt@athedsl-32301.home.otenet.gr) (Ping timeout: 252 seconds) |
| 2021-08-12 15:51:12 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-08-12 15:51:13 | → | Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
| 2021-08-12 15:56:44 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-12 15:58:16 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 268 seconds) |
| 2021-08-12 15:59:21 | × | Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Remote host closed the connection) |
| 2021-08-12 15:59:40 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 272 seconds) |
| 2021-08-12 16:02:38 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-08-12 16:02:40 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-08-12 16:05:21 | <tomsmeding> | boxscape: not sure how "alas" that is |
| 2021-08-12 16:05:51 | <boxscape> | it depends on how exciting you want your code to be to unsuspecting readers |
| 2021-08-12 16:05:52 | → | Matthias1 joins (~Matthias1@2603-8001-b545-4900-756a-c676-ad1d-a3a6.res6.spectrum.com) |
| 2021-08-12 16:05:53 | <geekosaur> | yeh, that just sounds li8ke a way t confuse the reader |
| 2021-08-12 16:06:23 | <geekosaur> | remember that also means you in 6b months |
| 2021-08-12 16:06:38 | × | ubert quits (~Thunderbi@77.119.168.246.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2021-08-12 16:07:39 | → | burnsidesLlama joins (~burnsides@dhcp168-018.wadham.ox.ac.uk) |
| 2021-08-12 16:07:59 | × | agua_pesada quits (~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea) (Read error: Connection reset by peer) |
| 2021-08-12 16:08:00 | × | markpythonicbitc quits (~markpytho@50.228.44.6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-12 16:08:30 | → | ubert joins (~Thunderbi@77.119.168.246.wireless.dyn.drei.com) |
| 2021-08-12 16:09:02 | × | MidAutumnMoon quits (~MidAutumn@user/midautumnmoon) (Quit: Leaving for a break - theLounge) |
| 2021-08-12 16:09:12 | → | MidAutumnMoon joins (~MidAutumn@user/midautumnmoon) |
| 2021-08-12 16:11:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-12 16:11:09 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-12 16:11:18 | × | xff0x quits (~xff0x@2001:1a81:5238:9600:357e:7c22:5b05:e9dc) (Ping timeout: 256 seconds) |
| 2021-08-12 16:11:23 | <kuribas> | Why does <*> needs to be the same as `ap`? |
| 2021-08-12 16:11:43 | <kuribas> | Wouldn't it make more sense then to have `ap` in the monad class, so it can be paralellized? |
| 2021-08-12 16:11:47 | → | xff0x joins (~xff0x@2001:1a81:5238:9600:4e29:abec:ca9f:ff16) |
| 2021-08-12 16:12:03 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-12 16:13:41 | × | ubert quits (~Thunderbi@77.119.168.246.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2021-08-12 16:13:41 | × | burnsidesLlama quits (~burnsides@dhcp168-018.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-08-12 16:13:47 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-08-12 16:15:01 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-12 16:15:19 | <kuribas> | I just feel some of these "laws" are very "arbitrary". |
| 2021-08-12 16:15:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-08-12 16:15:59 | <geekosaur> | I think that's just so you can backform an Applicative for an existing Monad by setting <*> = ap |
| 2021-08-12 16:16:25 | <geekosaur> | having toi do with the transitional days of AMP |
| 2021-08-12 16:16:46 | × | dermato quits (~dermatobr@154.21.23.75) (Ping timeout: 272 seconds) |
| 2021-08-12 16:17:28 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-08-12 16:17:43 | <kuribas> | right |
| 2021-08-12 16:19:27 | <geekosaur> | also, you can't in general parallelize a Monad, can you? |
| 2021-08-12 16:23:00 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-12 16:23:39 | → | seiryn joins (~seiryn@2a01cb0409c990003ccf6635f6976a70.ipv6.abo.wanadoo.fr) |
| 2021-08-12 16:26:31 | <tomsmeding> | geekosaur: if ap was defined as <*>, you could potentially parallelise ap |
| 2021-08-12 16:26:40 | <kuribas> | geekosaur: no |
| 2021-08-12 16:26:51 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-12 16:26:54 | chris | is now known as Guest2327 |
| 2021-08-12 16:28:33 | → | dermato joins (~dermatobr@154.21.23.75) |
| 2021-08-12 16:28:58 | → | markpythonicbitc joins (~markpytho@2600:380:846c:ec0b:a0cc:2cb7:7089:4f8) |
All times are in UTC.