Logs: liberachat/#haskell
| 2021-08-26 17:00:34 | → | kmein joins (~weechat@user/kmein) |
| 2021-08-26 17:00:35 | <siers> | which are a part of values, but do not appear when checking the types of ADTs |
| 2021-08-26 17:00:45 | <glguy> | siers: The DataKinds extension creates new types corresponding to those constructors as a shortcut, they aren't directly related to the corresponding value constructors |
| 2021-08-26 17:01:14 | <glguy> | but there's nothing other than the letters in the name looking the same that ties 'Succ as a type to Succ as a value |
| 2021-08-26 17:01:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-26 17:02:55 | <glguy> | The fact that a GADT is involved is a bit of a coincidence. DataKinds are independent from GADTs |
| 2021-08-26 17:03:50 | → | Morrow_ joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-08-26 17:03:52 | <siers> | but DataKinds come with GADTs? |
| 2021-08-26 17:04:51 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 276 seconds) |
| 2021-08-26 17:05:41 | <glguy> | no |
| 2021-08-26 17:06:07 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2021-08-26 17:06:19 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-26 17:06:31 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-26 17:06:57 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-26 17:07:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-26 17:07:11 | <siers> | so no correlation whatsoever, ok |
| 2021-08-26 17:07:16 | <glguy> | Instead of using the conveniently derived 'Succ and 'Zero types, you could have defined new types without data kinds and the functionality would be identical |
| 2021-08-26 17:07:35 | <glguy> | data ZeroType; data SuccType a |
| 2021-08-26 17:08:55 | <glguy> | also: Your example had Zero and not 'Zero, but that's just GHC being helpful and guessing you meant 'Zero, it wasn't using the value constructor Zero |
| 2021-08-26 17:09:28 | <siers> | that is my mistake after retyping, it is there in the shell |
| 2021-08-26 17:10:19 | × | Vajb quits (~Vajb@2001:999:252:4e3c:27f9:d93:655e:583) (Read error: Connection reset by peer) |
| 2021-08-26 17:10:40 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-26 17:10:57 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2021-08-26 17:11:52 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-08-26 17:12:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-26 17:12:19 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-26 17:12:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-26 17:12:36 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2021-08-26 17:13:07 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-5-235.prtc.net) (Quit: Client closed) |
| 2021-08-26 17:13:59 | × | peterhil quits (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Read error: error:1408F10B:SSL routines:ssl3_get_record:wrong version number) |
| 2021-08-26 17:14:43 | → | MoC joins (~moc@user/moc) |
| 2021-08-26 17:17:08 | × | hexfive quits (~eric@50.35.83.177) (Quit: WeeChat 3.0.1) |
| 2021-08-26 17:17:23 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-26 17:17:40 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-26 17:17:42 | → | aegon joins (~mike@174.127.249.180) |
| 2021-08-26 17:18:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-26 17:20:45 | <aegon> | how come there is both Generic and Generic1 |
| 2021-08-26 17:21:01 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-08-26 17:21:10 | × | NinjaTrappeur quits (~ninja@user/ninjatrappeur) (Ping timeout: 240 seconds) |
| 2021-08-26 17:21:36 | → | NinjaTrappeur joins (~ninja@user/ninjatrappeur) |
| 2021-08-26 17:23:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-26 17:23:49 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-26 17:24:10 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 250 seconds) |
| 2021-08-26 17:24:51 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-08-26 17:25:14 | → | mizu_no_oto joins (~mizu_no_o@cpe-74-67-208-45.twcny.res.rr.com) |
| 2021-08-26 17:25:52 | → | VoidNoir0 joins (~VoidNoir0@72.80.203.52) |
| 2021-08-26 17:26:17 | <monochrom> | When you find yourself wanting to auto-gen "instance Monad Foo" instead of merely "instance Monoid (Foo a)" you will begin to appreciate it. |
| 2021-08-26 17:26:33 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-26 17:27:08 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-26 17:27:09 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-08-26 17:28:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-26 17:29:03 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 250 seconds) |
| 2021-08-26 17:29:04 | <monochrom> | Oh haha Monday Morning Haskell opens the old wounds of "is this a quicksort?" controversy again! |
| 2021-08-26 17:29:32 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2021-08-26 17:29:49 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-26 17:31:28 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-26 17:31:46 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-08-26 17:32:03 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-08-26 17:35:59 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 250 seconds) |
| 2021-08-26 17:37:27 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 240 seconds) |
| 2021-08-26 17:39:22 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-08-26 17:39:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-26 17:40:54 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-26 17:43:12 | → | obs\ joins (~obscur1ty@user/obs/x-5924898) |
| 2021-08-26 17:46:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-26 17:46:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-26 17:47:32 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-08-26 17:50:17 | → | andinus joins (andinus@tilde.institute) |
| 2021-08-26 17:52:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-26 17:52:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-26 17:54:18 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-08-26 17:55:48 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-26 17:57:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-26 17:57:57 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-26 17:58:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-26 18:02:09 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2021-08-26 18:03:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-26 18:03:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-26 18:04:57 | × | markpythonicbtc quits (~textual@50.228.44.6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-26 18:05:21 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Read error: Connection reset by peer) |
| 2021-08-26 18:05:38 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-08-26 18:08:55 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-26 18:09:04 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-26 18:09:04 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-08-26 18:09:04 | → | wroathe joins (~wroathe@user/wroathe) |
| 2021-08-26 18:09:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-26 18:12:35 | → | zer0bitz joins (~zer0bitz@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 2021-08-26 18:14:11 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-26 18:14:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-26 18:14:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-26 18:16:27 | → | hannessteffenhag joins (~hannesste@77.20.255.200) |
| 2021-08-26 18:20:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-26 18:20:29 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-26 18:20:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-26 18:20:33 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2021-08-26 18:20:43 | × | hannessteffenhag quits (~hannesste@77.20.255.200) (Ping timeout: 252 seconds) |
| 2021-08-26 18:21:01 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-08-26 18:25:40 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-08-26 18:25:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-26 18:26:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
All times are in UTC.