Logs: freenode/#haskell
| 2021-04-10 04:21:10 | × | bjs quits (sid190364@gateway/web/irccloud.com/x-blvasxvssvtsmxpt) (Ping timeout: 252 seconds) |
| 2021-04-10 04:21:11 | × | mjlbach quits (atriusmatr@gateway/shell/matrix.org/x-fpnxfuhyopuudmqy) (Ping timeout: 245 seconds) |
| 2021-04-10 04:21:16 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-xuirxeygugdwojfv) (Ping timeout: 258 seconds) |
| 2021-04-10 04:21:19 | → | kip joins (sid71464@gateway/web/irccloud.com/x-xjxqpwkisgbviywm) |
| 2021-04-10 04:21:21 | × | eruditass quits (uid248673@gateway/web/irccloud.com/x-cfgfoahsmcmnjoib) (Ping timeout: 250 seconds) |
| 2021-04-10 04:21:21 | × | NemesisD quits (sid24071@gateway/web/irccloud.com/x-bhiwmgazamcmlnuc) (Ping timeout: 250 seconds) |
| 2021-04-10 04:21:21 | × | alunduil quits (alunduil@gateway/web/irccloud.com/x-houxghzqisyqwvvx) (Ping timeout: 250 seconds) |
| 2021-04-10 04:21:25 | × | TheWizardTower[m quits (thewizardt@gateway/shell/matrix.org/x-twjxxhlyipcuukha) (Ping timeout: 276 seconds) |
| 2021-04-10 04:21:26 | × | pnotequalnp[m] quits (pnotequaln@gateway/shell/matrix.org/x-jtunskuzqyhnpxim) (Ping timeout: 276 seconds) |
| 2021-04-10 04:21:26 | × | Lurkki[m] quits (lurkkifene@gateway/shell/matrix.org/x-ybydopphoxixxelp) (Ping timeout: 276 seconds) |
| 2021-04-10 04:21:26 | × | plumenator[m] quits (plumenator@gateway/shell/matrix.org/x-akzkncerilrurejk) (Ping timeout: 276 seconds) |
| 2021-04-10 04:21:26 | × | beardhatcode quits (robbertbea@gateway/shell/matrix.org/x-ixlqzfbtjzsfqbfn) (Ping timeout: 276 seconds) |
| 2021-04-10 04:21:26 | × | michaelpj quits (michaelpjm@gateway/shell/matrix.org/x-toyiomkvibttqoeo) (Ping timeout: 276 seconds) |
| 2021-04-10 04:21:26 | × | berberman[T] quits (berberma4@gateway/shell/matrix.org/x-gtvznqaconcgedln) (Ping timeout: 276 seconds) |
| 2021-04-10 04:21:27 | → | wildsebastian joins (sid324688@gateway/web/irccloud.com/x-cunhkwlmpyymftve) |
| 2021-04-10 04:21:32 | × | PotatoGim quits (sid99505@gateway/web/irccloud.com/x-ezdapaaojgtqkmwy) (Ping timeout: 252 seconds) |
| 2021-04-10 04:21:32 | × | albethere quits (sid457088@gateway/web/irccloud.com/x-apnomrojdfqfhdof) (Ping timeout: 252 seconds) |
| 2021-04-10 04:21:40 | × | average quits (uid473595@gateway/web/irccloud.com/x-sfwqebxzmekibyxn) (Ping timeout: 258 seconds) |
| 2021-04-10 04:22:04 | → | NemesisD joins (sid24071@gateway/web/irccloud.com/x-jbscorkbghkikoec) |
| 2021-04-10 04:22:05 | × | npgm quits (sid42623@gateway/web/irccloud.com/x-navcmjozqggwugvr) (Ping timeout: 276 seconds) |
| 2021-04-10 04:22:07 | → | cstrahan joins (sid36118@gateway/web/irccloud.com/x-hhcxapzgwlqibukd) |
| 2021-04-10 04:22:09 | → | higherorder__ joins (sid185221@gateway/web/irccloud.com/x-tccblcishfrqasvs) |
| 2021-04-10 04:22:25 | → | thecoffemaker joins (~thecoffem@unaffiliated/thecoffemaker) |
| 2021-04-10 04:22:56 | → | alunduil joins (alunduil@gateway/web/irccloud.com/x-dylmpfrvghvfrpjf) |
| 2021-04-10 04:23:06 | → | bjs joins (sid190364@gateway/web/irccloud.com/x-rysacrenfdxsmjyu) |
| 2021-04-10 04:23:19 | → | darthThorik joins (sid39589@gateway/web/irccloud.com/x-ovxmffqjkmnhvkwx) |
| 2021-04-10 04:23:20 | → | Nascha joins (sid212230@gateway/web/irccloud.com/x-dvgxunvqabbbhujn) |
| 2021-04-10 04:23:23 | → | affinespaces joins (sid327561@gateway/web/irccloud.com/x-hytpelyqynztawrd) |
| 2021-04-10 04:23:45 | → | parisienne joins (sid383587@gateway/web/irccloud.com/x-wdxmldhahujvwtgt) |
| 2021-04-10 04:23:47 | × | aizen_s quits (sid462968@gateway/web/irccloud.com/x-vbuhociecjhftkyl) (Ping timeout: 248 seconds) |
| 2021-04-10 04:23:54 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 268 seconds) |
| 2021-04-10 04:23:57 | × | JSharp quits (sid4580@wikia/JSharp) (Ping timeout: 250 seconds) |
| 2021-04-10 04:24:19 | → | JSharp joins (sid4580@wikia/JSharp) |
| 2021-04-10 04:24:20 | → | PotatoGim joins (sid99505@gateway/web/irccloud.com/x-tcgdsfioetpoitie) |
| 2021-04-10 04:24:26 | → | SrPx joins (sid108780@gateway/web/irccloud.com/x-fmknnxofuaimdify) |
| 2021-04-10 04:24:30 | → | rizary joins (sid220347@gateway/web/irccloud.com/x-jeeizrlvvntrkymr) |
| 2021-04-10 04:24:32 | → | elvishjerricco joins (sid237756@NixOS/user/ElvishJerricco) |
| 2021-04-10 04:24:44 | <edwardk> | johnw: been playing with https://github.com/ekmett/linear-logic/tree/plugin |
| 2021-04-10 04:24:49 | → | SanchayanMaity joins (sid478177@gateway/web/irccloud.com/x-ldcvmlbmuzzjfwoa) |
| 2021-04-10 04:24:52 | → | aizen_s joins (sid462968@gateway/web/irccloud.com/x-qnkvehkmfuwvulmd) |
| 2021-04-10 04:24:55 | → | eruditass joins (uid248673@gateway/web/irccloud.com/x-rkmlpwavrrjaktgw) |
| 2021-04-10 04:24:58 | → | feepo joins (sid28508@gateway/web/irccloud.com/x-cjsxflpucqedrqas) |
| 2021-04-10 04:25:04 | → | drupol joins (sid117588@gateway/web/irccloud.com/x-yunocidhqntsjvsp) |
| 2021-04-10 04:25:11 | → | npgm joins (sid42623@gateway/web/irccloud.com/x-hdudxwjvxbrygqyi) |
| 2021-04-10 04:25:12 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-04-10 04:25:16 | → | average joins (uid473595@gateway/web/irccloud.com/x-ocsrhhelkfqkncia) |
| 2021-04-10 04:25:18 | <edwardk> | johnw: focus so far is on using linear-haskell to bootstrap a stronger linear logic and then see if i can't make plugins, etc. that make it nicer to work with |
| 2021-04-10 04:25:22 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-kepeihezzibeebag) |
| 2021-04-10 04:26:05 | → | teej joins (uid154177@gateway/web/irccloud.com/x-aqljzrvlwnvlpfor) |
| 2021-04-10 04:26:27 | <edwardk> | johnw: https://www.reddit.com/r/haskell/comments/mgve3s/linear_logic_in_ghc_9/gsxbysh/ is a short writeup on the 'how' |
| 2021-04-10 04:26:29 | → | betawaffle joins (sid2730@gateway/web/irccloud.com/x-mgkyhxjwrxbfnjrt) |
| 2021-04-10 04:27:01 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-htgygpiljqizfcnv) |
| 2021-04-10 04:27:05 | → | entel joins (uid256215@botters/entel) |
| 2021-04-10 04:27:13 | → | rann joins (sid175221@gateway/web/irccloud.com/x-gqisofztpsiaqwfs) |
| 2021-04-10 04:27:18 | → | dmj` joins (sid72307@gateway/web/irccloud.com/x-ozlyyuwrrxwejoza) |
| 2021-04-10 04:28:50 | → | albethere joins (sid457088@gateway/web/irccloud.com/x-bchjzdmqztgxrmnd) |
| 2021-04-10 04:30:55 | <wroathe> | edwardk: I tried tuning into your stream one time, and it was so far beyond me that I decided my time would be better served by turning back to whatever mediocre thing I was working on at time time, but I've wondered how someone with your understanding of type theory would go about architecting a "regular" application that a user might use |
| 2021-04-10 04:35:54 | → | laudiacay joins (~laudiacay@67.176.215.84) |
| 2021-04-10 04:36:18 | laudiacay | is now known as Guest78317 |
| 2021-04-10 04:36:53 | × | honigkuchen quits (~honigkuch@ip5b429953.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2021-04-10 04:38:15 | <edwardk> | i tend to just write whatever piece is in front of me with whatever laws I can come up with that hopefully have a little more motivation than me making them up on the spot and stitch parts together until i have an application |
| 2021-04-10 04:38:48 | <MarcelineVQ> | when eddie said he didn't like his teddy you knew he was a no good kid |
| 2021-04-10 04:38:49 | <edwardk> | i work with typeclasses named after mathematics ideas explicitly because i lack enough imagination to make up good laws |
| 2021-04-10 04:40:45 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:8b0d) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-10 04:40:47 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 260 seconds) |
| 2021-04-10 04:40:57 | → | Shailangsa_ joins (~shailangs@host86-185-98-61.range86-185.btcentralplus.com) |
| 2021-04-10 04:47:37 | × | cansis quits (uid90033@gateway/web/irccloud.com/x-ntyzgjywyljhqpqt) (Quit: Connection closed for inactivity) |
| 2021-04-10 04:48:34 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
| 2021-04-10 04:48:49 | × | pieguy128 quits (~pieguy128@bas1-quebec14-67-70-101-46.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-10 04:50:06 | → | jonatan joins (~nate@h77-53-70-163.cust.a3fiber.se) |
| 2021-04-10 04:53:16 | → | pieguy128 joins (~pieguy128@bras-base-mtrlpq5031w-grc-47-67-70-101-46.dsl.bell.ca) |
| 2021-04-10 04:55:35 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-04-10 04:56:11 | × | jack1909 quits (~qpls@cpeb4750e67d202-cmf81d0fad5840.cpe.net.fido.ca) (Ping timeout: 240 seconds) |
| 2021-04-10 04:56:52 | → | cafce25 joins (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) |
| 2021-04-10 04:57:05 | × | dscho quits (~dscho@178.239.168.171) (Remote host closed the connection) |
| 2021-04-10 04:57:10 | → | supersven[m] joins (supersvenm@gateway/shell/matrix.org/x-vtyvtzkqhlabrowo) |
| 2021-04-10 04:57:38 | × | dycan quits (~dycan@101-136-141-121.mobile.dynamic.aptg.com.tw) (Remote host closed the connection) |
| 2021-04-10 05:03:41 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-10 05:05:42 | → | cads2 joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 2021-04-10 05:08:29 | × | snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Remote host closed the connection) |
| 2021-04-10 05:08:49 | → | snowflake joins (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-04-10 05:10:11 | × | snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Remote host closed the connection) |
| 2021-04-10 05:10:26 | → | snowflake joins (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-04-10 05:11:29 | → | jophish__ joins (ca536851@202.83.104.81) |
| 2021-04-10 05:12:42 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-xuciymfrkkrsarmc) |
| 2021-04-10 05:13:14 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-04-10 05:14:54 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-10 05:17:11 | × | todda7 quits (~torstein@athedsl-09242.home.otenet.gr) (Ping timeout: 260 seconds) |
| 2021-04-10 05:19:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-10 05:19:24 | <zzz> | can someone sum up the difference between Arrow and (->) for me please? |
| 2021-04-10 05:23:36 | <zzz> | or point me somewhere useful? |
| 2021-04-10 05:23:41 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-04-10 05:26:25 | → | joe[m]1 joins (joemonoida@gateway/shell/matrix.org/x-dyuqcnyqoeqswuzr) |
| 2021-04-10 05:26:45 | <davean> | zzz: (->) is a specific thing, Arrow is a set of laws and properties, which (->) happens to satisy, but other things not like (->) persay also do. |
| 2021-04-10 05:28:26 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Ping timeout: 260 seconds) |
| 2021-04-10 05:31:19 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:dc42:a777:68ff:c625) |
| 2021-04-10 05:31:58 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds) |
| 2021-04-10 05:34:16 | <zzz> | so Arrow is more general |
| 2021-04-10 05:35:25 | <zzz> | i was wondering why (->) is a Profunctor |
| 2021-04-10 05:35:38 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:dc42:a777:68ff:c625) (Ping timeout: 258 seconds) |
All times are in UTC.