Logs: liberachat/#haskell
| 2021-08-26 21:29:13 | → | azeem joins (~azeem@176.201.2.169) |
| 2021-08-26 21:29:47 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-08-26 21:30:41 | × | mikoto-c1 quits (~mikoto-ch@83.137.2.244) (Ping timeout: 248 seconds) |
| 2021-08-26 21:34:15 | <aegon> | geekosaur: thanks, for whatever reason the payment site keeps directing me to a scetch looking site that continually refreshes and loops :? Sub'd to teh icpf channel and will catch them there. I'm interested in the linear type talks and seeing some applications of it. I'll have to catch it earlier next year |
| 2021-08-26 21:35:30 | × | fendor quits (~fendor@178.165.207.147.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-08-26 21:42:34 | × | zer0bitz quits (~zer0bitz@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-08-26 21:42:47 | × | azeem quits (~azeem@176.201.2.169) (Ping timeout: 240 seconds) |
| 2021-08-26 21:43:29 | → | azeem joins (~azeem@176.201.2.169) |
| 2021-08-26 21:44:09 | × | aplainze1akind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-08-26 21:47:31 | → | chisui joins (~chisui@200116b868eba000c7eca115e002477a.dip.versatel-1u1.de) |
| 2021-08-26 21:47:50 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c1b3:f9cf:5870:faa7) |
| 2021-08-26 21:49:48 | × | xff0x quits (~xff0x@2001:1a81:53a5:7900:5864:fdd9:e9b9:647) (Ping timeout: 250 seconds) |
| 2021-08-26 21:50:39 | → | xff0x joins (~xff0x@2001:1a81:53a5:7900:930f:bdfe:83e3:2183) |
| 2021-08-26 21:51:50 | → | Papa joins (~papa@user/papa) |
| 2021-08-26 21:52:43 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-08-26 21:53:55 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2) |
| 2021-08-26 21:54:31 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-08-26 21:54:57 | × | enoq quits (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 2021-08-26 21:55:09 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 2021-08-26 21:55:13 | → | mikoto-c1 joins (~mikoto-ch@83.137.2.244) |
| 2021-08-26 21:55:35 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 2021-08-26 21:58:32 | × | azeem quits (~azeem@176.201.2.169) (Read error: Connection reset by peer) |
| 2021-08-26 21:58:52 | → | azeem joins (~azeem@dynamic-adsl-78-13-253-103.clienti.tiscali.it) |
| 2021-08-26 22:03:28 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-08-26 22:03:45 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 248 seconds) |
| 2021-08-26 22:04:31 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2) |
| 2021-08-26 22:10:02 | wagle_ | is now known as wagle |
| 2021-08-26 22:11:18 | × | vysn quits (~vysn@user/vysn) (Remote host closed the connection) |
| 2021-08-26 22:17:19 | → | pavonia_ joins (~user@user/siracusa) |
| 2021-08-26 22:17:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-26 22:18:12 | × | pavonia quits (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2021-08-26 22:18:35 | pavonia_ | is now known as pavonia |
| 2021-08-26 22:19:01 | <monochrom> | Oh w00t 8.10.7 |
| 2021-08-26 22:21:30 | × | skykanin quits (~skykanin@115.81-166-221.customer.lyse.net) (Quit: WeeChat 3.2) |
| 2021-08-26 22:23:17 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 250 seconds) |
| 2021-08-26 22:24:30 | × | Athas quits (athas@2a01:7c8:aaac:1cf:21e7:9b03:b2c:cc0f) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-08-26 22:25:22 | → | Athas joins (athas@2a01:7c8:aaac:1cf:21e7:9b03:b2c:cc0f) |
| 2021-08-26 22:26:07 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-26 22:27:01 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2) |
| 2021-08-26 22:27:29 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-26 22:27:42 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-26 22:28:55 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-26 22:30:27 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-08-26 22:31:57 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 250 seconds) |
| 2021-08-26 22:33:17 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 2021-08-26 22:33:41 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 250 seconds) |
| 2021-08-26 22:33:43 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 252 seconds) |
| 2021-08-26 22:34:13 | → | sjb0 joins (~stephen@1.145.57.172) |
| 2021-08-26 22:34:16 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-26 22:34:47 | × | azeem quits (~azeem@dynamic-adsl-78-13-253-103.clienti.tiscali.it) (Ping timeout: 240 seconds) |
| 2021-08-26 22:35:07 | × | Tuplanolla quits (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-08-26 22:35:25 | → | azeem joins (~azeem@176.201.2.169) |
| 2021-08-26 22:36:11 | → | dajoer joins (~david@user/gvx) |
| 2021-08-26 22:40:54 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-26 22:41:29 | × | acidjnk quits (~acidjnk@p200300d0c72b9541c8d0619322fc5f47.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-08-26 22:48:40 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2021-08-26 22:48:47 | × | azeem quits (~azeem@176.201.2.169) (Ping timeout: 240 seconds) |
| 2021-08-26 22:49:14 | → | azeem joins (~azeem@176.200.209.130) |
| 2021-08-26 22:51:17 | × | neo1 quits (~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 245 seconds) |
| 2021-08-26 22:51:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-26 22:56:24 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Quit: ec_) |
| 2021-08-26 22:57:55 | × | azeem quits (~azeem@176.200.209.130) (Ping timeout: 252 seconds) |
| 2021-08-26 22:58:29 | → | azeem joins (~azeem@176.200.209.130) |
| 2021-08-26 23:07:07 | × | azeem quits (~azeem@176.200.209.130) (Ping timeout: 240 seconds) |
| 2021-08-26 23:07:24 | → | azeem joins (~azeem@176.200.209.130) |
| 2021-08-26 23:09:52 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-26 23:11:19 | → | Cajun joins (~Cajun@user/cajun) |
| 2021-08-26 23:11:19 | × | gambpang quits (~ishipman@207.181.230.156) (Remote host closed the connection) |
| 2021-08-26 23:14:25 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 2021-08-26 23:16:07 | × | azeem quits (~azeem@176.200.209.130) (Ping timeout: 240 seconds) |
| 2021-08-26 23:16:26 | → | azeem joins (~azeem@176.200.209.130) |
| 2021-08-26 23:19:04 | <maralorn> | I know of a lot of alternative syntax languages that compile to javascript. Are there alternative syntax languages that compile to Haskell? |
| 2021-08-26 23:22:53 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:1cd3:839e:78c5:a38b) |
| 2021-08-26 23:23:46 | × | mei quits (~mei@user/mei) (Ping timeout: 252 seconds) |
| 2021-08-26 23:24:51 | <aegon> | maralorn: haskell :P |
| 2021-08-26 23:25:28 | <geekosaur> | agda at least used to compile to haskell |
| 2021-08-26 23:25:50 | <hpc> | agda's haskell was pretty funny, every single expression was unsafeCoerced |
| 2021-08-26 23:26:05 | <geekosaur> | I don't know if liquid haskell counts as "alternative syntax" to you |
| 2021-08-26 23:26:15 | <hpc> | template haskell? :D |
| 2021-08-26 23:26:20 | wrengr | is now known as wrengr_away |
| 2021-08-26 23:30:32 | <maralorn> | I am more thinking along the lines of https://github.com/serras/hinc. But was wondering if there are other approaches. |
| 2021-08-26 23:32:07 | × | azeem quits (~azeem@176.200.209.130) (Ping timeout: 240 seconds) |
| 2021-08-26 23:32:23 | → | sszark2 joins (~sszark@h-155-4-128-59.NA.cust.bahnhof.se) |
| 2021-08-26 23:32:55 | → | azeem joins (~azeem@176.200.209.130) |
| 2021-08-26 23:35:10 | × | sszark1 quits (~sszark@h-155-4-128-59.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2021-08-26 23:37:10 | × | azeem quits (~azeem@176.200.209.130) (Ping timeout: 240 seconds) |
| 2021-08-26 23:37:58 | → | azeem joins (~azeem@176.200.209.130) |
| 2021-08-26 23:41:07 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-08-26 23:42:57 | × | mikoto-c1 quits (~mikoto-ch@83.137.2.244) (Ping timeout: 248 seconds) |
| 2021-08-26 23:43:15 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-26 23:44:54 | → | jeslie0 joins (~user@108.162.150.9) |
| 2021-08-26 23:45:37 | × | Gurkenglas quits (~Gurkengla@dslb-088-064-053-140.088.064.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2021-08-26 23:51:15 | × | jeslie0 quits (~user@108.162.150.9) (Ping timeout: 250 seconds) |
| 2021-08-26 23:51:16 | × | azeem quits (~azeem@176.200.209.130) (Ping timeout: 252 seconds) |
| 2021-08-26 23:51:48 | → | azeem joins (~azeem@176.200.209.130) |
| 2021-08-26 23:55:49 | × | stef204 quits (~stef204@user/stef204) (Read error: Connection reset by peer) |
| 2021-08-27 00:03:40 | × | azeem quits (~azeem@176.200.209.130) (Ping timeout: 240 seconds) |
| 2021-08-27 00:04:25 | → | azeem joins (~azeem@176.200.209.130) |
| 2021-08-27 00:07:55 | <maralorn> | I am concretely thinking about a syntax sugar than unisonweb.org has and that I‘d love to try out in Haskell: |
| 2021-08-27 00:08:54 | <maralorn> | I am thinking about having something like `await` or simply `'` that you can use in a do block which has the fake type `Monad m => m a -> a`. |
All times are in UTC.