Logs: liberachat/#haskell
| 2021-08-21 09:04:08 | <tomsmeding> | though I haven't actually tried it myself, neither with haskell nor with rust, so I only know second/third-hand experiences |
| 2021-08-21 09:07:01 | <arahael> | Rust has a series of "platforms" they officially support in a fairly organised structure. iOS is "second tier", which means supported, just not actively tested in CI systems. |
| 2021-08-21 09:07:28 | <arahael> | Not doing template-haskell makes certain things much simpler, I would expect. |
| 2021-08-21 09:07:38 | <tomsmeding> | presumably, yes |
| 2021-08-21 09:13:08 | <tomsmeding> | rust's procedural macros run on a custom-specified VM in the compiler, which is much easier to port (i.e. no work) than template haskell is (which I believe actually compile to native code because it can call FFI and whatnot?) |
| 2021-08-21 09:14:34 | <arahael> | That's awesome. |
| 2021-08-21 09:14:44 | <tomsmeding> | which of the two :p |
| 2021-08-21 09:15:08 | <tomsmeding> | alaso note that "custom-specified VM" is cool-speak for "interpreter" |
| 2021-08-21 09:15:41 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-21 09:18:08 | × | enoq quits (~enoq@2a05:1141:1f5:5600:eb83:919c:c248:eabe) (Ping timeout: 250 seconds) |
| 2021-08-21 09:20:01 | → | enoq joins (~enoq@2a05:1141:1f5:5600:eb83:919c:c248:eabe) |
| 2021-08-21 09:20:13 | × | averell quits (~averell@user/averell) (Quit: .) |
| 2021-08-21 09:20:43 | → | kuribas joins (~user@ptr-25vy0i7pvnvbb3ckill.18120a2.ip6.access.telenet.be) |
| 2021-08-21 09:23:31 | × | enoq quits (~enoq@2a05:1141:1f5:5600:eb83:919c:c248:eabe) (Remote host closed the connection) |
| 2021-08-21 09:28:42 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2021-08-21 09:32:49 | → | o1lo01ol1o joins (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) |
| 2021-08-21 09:33:00 | <arahael> | tomsmeding: Rusts. :) |
| 2021-08-21 09:33:15 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-08-21 09:33:20 | <arahael> | And yeah, even so, as an interpreter, it's nifty that it's effectively a constrained environment that the compiler can specify. |
| 2021-08-21 09:34:15 | <tomsmeding> | arahael: while spelunking through the rustc source code I found this unrelated thing https://doc.rust-lang.org/nightly/nightly-rustc/src/rustc_expand/proc_macro_server.rs.html#813 |
| 2021-08-21 09:34:44 | <arahael> | ... |
| 2021-08-21 09:34:45 | × | notzmv quits (~zmv@user/notzmv) (Read error: Connection reset by peer) |
| 2021-08-21 09:34:47 | <arahael> | actix-web? |
| 2021-08-21 09:34:52 | <tomsmeding> | https://github.com/rust-lang/rust/issues/74616 |
| 2021-08-21 09:35:18 | <tomsmeding> | similar to the microsoft hacks that have been written about on the internet :p |
| 2021-08-21 09:35:27 | × | pbrisbin quits (~patrick@pool-108-16-214-93.phlapa.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-08-21 09:35:32 | <tomsmeding> | where the windows kernel has compatibility hacks for specific programs |
| 2021-08-21 09:35:47 | → | biberu joins (~biberu@user/biberu) |
| 2021-08-21 09:36:12 | → | ubert joins (~Thunderbi@77.119.170.32.wireless.dyn.drei.com) |
| 2021-08-21 09:36:18 | <arahael> | I fear that's going to be a dark hole. |
| 2021-08-21 09:37:36 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-21 09:38:01 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-21 09:38:16 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 268 seconds) |
| 2021-08-21 09:39:25 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-21 09:41:51 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-21 09:42:35 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-08-21 09:43:16 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 250 seconds) |
| 2021-08-21 09:45:53 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-21 09:46:13 | × | random-jellyfish quits (~random-je@user/random-jellyfish) (Ping timeout: 246 seconds) |
| 2021-08-21 09:47:30 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-08-21 09:48:28 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 250 seconds) |
| 2021-08-21 09:50:16 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-08-21 09:54:36 | × | o1lo01ol1o quits (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) (Remote host closed the connection) |
| 2021-08-21 09:56:43 | → | nschoe joins (~quassel@2a01:e0a:8e:a190:dc3:57c7:ad61:19ea) |
| 2021-08-21 09:57:47 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-21 09:59:30 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-21 10:00:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-21 10:02:44 | <tomsmeding> | https://mail.haskell.org/pipermail/haskell-cafe/2021-August/134351.html |
| 2021-08-21 10:06:14 | → | o1lo01ol1o joins (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) |
| 2021-08-21 10:10:22 | × | o1lo01ol1o quits (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) (Remote host closed the connection) |
| 2021-08-21 10:14:06 | <arahael> | That sucks, I'm currently an iOS dev, actually, but I'm not really happy with how difficult xcode makes things. |
| 2021-08-21 10:14:40 | × | oldsk00l_ quits (~znc@ec2-3-124-242-227.eu-central-1.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-08-21 10:18:48 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 250 seconds) |
| 2021-08-21 10:21:06 | × | michalz quits (~michalz@185.246.204.55) (Remote host closed the connection) |
| 2021-08-21 10:26:11 | → | ubert1 joins (~Thunderbi@77.119.170.32.wireless.dyn.drei.com) |
| 2021-08-21 10:30:57 | × | ubert1 quits (~Thunderbi@77.119.170.32.wireless.dyn.drei.com) (Ping timeout: 258 seconds) |
| 2021-08-21 10:34:40 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-21 10:35:27 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-21 10:36:21 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-21 10:38:33 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-21 10:38:58 | → | Megant joins (megant@user/megant) |
| 2021-08-21 10:39:31 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-08-21 10:44:15 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-08-21 10:51:50 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-21 10:52:36 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 250 seconds) |
| 2021-08-21 10:54:19 | → | vysn joins (~vysn@user/vysn) |
| 2021-08-21 10:54:42 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-08-21 10:55:27 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-21 10:56:55 | → | severen joins (~severen@202.36.179.72) |
| 2021-08-21 10:58:04 | → | mastarija joins (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 2021-08-21 11:00:44 | → | o1lo01ol1o joins (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) |
| 2021-08-21 11:01:04 | → | alx741 joins (~alx741@181.196.68.120) |
| 2021-08-21 11:05:10 | × | o1lo01ol1o quits (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) (Ping timeout: 250 seconds) |
| 2021-08-21 11:07:41 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-21 11:08:35 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-21 11:09:16 | → | AlexNoo_ joins (~AlexNoo@94.233.241.255) |
| 2021-08-21 11:12:33 | × | AlexZenon quits (~alzenon@94.233.241.41) (Ping timeout: 248 seconds) |
| 2021-08-21 11:12:33 | × | Alex_test quits (~al_test@94.233.241.41) (Ping timeout: 248 seconds) |
| 2021-08-21 11:12:47 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-21 11:13:22 | × | AlexNoo quits (~AlexNoo@94.233.241.41) (Ping timeout: 272 seconds) |
| 2021-08-21 11:14:58 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-21 11:15:28 | → | dipankar joins (~dipankar@50.35.187.85) |
| 2021-08-21 11:15:31 | × | benin036932 quits (~benin@183.82.178.142) (Ping timeout: 252 seconds) |
| 2021-08-21 11:15:55 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-21 11:16:51 | → | Alex_test joins (~al_test@94.233.241.255) |
| 2021-08-21 11:17:01 | → | AlexZenon joins (~alzenon@94.233.241.255) |
| 2021-08-21 11:24:25 | → | benin036932 joins (~benin@183.82.178.142) |
| 2021-08-21 11:24:49 | × | NieDzejkob quits (~quassel@195.149.98.3) (Ping timeout: 248 seconds) |
| 2021-08-21 11:24:52 | × | Megant quits (megant@user/megant) (Ping timeout: 252 seconds) |
| 2021-08-21 11:26:13 | → | NieDzejkob joins (~quassel@195.149.98.3) |
| 2021-08-21 11:30:20 | → | Megant joins (megant@user/megant) |
| 2021-08-21 11:34:58 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9557dc14868c6ad3e278.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-08-21 11:36:10 | × | nschoe quits (~quassel@2a01:e0a:8e:a190:dc3:57c7:ad61:19ea) (Ping timeout: 240 seconds) |
| 2021-08-21 11:41:11 | × | ubert quits (~Thunderbi@77.119.170.32.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-08-21 11:42:33 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-21 11:43:46 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-21 11:46:11 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-21 11:46:37 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-21 11:49:06 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-21 11:51:16 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
All times are in UTC.