Logs: liberachat/#haskell
| 2021-07-03 07:03:44 | × | xff0x quits (~xff0x@2001:1a81:52ae:a300:6abc:acbb:6923:464a) (Ping timeout: 256 seconds) |
| 2021-07-03 07:04:20 | → | xff0x joins (~xff0x@2001:1a81:52ae:a300:3a82:123e:2fdc:d4a3) |
| 2021-07-03 07:05:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-03 07:05:43 | <edrx> | tomsmeding: great! thx again! (and gnight) =) |
| 2021-07-03 07:06:20 | → | tomek-grzesiak joins (~tomek-grz@109.206.213.203) |
| 2021-07-03 07:10:07 | → | stevenxl joins (~stevenlei@68.235.43.109) |
| 2021-07-03 07:13:02 | × | mei quits (~mei@user/mei) (Quit: Client closed) |
| 2021-07-03 07:14:20 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-03 07:14:53 | × | stevenxl quits (~stevenlei@68.235.43.109) (Ping timeout: 268 seconds) |
| 2021-07-03 07:17:09 | × | jneira_ quits (~jneira_@217.red-81-39-172.dynamicip.rima-tde.net) (Quit: Connection closed) |
| 2021-07-03 07:17:15 | × | tomek-grzesiak quits (~tomek-grz@109.206.213.203) (Quit: Leaving) |
| 2021-07-03 07:17:44 | → | vursc joins (~wangxm@219.137.140.171) |
| 2021-07-03 07:18:09 | → | mei joins (~mei@user/mei) |
| 2021-07-03 07:18:54 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 265 seconds) |
| 2021-07-03 07:20:43 | Arahael | is so tempted to rewrite his iOS app in haskell. |
| 2021-07-03 07:22:11 | ← | edrx parts (~Eduardo@2804:56c:d2e2:8b00:8d96:adf9:cdb8:eb7e) (Killed buffer) |
| 2021-07-03 07:25:39 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-07-03 07:30:07 | → | kuribas joins (~user@ptr-25vy0i7jjgjyv5cv6ky.18120a2.ip6.access.telenet.be) |
| 2021-07-03 07:30:27 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5bf:4bd7:7b8b:fdcf) (Remote host closed the connection) |
| 2021-07-03 07:30:55 | <kuribas> | I am looking at wingman tactics. It looks kind of cool, but I wonder what is the advantage, because typing tactics looks more work that just coding it! |
| 2021-07-03 07:31:51 | <jophish> | ☝️ |
| 2021-07-03 07:32:37 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-03 07:32:56 | <kuribas> | Maybe it saves work if you have a huge data type... |
| 2021-07-03 07:33:10 | <Lycurgus> | what besides hs compiled to js runs on iOS? |
| 2021-07-03 07:34:04 | Lycurgus | Arahael |
| 2021-07-03 07:34:50 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-03 07:35:15 | <Arahael> | Lycurgus: hs compiles to the metal, too. But I'm not referring to the UI here, just the business logic. |
| 2021-07-03 07:35:43 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-07-03 07:39:21 | <Lycurgus> | i c, the right thinking if you mean serverside imo, but then that's not iOS is it |
| 2021-07-03 07:39:33 | × | fabfianda quits (~fabfianda@37.183.255.57) (Ping timeout: 268 seconds) |
| 2021-07-03 07:40:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-07-03 07:40:27 | → | fabfianda joins (~fabfianda@mob-5-90-245-137.net.vodafone.it) |
| 2021-07-03 07:41:48 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-07-03 07:42:19 | <Arahael> | No, my server side is already haskell, I mean, teh business logic in the client side. |
| 2021-07-03 07:42:29 | <Arahael> | I'm _tempted_ to do it, but it's probably not worth it. |
| 2021-07-03 07:42:30 | × | vursc quits (~wangxm@219.137.140.171) (Read error: Connection reset by peer) |
| 2021-07-03 07:47:55 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-03 07:50:18 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-03 07:51:53 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2021-07-03 07:52:03 | → | cheater joins (~Username@user/cheater) |
| 2021-07-03 07:56:25 | → | boxscape_ joins (~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) |
| 2021-07-03 07:57:28 | <boxscape> | kuribas: From what I understood the idea is that many similar problems (e.g. writing a functor instance for various data types) can be solved with the exact same series of tactics |
| 2021-07-03 07:57:52 | <boxscape> | kuribas: though I think the tooling at the moment doesn't make it very convenient to use them in that way |
| 2021-07-03 07:58:08 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-03 07:58:32 | <boxscape> | (Then again, I haven't actually tried using them) |
| 2021-07-03 07:59:05 | <maerwald> | kuribas: I had the same impression... other than the "try to auto-fill in the definition", I probably wouldn't use much of wingman |
| 2021-07-03 08:00:21 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-03 08:00:53 | <maerwald> | I'd much rather have HLS show me the type of an expression :> |
| 2021-07-03 08:00:54 | → | fendor joins (~fendor@77.119.220.92.wireless.dyn.drei.com) |
| 2021-07-03 08:01:54 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-07-03 08:02:31 | × | haykam1 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-07-03 08:02:45 | → | haykam2 joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-07-03 08:07:08 | × | neo1 quits (~neo3@cpe-292712.ip.primehome.com) (Remote host closed the connection) |
| 2021-07-03 08:07:14 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-07-03 08:07:18 | × | fabfianda quits (~fabfianda@mob-5-90-245-137.net.vodafone.it) (Ping timeout: 268 seconds) |
| 2021-07-03 08:07:50 | → | fabfianda joins (~fabfianda@mob-5-90-255-101.net.vodafone.it) |
| 2021-07-03 08:08:01 | × | unyu quits (~pyon@user/pyon) (Quit: WeeChat 3.2) |
| 2021-07-03 08:08:54 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-07-03 08:10:58 | × | phma quits (phma@2001:5b0:211f:42c8:39c2:9ea1:f2e8:75b1) (Read error: Connection reset by peer) |
| 2021-07-03 08:11:43 | × | qbt quits (~edun@user/edun) (Quit: WeeChat 3.2) |
| 2021-07-03 08:11:55 | → | phma joins (phma@2001:5b0:212a:faf8:be49:b217:da87:a28c) |
| 2021-07-03 08:12:44 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-03 08:12:52 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-03 08:12:59 | → | warnz joins (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) |
| 2021-07-03 08:14:30 | → | zeenk joins (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) |
| 2021-07-03 08:15:18 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-03 08:15:53 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-03 08:16:50 | <kuribas> | that's already very useful. |
| 2021-07-03 08:16:58 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-07-03 08:17:03 | <kuribas> | maerwald: it can do that, right? |
| 2021-07-03 08:17:10 | × | dunkeln_ quits (~dunkeln@94.129.65.28) (Ping timeout: 268 seconds) |
| 2021-07-03 08:17:20 | × | hnOsmium0001 quits (uid453710@stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-03 08:17:21 | <maerwald> | kuribas: not afaik |
| 2021-07-03 08:17:24 | × | warnz quits (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) (Ping timeout: 256 seconds) |
| 2021-07-03 08:17:27 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-03 08:17:51 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-03 08:17:57 | <maerwald> | it's also not defined in the LSP protocol |
| 2021-07-03 08:18:26 | → | acidjnk joins (~acidjnk@p200300d0c72b9558d4454a820777d511.dip0.t-ipconnect.de) |
| 2021-07-03 08:18:59 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-07-03 08:19:00 | <maerwald> | https://github.com/microsoft/language-server-protocol/issues/377 |
| 2021-07-03 08:19:49 | <maerwald> | https://github.com/haskell/haskell-language-server/issues/709 |
| 2021-07-03 08:20:00 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds) |
| 2021-07-03 08:20:01 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-07-03 08:20:12 | <kuribas> | hmm, I can do that in flycheck-haskell |
| 2021-07-03 08:20:24 | <kuribas> | erm emacs-mode... |
| 2021-07-03 08:22:24 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-03 08:22:24 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2021-07-03 08:23:15 | → | dunkeln_ joins (~dunkeln@94.129.65.28) |
| 2021-07-03 08:23:38 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-03 08:23:48 | → | turlando joins (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2021-07-03 08:23:48 | × | turlando quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 2021-07-03 08:23:48 | → | turlando joins (~turlando@user/turlando) |
| 2021-07-03 08:25:47 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-03 08:26:16 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-07-03 08:26:18 | → | ubert joins (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
| 2021-07-03 08:29:38 | → | Guest9 joins (~Guest9@103.249.233.78) |
| 2021-07-03 08:30:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-03 08:30:50 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5061:15ea:118b:e58d) |
| 2021-07-03 08:31:58 | × | dunkeln_ quits (~dunkeln@94.129.65.28) (Ping timeout: 268 seconds) |
| 2021-07-03 08:33:08 | × | Cajun quits (~Cajun@ip98-163-211-112.no.no.cox.net) (Quit: Client closed) |
All times are in UTC.