Logs: liberachat/#haskell
| 2021-05-27 20:41:16 | <ski> | @let instance Num a => Num [a] where (+) = zipWith (+); (-) = zipWith (-); (*) = zipWith (*); negate = map negate; abs = map abs; signum = map signum; fromInteger = repeat . fromInteger |
| 2021-05-27 20:41:18 | <lambdabot> | Defined. |
| 2021-05-27 20:41:37 | <ski> | > [1,2] + 1 -- tanner_, here you go |
| 2021-05-27 20:41:39 | <lambdabot> | [2,3] |
| 2021-05-27 20:42:06 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-05-27 20:42:21 | → | MidAutumnMoon joins (~MidAutumn@user/midautumnmoon) |
| 2021-05-27 20:42:33 | → | Frosky8 joins (~Frosky@n220246094251.netvigator.com) |
| 2021-05-27 20:43:30 | × | dustingetz quits (~textual@pool-173-49-123-198.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-27 20:43:51 | × | dut quits (~dut@user/dut) (Read error: Connection reset by peer) |
| 2021-05-27 20:44:02 | <boxscape> | with us saying "has an instance of" instead of "is a member of" is does seem like maybe "trait" is a better name than "type class" |
| 2021-05-27 20:45:24 | <boxscape> | or.. "interface" like Idris has, I guess, as long as you don't think too hard about OOP |
| 2021-05-27 20:45:43 | → | spirgel_ joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-05-27 20:46:02 | × | Frosky quits (~Frosky@n220246094251.netvigator.com) (Ping timeout: 250 seconds) |
| 2021-05-27 20:46:16 | → | eL_Bart0 joins (eL_Bart0@dietunichtguten.org) |
| 2021-05-27 20:46:17 | → | hiptobecubic joins (~john@c-73-55-99-95.hsd1.fl.comcast.net) |
| 2021-05-27 20:46:55 | <tanner_> | thank you ski |
| 2021-05-27 20:47:04 | × | ryantrinkle quits (~ryan@static-108-30-103-121.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-05-27 20:47:28 | <tanner_> | I need to make a "cool stuff" section of my notes apparently! |
| 2021-05-27 20:47:58 | <boxscape> | (or, how about this, we have "type constructor", so the obvious name is "constraint constructor") |
| 2021-05-27 20:48:23 | <boxscape> | ooh the keyword could be lowercase constraint, too |
| 2021-05-27 20:48:25 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-27 20:48:36 | <boxscape> | maybe 30 years too late for that now, though :) |
| 2021-05-27 20:48:46 | × | superbil quits (~superbil@1-34-176-171.HINET-IP.hinet.net) (Ping timeout: 264 seconds) |
| 2021-05-27 20:49:03 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 244 seconds) |
| 2021-05-27 20:49:44 | → | pe200012 joins (~pe200012@119.131.208.84) |
| 2021-05-27 20:49:58 | × | pe200012_ quits (~pe200012@218.107.17.245) (Ping timeout: 264 seconds) |
| 2021-05-27 20:50:21 | × | ixlun` quits (~user@217.75.9.51.dyn.plus.net) (Remote host closed the connection) |
| 2021-05-27 20:52:05 | × | eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Quit: Restarting) |
| 2021-05-27 20:52:17 | → | eL_Bart0 joins (eL_Bart0@dietunichtguten.org) |
| 2021-05-27 20:53:15 | <ski> | (hm .. i think i probably wouldn't say "has an instance of") |
| 2021-05-27 20:53:47 | ski | . o O ( "constructor classes" ) |
| 2021-05-27 20:53:52 | → | dustingetz joins (~textual@pool-173-49-123-198.phlapa.fios.verizon.net) |
| 2021-05-27 20:54:01 | <boxscape> | what would you say in natural language to indicate that an instance Num a => Num [a] exists |
| 2021-05-27 20:54:28 | <boxscape> | (with or without the Num a constraint is fine) |
| 2021-05-27 20:55:08 | <ski> | `[a]' is an instance of `Num' (provided `a' is) |
| 2021-05-27 20:55:19 | <boxscape> | okay, fair |
| 2021-05-27 20:55:24 | <ski> | `[a]' has a `Num' instance (provided `a' does) |
| 2021-05-27 20:55:40 | × | MasterControl quits (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) (Remote host closed the connection) |
| 2021-05-27 20:55:42 | <boxscape> | ok |
| 2021-05-27 20:55:56 | → | MasterControl joins (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) |
| 2021-05-27 20:56:06 | <ski> | having an instance `Num a' implies an instance `Num [a]' |
| 2021-05-27 20:57:17 | <ski> | (can't recall whether i've seen others say "has an instance of". it just sounded slightly off to me, for whatever reason) |
| 2021-05-27 20:57:32 | → | sm[m] joins (~sm@plaintextaccounting/sm) |
| 2021-05-27 20:57:34 | <boxscape> | in retrospect your variants do sound better to me, as well |
| 2021-05-27 21:01:03 | × | coot quits (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-27 21:03:16 | × | MidAutumnMoon quits (~MidAutumn@user/midautumnmoon) (Ping timeout: 264 seconds) |
| 2021-05-27 21:09:54 | × | slac36573 quits (~slack1256@181.203.105.152) (Ping timeout: 264 seconds) |
| 2021-05-27 21:11:04 | × | sondre quits (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 264 seconds) |
| 2021-05-27 21:12:33 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-05-27 21:15:45 | → | superbil joins (~superbil@1-34-176-171.HINET-IP.hinet.net) |
| 2021-05-27 21:15:48 | × | kong quits (~harrison@c-174-51-131-199.hsd1.co.comcast.net) (Quit: WeeChat 2.8) |
| 2021-05-27 21:18:07 | → | river joins (~river@tilde.team/user/river) |
| 2021-05-27 21:19:43 | × | wagle quits (~wagle@quassel.wagle.io) (Ping timeout: 272 seconds) |
| 2021-05-27 21:20:43 | × | mc47 quits (~yecinem@89.246.239.190) (Quit: Leaving) |
| 2021-05-27 21:21:05 | → | nsilv joins (~nsilv@host-82-50-119-12.retail.telecomitalia.it) |
| 2021-05-27 21:22:11 | × | abrar quits (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) (Quit: WeeChat 2.9) |
| 2021-05-27 21:23:20 | → | rahguzar joins (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 2021-05-27 21:25:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-27 21:25:41 | → | safinaskar joins (~user@109.252.90.89) |
| 2021-05-27 21:25:52 | <safinaskar> | what is current state of cabal-doctest integration? |
| 2021-05-27 21:26:08 | <safinaskar> | i see command v1-doctest, but not v2-doctest. why? |
| 2021-05-27 21:26:33 | <safinaskar> | my cabal version is 3.4.0.0 |
| 2021-05-27 21:28:58 | × | zyzzyxdonta quits (~zyzzyxdon@p54bdfd77.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2021-05-27 21:29:55 | × | gankoji quits (~gankoji@2600:8800:a610:3e00:3597:cb87:7217:357f) (Quit: Leaving) |
| 2021-05-27 21:30:02 | × | MasterControl quits (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 252 seconds) |
| 2021-05-27 21:30:32 | × | autophagy quits (~mika@user/autophagy) (Quit: WeeChat 3.1) |
| 2021-05-27 21:32:16 | <boxscape> | ski if we didn't have type families, how would you feel about calling `Maybe` a "type family"? |
| 2021-05-27 21:33:02 | ← | sm2n parts (~sm2n@user/sm2n) (Leaving) |
| 2021-05-27 21:33:17 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-05-27 21:33:19 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…) |
| 2021-05-27 21:33:19 | <geekosaur> | type schema, maybe |
| 2021-05-27 21:33:25 | <boxscape> | hm |
| 2021-05-27 21:33:48 | <boxscape> | I can see that |
| 2021-05-27 21:33:54 | × | pricly_yellow quits (~pricly_ye@static.90.189.158.212.sinor.ru) (Ping timeout: 264 seconds) |
| 2021-05-27 21:34:44 | <monochrom> | I would just state the kind. |
| 2021-05-27 21:34:46 | → | sm2n joins (~sm2n@user/sm2n) |
| 2021-05-27 21:36:50 | → | wagle joins (~wagle@quassel.wagle.io) |
| 2021-05-27 21:36:59 | → | MasterControl joins (~Master@238.140.4.85.dynamic.wline.res.cust.swisscom.ch) |
| 2021-05-27 21:37:25 | <monochrom> | You would really have to give me a very limited language, such that the only kinds are * and *^n -> *, such as Java and C++, to convince me that it is useful to emphasize a terminology that highlights the dichotomy between * and *^n -> * |
| 2021-05-27 21:38:26 | × | nckx quits (~nckx@tobias.gr) (Quit: Updating my Guix System — https://guix.gnu.org) |
| 2021-05-27 21:38:35 | <monochrom> | Along the same line, you would really have to inflict absolutely barebon untyped lambda calculus on me, in which there are only vars and lambda, to convince me that the word "function" is informative. |
| 2021-05-27 21:38:45 | <boxscape> | that's fair |
| 2021-05-27 21:39:11 | → | dut joins (~dut@user/dut) |
| 2021-05-27 21:39:11 | <ski> | "schema" is already used to describe open type expressions |
| 2021-05-27 21:39:14 | ← | danidiaz parts (~ESDPC@static-184-112-86-188.ipcom.comunitel.net) () |
| 2021-05-27 21:39:37 | <monochrom> | In a language in which "X->Y" and "X->Y->(Z->X)->K" are fundamentally unrelated, sentences like "it is a function" "it is not a function" are utterly useless. |
| 2021-05-27 21:41:18 | → | MidAutumnMoon joins (~MidAutumn@user/midautumnmoon) |
| 2021-05-27 21:41:45 | → | nckx joins (~nckx@tobias.gr) |
| 2021-05-27 21:42:23 | <ski> | it seems to me "function" would not really be too informative there, if the only things variables can be bound to, are functions .. |
| 2021-05-27 21:42:48 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-187-2.nyc.res.rr.com) (Remote host closed the connection) |
| 2021-05-27 21:43:32 | → | Aran joins (~Aran@port-92-194-80-170.dynamic.as20676.net) |
| 2021-05-27 21:43:49 | × | wagle quits (~wagle@quassel.wagle.io) (Ping timeout: 244 seconds) |
| 2021-05-27 21:43:50 | <ski> | i tend to view "function" as abbreviation of "function with domain such-and-such and codomain such-and-such". the term is comparable to e.g. "conjunction" or "implication" |
| 2021-05-27 21:43:59 | <safinaskar> | so, what is today recommended way to use cabal and doctest together?? |
| 2021-05-27 21:45:34 | → | otto_s joins (~user@p5de2f722.dip0.t-ipconnect.de) |
| 2021-05-27 21:48:20 | × | dustingetz quits (~textual@pool-173-49-123-198.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-27 21:49:23 | <monochrom> | Of course, I lied. In front of my students, I still say "polymorphic type" for Maybe, I just did in today's lecture. This is because in my course I don't introduce kinds and I won't get to monad transformers. So in my course I really only have * and morally *^n -> * |
| 2021-05-27 21:50:51 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-05-27 21:51:34 | → | ddellacosta joins (~ddellacos@89.46.62.25) |
| 2021-05-27 21:52:22 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::5d55) (Ping timeout: 264 seconds) |
All times are in UTC.