Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 620 621 622 623 624 625 626 627 628 629 630 .. 5022
— 502,152 events total
2020-10-13 19:34:16 <dolio> Well, I would technically say they are two different things. "Algebraic" is about what things count as 'effects', and "extensible" is about tracking and combining individual effect specifications.
2020-10-13 19:35:31 → Bakun joins (~bakun@51.15.0.88)
2020-10-13 19:35:38 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-13 19:35:39 <dolio> However, any effect system that isn't "extensible" will probably be rejected immediately as not being practical.
2020-10-13 19:36:20 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-13 19:36:46 <Zetagon> Things like polysemy and fused effects, or things like Microsoft Research's Koka
2020-10-13 19:37:10 <Zetagon> I just stumbled upon these stuff and thought they sound very interesting but don't know what to call them
2020-10-13 19:37:13 → bahamas joins (~lucian@188.24.181.166)
2020-10-13 19:37:13 × bahamas quits (~lucian@188.24.181.166) (Changing host)
2020-10-13 19:37:13 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-10-13 19:37:20 <dolio> Because you'd have to manually write the State effect and the State+Exception effect, and the Exception effect and mediate between them by hand.
2020-10-13 19:37:43 → conal joins (~conal@64.71.133.70)
2020-10-13 19:41:59 → untseac joins (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291)
2020-10-13 19:42:30 <untseac> regarding yesterday questions, looks like mongodb yesod template is the one that is archaic. the default sqlite is okay.
2020-10-13 19:42:50 <dolio> I guess I could be wrong about that, though, because people actually work that way in Haskell sometimes.
2020-10-13 19:43:24 <dolio> Although not to quite that extreme a degree.
2020-10-13 19:46:23 × Bakun quits (~bakun@51.15.0.88) (Read error: Connection reset by peer)
2020-10-13 19:47:09 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-10-13 19:49:26 × dftxbs3e quits (~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection)
2020-10-13 19:49:40 → dftxbs3e joins (~dftxbs3e@unaffiliated/dftxbs3e)
2020-10-13 19:51:06 → Bakun joins (~bakun@51.15.0.88)
2020-10-13 19:51:53 × oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 260 seconds)
2020-10-13 19:52:39 × m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Quit: WeeChat 2.7.1)
2020-10-13 19:52:48 × nyd quits (~lpy@unaffiliated/elysian) (Ping timeout: 260 seconds)
2020-10-13 19:53:24 → oxide joins (~lambda@unaffiliated/mclaren)
2020-10-13 19:58:22 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds)
2020-10-13 20:05:13 → winircuser-559 joins (~winircuse@208.65.191.38)
2020-10-13 20:05:18 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-10-13 20:06:47 × winircuser-559 quits (~winircuse@208.65.191.38) (Client Quit)
2020-10-13 20:06:52 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-10-13 20:08:15 → aarvar joins (~foewfoiew@c.24.56.239.179.static.broadstripe.net)
2020-10-13 20:09:36 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Quit: leaving)
2020-10-13 20:18:08 ← aarvar parts (~foewfoiew@c.24.56.239.179.static.broadstripe.net) ()
2020-10-13 20:18:13 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-13 20:18:23 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-13 20:18:23 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-13 20:18:23 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-13 20:18:37 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-13 20:19:16 → conal joins (~conal@64.71.133.70)
2020-10-13 20:21:21 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-10-13 20:23:55 → conal joins (~conal@64.71.133.70)
2020-10-13 20:25:05 × elliott_ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-10-13 20:27:14 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-10-13 20:27:23 → rprije joins (~rprije@203.214.95.251)
2020-10-13 20:29:32 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 272 seconds)
2020-10-13 20:29:54 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-13 20:30:36 × Bakun quits (~bakun@51.15.0.88) (Read error: Connection reset by peer)
2020-10-13 20:30:37 → daenth joins (~daenth@136.36.157.210)
2020-10-13 20:31:07 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-13 20:34:27 × knupfer quits (~Thunderbi@200116b82c81430000cc9ce4231ed805.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-13 20:35:37 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-13 20:36:50 → conal joins (~conal@64.71.133.70)
2020-10-13 20:37:29 × geekosaur quits (82659a0e@host154-014.vpn.uakron.edu) (Remote host closed the connection)
2020-10-13 20:39:42 → ashbreeze joins (~mark@72-161-254-60.dyn.centurytel.net)
2020-10-13 20:41:58 × _ashbreeze_ quits (~mark@72-161-254-60.dyn.centurytel.net) (Ping timeout: 246 seconds)
2020-10-13 20:42:02 × leungbk quits (~user@2605:e000:1315:706:cc8c:f2b3:1a5a:360) (Ping timeout: 260 seconds)
2020-10-13 20:43:16 → machinedgod joins (~machinedg@24.105.81.50)
2020-10-13 20:43:25 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 264 seconds)
2020-10-13 20:43:33 → GyroW_ joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-13 20:43:33 × GyroW_ quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-13 20:43:33 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-13 20:44:29 → aarvar joins (~foewfoiew@c.24.56.239.179.static.broadstripe.net)
2020-10-13 20:45:08 × ashbreeze quits (~mark@72-161-254-60.dyn.centurytel.net) (Ping timeout: 258 seconds)
2020-10-13 20:46:26 ← aarvar parts (~foewfoiew@c.24.56.239.179.static.broadstripe.net) ()
2020-10-13 20:53:33 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-10-13 20:55:12 × lowryder quits (~djlowry@web603.webfaction.com) (Remote host closed the connection)
2020-10-13 20:58:47 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-13 21:00:01 × Ahmuck quits (~Ahmuck@178.162.204.214) ()
2020-10-13 21:00:17 → ensyde joins (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-13 21:00:53 × DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...)
2020-10-13 21:02:42 × coot quits (~coot@37.30.50.102.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-13 21:02:58 → hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-13 21:03:46 → DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-10-13 21:05:03 × hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-13 21:05:40 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-13 21:06:18 × hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2020-10-13 21:06:43 × ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds)
2020-10-13 21:06:44 → hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-13 21:07:39 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-13 21:09:33 → conal joins (~conal@64.71.133.70)
2020-10-13 21:10:02 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-13 21:11:31 → ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-10-13 21:12:08 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-13 21:17:44 × ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2020-10-13 21:18:16 → ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-10-13 21:19:02 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-13 21:19:02 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-13 21:19:02 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-13 21:19:20 → solonarv joins (~solonarv@anancy-651-1-202-101.w109-217.abo.wanadoo.fr)
2020-10-13 21:19:34 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 272 seconds)
2020-10-13 21:21:24 → BusError1 joins (~BusError@185.163.110.116)
2020-10-13 21:24:52 × chaosmasttter quits (~chaosmast@p200300c4a711b0018861c787729f3b81.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-13 21:26:42 → proofofme joins (~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-13 21:30:36 × LKoen quits (~LKoen@81.255.219.130) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-10-13 21:30:37 <proofofme> Can you define types from operations done on other types? For example, there's `data Financial = Financial double -- units in '$'`, `data Rate = Rate double --units in '$/lb'`, and `data Weight = Weight double -- units in lbs`. Can you do something like `amount (a Financial type) = rate * weight`? I am getting some mismatched type errors from this.
2020-10-13 21:33:13 <ski> the normal `*' only takes two things of the same type
2020-10-13 21:38:04 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-13 21:38:25 → hseg joins (~gesh@185.120.126.55)
2020-10-13 21:38:50 <monochrom> If you bothered to use types to distinguish between money, weight, and money-per-weight, it stands to reason to also define your own Rate -> Weight -> Financial so you don't accidentally do "multiply money money-per-weight"
2020-10-13 21:39:03 <hseg> is there a way to use @-patterns along with view patterns to bind intermediate values?
←Prev  Next→
Page 1 .. 620 621 622 623 624 625 626 627 628 629 630 .. 5022

All times are in UTC.