Logs: liberachat/#haskell
| 2021-08-28 23:52:46 | → | hsiktas joins (sid224847@tooting.irccloud.com) |
| 2021-08-28 23:55:07 | → | nrr joins (sid20938@tooting.irccloud.com) |
| 2021-08-28 23:55:25 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-28 23:55:27 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-131-126.cust.tzulo.com) (Quit: Leaving) |
| 2021-08-28 23:55:31 | × | hendi quits (sid489601@tooting.irccloud.com) (Ping timeout: 250 seconds) |
| 2021-08-28 23:55:38 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-28 23:57:58 | → | hendi joins (sid489601@id-489601.tooting.irccloud.com) |
| 2021-08-28 23:59:45 | → | azeem joins (~azeem@5.168.114.19) |
| 2021-08-29 00:08:40 | × | azeem quits (~azeem@5.168.114.19) (Ping timeout: 240 seconds) |
| 2021-08-29 00:10:47 | → | azeem joins (~azeem@5.168.114.19) |
| 2021-08-29 00:11:20 | → | jlamothe joins (~jlamothe@104.158.48.100) |
| 2021-08-29 00:11:47 | <koz> | The documentation for Data.Complex.Complex refers to an Ord instance, but that data type lacks one. Is this a typo, or is the instance cleverly hidden someplace? |
| 2021-08-29 00:15:30 | <geekosaur> | strictly speaking it shouldn't have one |
| 2021-08-29 00:18:29 | <koz> | Agreed, but this documentation suggests it existed once, got removed, but not completely. |
| 2021-08-29 00:18:51 | <koz> | I mean, even Gaussian integers don't have a total order that respects arithmetic. |
| 2021-08-29 00:21:06 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-08-29 00:23:10 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2021-08-29 00:23:50 | [_] | is now known as [itchyjunk] |
| 2021-08-29 00:23:52 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-08-29 00:26:46 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Client Quit) |
| 2021-08-29 00:34:10 | × | benin036932 quits (~benin@183.82.206.21) (Ping timeout: 240 seconds) |
| 2021-08-29 00:34:34 | → | benin036932 joins (~benin@183.82.206.21) |
| 2021-08-29 00:38:08 | × | Morrow_ quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Remote host closed the connection) |
| 2021-08-29 00:38:40 | → | Morrow_ joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-08-29 00:43:23 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2021-08-29 00:43:48 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-08-29 00:46:35 | <monochrom> | I think it's just a matter of forgetting to delete a sentence. |
| 2021-08-29 00:53:21 | × | azeem quits (~azeem@5.168.114.19) (Ping timeout: 248 seconds) |
| 2021-08-29 00:57:03 | × | mud quits (~mud@user/kadoban) (Ping timeout: 250 seconds) |
| 2021-08-29 00:58:14 | → | azeem joins (~azeem@5.168.114.19) |
| 2021-08-29 01:04:47 | × | azeem quits (~azeem@5.168.114.19) (Ping timeout: 240 seconds) |
| 2021-08-29 01:05:04 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-29 01:05:28 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-29 01:11:30 | → | neurocyte3 joins (~neurocyte@92.119.10.222) |
| 2021-08-29 01:11:30 | × | neurocyte3 quits (~neurocyte@92.119.10.222) (Changing host) |
| 2021-08-29 01:11:30 | → | neurocyte3 joins (~neurocyte@user/neurocyte) |
| 2021-08-29 01:12:28 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-08-29 01:13:10 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 240 seconds) |
| 2021-08-29 01:13:31 | × | neurocyte quits (~neurocyte@user/neurocyte) (Ping timeout: 250 seconds) |
| 2021-08-29 01:13:31 | neurocyte3 | is now known as neurocyte |
| 2021-08-29 01:13:34 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-08-29 01:15:11 | × | xsperry quits (~as@user/xsperry) (Remote host closed the connection) |
| 2021-08-29 01:20:05 | → | azeem joins (~azeem@5.168.114.19) |
| 2021-08-29 01:20:13 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-08-29 01:30:20 | → | martin02 joins (~silas@141.84.69.76) |
| 2021-08-29 01:33:45 | × | egoist quits (~egoist@186.235.82.117) (Quit: WeeChat 3.2) |
| 2021-08-29 01:37:47 | × | xff0x quits (~xff0x@2001:1a81:5215:d000:44b2:e3e1:102e:1373) (Ping timeout: 250 seconds) |
| 2021-08-29 01:39:45 | → | xff0x joins (~xff0x@2001:1a81:524c:1400:ba85:9ec4:3b29:2be0) |
| 2021-08-29 01:42:23 | × | TranquilEcho quits (~grom@user/tranquilecho) (Quit: WeeChat 2.8) |
| 2021-08-29 01:42:58 | → | MQ-17J joins (~MQ-17J@8.6.144.209) |
| 2021-08-29 01:48:07 | × | shailangsa quits (~shailangs@host86-185-102-120.range86-185.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2021-08-29 01:48:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-29 01:48:46 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2) |
| 2021-08-29 01:50:24 | → | misu joins (~misu@c-24-126-44-70.hsd1.wv.comcast.net) |
| 2021-08-29 01:53:36 | × | misu quits (~misu@c-24-126-44-70.hsd1.wv.comcast.net) (Quit: Leaving) |
| 2021-08-29 02:01:03 | <iqubic> | Why doesn't Complex have an ord instance? Data.Linear's V2 type has one. https://hackage.haskell.org/package/linear-1.21.6/docs/Linear-V2.html |
| 2021-08-29 02:01:11 | <iqubic> | I fail to see the difference there. |
| 2021-08-29 02:09:03 | <pavonia> | I guess it's only there for practical reasons like storing those numbers in a Map |
| 2021-08-29 02:09:39 | <geekosaur> | does V2 have a Num instance? |
| 2021-08-29 02:10:03 | <pavonia> | Yes |
| 2021-08-29 02:10:35 | → | t3hyoshi joins (~snicf@2600:8804:1b96:4900:759f:c8d1:b667:e4fb) |
| 2021-08-29 02:10:41 | <janus> | could the reason why V2 has one and Complex doesn't be, that people usually mention the x axis before the y axis? but complex is not for cartesian coordinates |
| 2021-08-29 02:11:20 | <janus> | i am not great at math, be kind :P |
| 2021-08-29 02:12:39 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-08-29 02:12:39 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 2021-08-29 02:12:39 | finn_elija | is now known as FinnElija |
| 2021-08-29 02:13:13 | <janus> | or do you think that V2 is not just for cartesian coordinates? |
| 2021-08-29 02:16:21 | <nshepperd> | it's a matter of ideology |
| 2021-08-29 02:16:40 | <nshepperd> | and the maintainer of linear is different from the maintainers of base |
| 2021-08-29 02:17:40 | <janus> | nshepperd: what is an example of an ideological opinion we're seeing here? |
| 2021-08-29 02:18:09 | <nshepperd> | that the ordering expressed by Ord must be compatible with arithmetic |
| 2021-08-29 02:19:45 | × | azeem quits (~azeem@5.168.114.19) (Ping timeout: 248 seconds) |
| 2021-08-29 02:20:20 | <janus> | so "class Ord" is underspecified because it doesn't state its opinion? not necessarily sinfully underspecified, but underspecified, right? |
| 2021-08-29 02:22:37 | → | shailangsa joins (~shailangs@host86-186-127-196.range86-186.btcentralplus.com) |
| 2021-08-29 02:22:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-29 02:23:23 | → | azeem joins (~azeem@5.168.118.205) |
| 2021-08-29 02:24:29 | <nshepperd> | it mentions that there aren't any laws in the haskell report, but does state desiderata that it should at least be a non strict partial order |
| 2021-08-29 02:25:01 | <nshepperd> | you could take that as stating an opinion against such a requirement or as stating no opinion i suppose |
| 2021-08-29 02:26:43 | × | td_ quits (~td@muedsl-82-207-238-049.citykom.de) (Ping timeout: 252 seconds) |
| 2021-08-29 02:28:41 | → | td_ joins (~td@muedsl-82-207-238-209.citykom.de) |
| 2021-08-29 02:29:00 | × | HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 2021-08-29 02:40:33 | × | azeem quits (~azeem@5.168.118.205) (Ping timeout: 248 seconds) |
| 2021-08-29 02:41:16 | → | azeem joins (~azeem@5.168.118.205) |
| 2021-08-29 02:45:18 | <shachaf> | Double has an Ord instance, so who knows what it means, really. |
| 2021-08-29 02:54:13 | × | azeem quits (~azeem@5.168.118.205) (Ping timeout: 252 seconds) |
| 2021-08-29 02:54:31 | → | azeem joins (~azeem@5.168.118.205) |
| 2021-08-29 02:56:17 | × | alx741 quits (~alx741@186.178.108.114) (Quit: alx741) |
| 2021-08-29 03:00:33 | × | ArctVaulMarsHMPJ quits (~pjetcetal@128-71-152-79.broadband.corbina.ru) (Ping timeout: 250 seconds) |
| 2021-08-29 03:09:39 | × | azeem quits (~azeem@5.168.118.205) (Ping timeout: 250 seconds) |
| 2021-08-29 03:15:43 | × | otto_s quits (~user@p5de2f7f6.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-08-29 03:17:19 | → | otto_s joins (~user@p5b0448eb.dip0.t-ipconnect.de) |
| 2021-08-29 03:19:19 | → | azeem joins (~azeem@5.168.118.205) |
| 2021-08-29 03:22:33 | → | ArctVaulMarsHMPJ joins (~pjetcetal@128-71-152-79.broadband.corbina.ru) |
| 2021-08-29 03:23:03 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-29 03:26:05 | → | NoidedSuper joins (~NoidedSup@2601:280:5a81:520::1bab) |
| 2021-08-29 03:27:27 | <NoidedSuper> | As horrible as working with type-level stuff in Haskell can be |
| 2021-08-29 03:27:33 | <NoidedSuper> | When you get it working it feels so, so good |
| 2021-08-29 03:27:46 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-08-29 03:27:58 | <NoidedSuper> | (sneak preview of a thing I hope will eventually be really useful to a lot of people: https://gist.github.com/AnthonySuper/eecf08998135685774cfbc17f484327b) |
| 2021-08-29 03:30:28 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
All times are in UTC.