Logs: freenode/#haskell
| 2021-05-05 23:04:39 | × | mterwoord quits (~mterwoord@185.163.110.100) (Remote host closed the connection) |
| 2021-05-05 23:05:21 | <heebo> | coding plutus |
| 2021-05-05 23:05:52 | <monochrom> | Huh are you in the wrong channel? |
| 2021-05-05 23:07:17 | <heebo> | nope |
| 2021-05-05 23:07:23 | × | stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.1) |
| 2021-05-05 23:09:42 | × | Guest43271 quits (~zmv@unaffiliated/zmv) (Ping timeout: 268 seconds) |
| 2021-05-05 23:11:40 | <Axman6> | I guess plutus is implemented in Haskell? I don't know of anyone in here working with Cardano or IOHK's other stuff |
| 2021-05-05 23:13:24 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-05 23:13:32 | × | DavidEichmann quits (~david@156.59.147.147.dyn.plus.net) (Ping timeout: 252 seconds) |
| 2021-05-05 23:13:44 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 23:14:07 | <Axman6> | (There's a walk at LambdaJam today by John Hughes about testing crypto contracts using quickcheck, which might be relevant. you might still be able to buy tickets to get access to the live stream |
| 2021-05-05 23:14:18 | <Axman6> | talk* )* |
| 2021-05-05 23:15:57 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-05-05 23:15:58 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 23:17:49 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-05 23:18:21 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) |
| 2021-05-05 23:18:55 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 2021-05-05 23:18:59 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-05-05 23:19:39 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-05 23:20:20 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:5226:d695:8fe3:b090) |
| 2021-05-05 23:21:00 | → | Eramdam1 joins (~Eramdam@185.204.1.185) |
| 2021-05-05 23:21:46 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-05-05 23:22:56 | × | jgt_ quits (~jgt@87.227.221.129) (Ping timeout: 260 seconds) |
| 2021-05-05 23:23:30 | <Axman6> | heebo: did you have an actual question, preferably related to Haskell? |
| 2021-05-05 23:23:52 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-05 23:23:52 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 2021-05-05 23:24:01 | × | Gurkenglas_ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds) |
| 2021-05-05 23:25:44 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-05-05 23:28:46 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 260 seconds) |
| 2021-05-05 23:30:10 | → | kderme joins (2e675c7c@46-92-124.adsl.cyta.gr) |
| 2021-05-05 23:32:52 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-05 23:33:57 | <sm[m]> | welcome heebo. Not too much cardano chat or plutus experience here |
| 2021-05-05 23:34:31 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-05 23:37:34 | <sm[m]> | there's a #cardano.. no #plutus yet |
| 2021-05-05 23:37:35 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-05 23:37:45 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection) |
| 2021-05-05 23:38:00 | → | vgtw joins (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-05-05 23:38:44 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-05 23:38:45 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-05-05 23:39:18 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
| 2021-05-05 23:40:47 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-05-05 23:41:52 | <VarikValefor[m]> | electricityZZZZ: Nice username. |
| 2021-05-05 23:42:08 | × | thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-05-05 23:43:16 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-05 23:47:17 | × | apoc quits (~apoc@49.12.13.193) (Ping timeout: 252 seconds) |
| 2021-05-05 23:48:18 | → | jgt_ joins (~jgt@87.227.221.129) |
| 2021-05-05 23:48:49 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 23:49:10 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-05 23:52:16 | × | heebo quits (~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-05-05 23:52:45 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-05-05 23:59:34 | → | apoc joins (~apoc@49.12.13.193) |
| 2021-05-06 00:00:32 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-05-06 00:00:52 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-06 00:01:58 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-06 00:02:48 | × | ADG1089 quits (~aditya@122.163.193.183) (Quit: Konversation terminated!) |
| 2021-05-06 00:03:14 | → | Guest87676 joins (~laudiacay@67.176.215.84) |
| 2021-05-06 00:04:35 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-06 00:08:23 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-05-06 00:09:38 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-05-06 00:12:32 | → | EvilMagix joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-06 00:13:07 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 2021-05-06 00:13:21 | × | proofofkeags quits (~proofofke@205.209.28.54) (Ping timeout: 246 seconds) |
| 2021-05-06 00:13:26 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 2021-05-06 00:14:40 | × | LKoen quits (~LKoen@140.170.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-05-06 00:14:59 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-06 00:15:04 | → | zmijunkie1 joins (~Adium@87.123.53.7) |
| 2021-05-06 00:16:03 | <jacks2> | davean, I'm curious why you dislike RecordDotSyntax? it is far more readable and usable than record syntax we have now. https://www.reddit.com/r/haskell/comments/fu9iq3/recorddotsyntax_ghc_language_extension_proposal/fmcu8qy/?utm_source=share&utm_medium=web2x |
| 2021-05-06 00:16:20 | <jacks2> | and example above doesn't have the ugliest part of current record syntax.. nested updates |
| 2021-05-06 00:16:34 | <Axman6> | We use record dot syntax everywhere in DAML, it's great when you have lots of large records |
| 2021-05-06 00:16:36 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-05-06 00:17:08 | <Axman6> | (We tend not to do updates of nested parts often though) |
| 2021-05-06 00:17:27 | <jacks2> | I realize that there's some subtle incompatibility with function composition, but it seems proposal was very careful to avoid clashes in vast majority of the cases |
| 2021-05-06 00:17:39 | → | solidus-river joins (~mike@174.127.249.180) |
| 2021-05-06 00:17:53 | × | zmijunkie quits (~Adium@87.122.212.2) (Ping timeout: 246 seconds) |
| 2021-05-06 00:17:59 | <Axman6> | isn't the solution to that basically to make (.) really (. )? |
| 2021-05-06 00:19:39 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-06 00:20:45 | <jacks2> | "Our conclusion" part of in the following link does a good job summarizing when dot is function composition, and when it is record syntax. https://github.com/ghc-proposals/ghc-proposals/pull/282#issuecomment-608329102 |
| 2021-05-06 00:22:09 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b9513e05ff4b2b19e02c9.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-06 00:23:11 | <jacks2> | I'm not sure about (.) vs (. ), is that a thing. I have no access to ghc 9 to test |
| 2021-05-06 00:23:35 | × | Synthetica quits (uid199651@gateway/web/irccloud.com/x-sihdpoehqtfnfmbu) (Quit: Connection closed for inactivity) |
| 2021-05-06 00:24:41 | → | bennofs__ joins (~quassel@dynamic-089-012-167-128.89.12.pool.telefonica.de) |
| 2021-05-06 00:26:11 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-06 00:26:34 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) |
| 2021-05-06 00:27:11 | <geekosaur> | seems likely, and most people do that anyway |
| 2021-05-06 00:27:18 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) (Client Quit) |
| 2021-05-06 00:27:40 | <geekosaur> | because . not surrounded by spaces already has so many other meanings |
| 2021-05-06 00:28:00 | <Axman6> | yeah |
| 2021-05-06 00:28:23 | × | bennofs_ quits (~quassel@dynamic-089-014-149-119.89.14.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2021-05-06 00:28:45 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-06 00:30:03 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) |
| 2021-05-06 00:31:12 | × | nineonin_ quits (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 2021-05-06 00:31:57 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) (Client Quit) |
| 2021-05-06 00:32:50 | <monochrom> | https://github.com/treblacy/ep |
| 2021-05-06 00:32:54 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-06 00:33:32 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2021-05-06 00:37:10 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-06 00:37:26 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) |
| 2021-05-06 00:38:35 | <monochrom> | If you started afresh, you could use ∘ for function composition, and then you could have . unambiguously reserved for record field selection. |
| 2021-05-06 00:39:16 | <monochrom> | SML uses o for function composition. But it still doesn't use . for field selection, it uses #, and it's "#x p" not "p.x". |
| 2021-05-06 00:40:53 | <monochrom> | "readable" is acquired not born. |
All times are in UTC.