Logs: liberachat/#haskell
| 2021-05-27 09:18:52 | × | ddellacosta quits (~ddellacos@86.106.121.109) (Ping timeout: 264 seconds) |
| 2021-05-27 09:19:17 | → | endre joins (~endre@91-114-211-69.adsl.highway.telekom.at) |
| 2021-05-27 09:19:30 | × | winter quits (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 265 seconds) |
| 2021-05-27 09:19:56 | → | hiptobecubic joins (~john@c-73-55-99-95.hsd1.fl.comcast.net) |
| 2021-05-27 09:20:41 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 2021-05-27 09:25:54 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-27 09:29:32 | → | haskman joins (~haskman@223.190.83.69) |
| 2021-05-27 09:30:26 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-05-27 09:30:56 | × | nckx quits (~nckx@tobias.gr) (Ping timeout: 272 seconds) |
| 2021-05-27 09:31:11 | × | leeb quits (~leeb@2001:268:c082:ffba:425b:d8ff:fe03:4cd) (Ping timeout: 252 seconds) |
| 2021-05-27 09:31:11 | × | space-shell quits (~space-she@88.98.247.38) (Quit: Connection closed) |
| 2021-05-27 09:31:12 | → | albertodvp joins (~user@185.137.204.140) |
| 2021-05-27 09:31:29 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-05-27 09:31:34 | × | nsilv quits (~nsilv@212.103.198.210) (Quit: WeeChat 3.0.1) |
| 2021-05-27 09:32:34 | × | jonathanclarke quits (~jonathanc@202-51-76-36.vianet.com.np) (Ping timeout: 264 seconds) |
| 2021-05-27 09:32:42 | → | nsilv joins (~nsilv@37.163.54.40) |
| 2021-05-27 09:33:11 | × | turion quits (~turion@2a02:810d:8ac0:251e:e8a3:1701:9e78:7013) (Quit: Leaving.) |
| 2021-05-27 09:34:12 | ← | khs9ne parts (~xxwa@khs9ne.mempool.co) (Leaving) |
| 2021-05-27 09:34:39 | × | da39a3ee5e6b4b0d quits (~textual@mx-ll-171.6.241-188.dynamic.3bb.co.th) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-27 09:36:05 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 272 seconds) |
| 2021-05-27 09:38:57 | → | azeem joins (~azeem@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 2021-05-27 09:39:15 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-05-27 09:40:57 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-27 09:41:21 | <tomsmeding> | nice symbol name |
| 2021-05-27 09:41:32 | <taeaad> | Why are there so many people that code in Haskell these days? FB uses Haskell, who else? |
| 2021-05-27 09:41:42 | <taeaad> | I can join off-topic maybe. |
| 2021-05-27 09:43:48 | → | da39a3ee5e6b4b0d joins (~textual@2403:6200:8876:ee80:447b:c412:6cc3:c2bf) |
| 2021-05-27 09:45:04 | <dminuoso> | I think it's quite ontop. |
| 2021-05-27 09:45:26 | → | jonathanclarke joins (~jonathanc@103.10.31.4) |
| 2021-05-27 09:45:34 | <dminuoso> | Whether "many use them" is debatable. |
| 2021-05-27 09:45:36 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 265 seconds) |
| 2021-05-27 09:45:44 | <dminuoso> | Oh. |
| 2021-05-27 09:45:47 | <dminuoso> | The topic moved to offtopic. |
| 2021-05-27 09:45:53 | <tomsmeding> | it did :) |
| 2021-05-27 09:46:09 | <tomsmeding> | the topic is now off-topic |
| 2021-05-27 09:46:22 | <dminuoso> | Although its quite ontopic. |
| 2021-05-27 09:46:30 | <dminuoso> | It's offtopic for -offtopic. |
| 2021-05-27 09:46:33 | <dminuoso> | :) |
| 2021-05-27 09:47:22 | <Taneb> | Maybe it should be in #haskell-offtopic-offtopic |
| 2021-05-27 09:47:58 | <tdammers> | wouldn't that just be #haskell, minus category theory jokes? |
| 2021-05-27 09:48:56 | <dminuoso> | Why dont we have #cocohaskell, for extra category theory jokes? |
| 2021-05-27 09:49:06 | × | imdoor quits (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor) |
| 2021-05-27 09:49:29 | <Taneb> | A category theorist's favourite breakfast cereal is pops? |
| 2021-05-27 09:50:27 | × | haskman quits (~haskman@223.190.83.69) (Ping timeout: 272 seconds) |
| 2021-05-27 09:50:34 | × | ku quits (~ku@2601:280:c780:7ea0:8d75:13f2:a7bb:13b1) (Ping timeout: 264 seconds) |
| 2021-05-27 09:50:38 | → | aez joins (~aez@zoo-zarebski.zoo.ox.ac.uk) |
| 2021-05-27 09:52:02 | <tdammers> | I believe some also like fresh nuts |
| 2021-05-27 09:52:47 | × | zegalch96 quits (~zegalch@178.128.75.133) (Remote host closed the connection) |
| 2021-05-27 09:53:11 | → | tulushev joins (~textual@91.218.97.155) |
| 2021-05-27 09:55:14 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 2021-05-27 09:56:01 | × | tulushev quits (~textual@91.218.97.155) (Client Quit) |
| 2021-05-27 09:56:29 | → | teehemkay joins (sid14792@id-14792.tooting.irccloud.com) |
| 2021-05-27 09:56:42 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 2021-05-27 09:57:32 | × | hiptobecubic quits (~john@c-73-55-99-95.hsd1.fl.comcast.net) (Ping timeout: 244 seconds) |
| 2021-05-27 09:59:51 | → | Scotty_Trees joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 2021-05-27 10:00:09 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Ping timeout: 272 seconds) |
| 2021-05-27 10:01:26 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Ping timeout: 252 seconds) |
| 2021-05-27 10:01:40 | × | buggy quits (~buggy@27.6.222.224) (Ping timeout: 244 seconds) |
| 2021-05-27 10:03:06 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-05-27 10:04:32 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-05-27 10:06:04 | → | sciencentistguy joins (~sciencent@191.101.209.9) |
| 2021-05-27 10:09:11 | → | ddellacosta joins (~ddellacos@89.46.62.36) |
| 2021-05-27 10:10:28 | → | mstruebing joins (~maex@2001:41d0:8:93c7::1) |
| 2021-05-27 10:10:29 | × | wei2912 quits (~wei2912@112.199.250.21) (Remote host closed the connection) |
| 2021-05-27 10:11:11 | → | sshine joins (~simon@hubris.eta.solutions) |
| 2021-05-27 10:12:08 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-27 10:12:40 | → | rahguzar joins (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 2021-05-27 10:12:57 | × | lemmih quits (~lemmih@2406:3003:2072:44:2433:3f59:2991:b388) (Remote host closed the connection) |
| 2021-05-27 10:12:58 | → | dcoutts joins (~duncan@94.186.125.91.dyn.plus.net) |
| 2021-05-27 10:13:15 | → | lemmih joins (~lemmih@2406:3003:2072:44:a0fb:4a2e:4541:1c1d) |
| 2021-05-27 10:14:11 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-27 10:14:40 | × | ddellacosta quits (~ddellacos@89.46.62.36) (Ping timeout: 264 seconds) |
| 2021-05-27 10:15:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-05-27 10:17:06 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-27 10:17:35 | × | azeem quits (~azeem@dynamic-adsl-84-220-228-254.clienti.tiscali.it) (Quit: Connection closed) |
| 2021-05-27 10:17:43 | <arahael> | If this is "has kell", shouldn't we have a "no kell" channel? ;) |
| 2021-05-27 10:18:19 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 272 seconds) |
| 2021-05-27 10:18:27 | → | azeem joins (~azeem@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 2021-05-27 10:18:40 | <Taneb> | I've never had kell and if I did I would go to a doctor |
| 2021-05-27 10:18:52 | × | Ranhir quits (~Ranhir@157.97.53.139) (Remote host closed the connection) |
| 2021-05-27 10:20:03 | <opqdonut> | what did j say when h asked for a favour? "h, ask ell!" |
| 2021-05-27 10:20:48 | <dminuoso> | Can we have a fork of GHC implementing Cohaskell? Here's the cotype of `fmap :: f b <- f a <- (b <- a) <= Functor f` |
| 2021-05-27 10:21:37 | <dminuoso> | Could help with adoption in Arabic regions. |
| 2021-05-27 10:21:50 | × | __monty__ quits (~toonn@user/toonn) (Quit: brb) |
| 2021-05-27 10:22:12 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-05-27 10:22:20 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-05-27 10:22:35 | <boxscape> | shouldn't it be Contravariant f |
| 2021-05-27 10:22:52 | <dminuoso> | boxscape: Nope! |
| 2021-05-27 10:22:53 | × | __monty__ quits (~toonn@user/toonn) (Client Quit) |
| 2021-05-27 10:22:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-27 10:23:06 | <dminuoso> | The dual of Functor is still.. functor. |
| 2021-05-27 10:23:15 | <boxscape> | oh, right, that's why it's not a cofuncor |
| 2021-05-27 10:23:19 | <boxscape> | s//t |
| 2021-05-27 10:23:21 | <tomsmeding> | in co- arrows flip, right? So it would be `fmap :: f b -> f a -> (b -> a) => Functor f` |
| 2021-05-27 10:23:33 | <sshine> | ɹoʇɔunℲ |
| 2021-05-27 10:23:42 | <dminuoso> | tomsmeding: cunning. |
| 2021-05-27 10:23:53 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-05-27 10:24:21 | → | ku joins (~ku@2601:280:c780:7ea0:8d75:13f2:a7bb:13b1) |
| 2021-05-27 10:24:22 | <dminuoso> | but no |
| 2021-05-27 10:24:25 | <kakuhen> | sshine: i propose that as the name for a contravariant functor |
All times are in UTC.