Logs: liberachat/#haskell
| 2021-08-13 19:17:51 | <Las[m]> | falsifian: https://github.com/tweag/asterius |
| 2021-08-13 19:17:57 | <Las[m]> | It's not stable AFAICT, but I think that's still better than using an unmaintained project |
| 2021-08-13 19:18:04 | <Las[m]> | GHCJS is AFAIK dead |
| 2021-08-13 19:18:28 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-13 19:19:11 | <falsifian> | Las[m]: The version got bumped to 8.10.5 as recently as June, and there are more recent commits. It may not be well-maintained, but dead seems like an exaggeration. |
| 2021-08-13 19:20:19 | × | jeslie0 quits (~user@108.162.150.9) (Remote host closed the connection) |
| 2021-08-13 19:20:44 | → | jeslie0 joins (~user@108.162.150.9) |
| 2021-08-13 19:20:46 | <falsifian> | Hm, and Asterius's most recent commit is January |
| 2021-08-13 19:20:57 | <Las[m]> | You're right, it's a slight exaggeration |
| 2021-08-13 19:20:57 | <Las[m]> | Wait really? |
| 2021-08-13 19:21:09 | <Las[m]> | lol |
| 2021-08-13 19:21:09 | <falsifian> | Looking at https://github.com/tweag/asterius. Not sure if that's the right place |
| 2021-08-13 19:21:17 | <Las[m]> | No it is the right place I think, wonder wh |
| 2021-08-13 19:21:19 | <Las[m]> | y |
| 2021-08-13 19:21:56 | <falsifian> | I'm certainly open to other options. I love Haskell, but ghc is a beast. I wish there were a lighter-weight compiler, maybe with fewer features, that isn't dead. |
| 2021-08-13 19:21:58 | <Las[m]> | falsifian: https://github.com/tweag/ghc-asterius |
| 2021-08-13 19:22:23 | <Las[m]> | I wonder why they switched repository |
| 2021-08-13 19:22:48 | <falsifian> | Las[m]: looks like they're trying to integrate it into ghc? |
| 2021-08-13 19:22:50 | <Las[m]> | I think Idris could solve that problem honestly, since it has a much simpler compiler and isn't lazy |
| 2021-08-13 19:22:57 | <Las[m]> | It already compiles to a lot of odd backends, including JS |
| 2021-08-13 19:23:00 | <Las[m]> | Yeah |
| 2021-08-13 19:23:19 | <falsifian> | Maybe I should take another look at Idris :) |
| 2021-08-13 19:23:49 | <dsal> | Is there an agdajs? |
| 2021-08-13 19:24:07 | → | pfurla_ joins (~pfurla@ool-3f8fcb0f.dyn.optonline.net) |
| 2021-08-13 19:24:27 | <Las[m]> | I would not use that, can't imagine using Agda for a real project |
| 2021-08-13 19:24:39 | <Las[m]> | I like being able to compile a project in under a minute |
| 2021-08-13 19:27:15 | × | pfurla quits (~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-08-13 19:28:40 | <falsifian> | Is anyone using Idris for a Javascript project? Is it practical? |
| 2021-08-13 19:29:33 | × | jeslie0 quits (~user@108.162.150.9) (Remote host closed the connection) |
| 2021-08-13 19:33:10 | <kuribas> | falsifian: I don't think idris is practical for anything that is not an experiment. |
| 2021-08-13 19:33:53 | <kuribas> | falsifian: have a look at purescript |
| 2021-08-13 19:34:19 | × | kuribas quits (~user@ptr-25vy0i8g8e654nggn7o.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-08-13 19:34:23 | <falsifian> | I've heard of purescript. I'm a bit reluctant to use anything that only targets the web, mostly on principle, but partly because I would like my thing to run natively too |
| 2021-08-13 19:34:26 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-13 19:34:55 | <Cale> | Yeah, it's really nice to be able to move and share code between the frontend and backend |
| 2021-08-13 19:36:01 | × | benin036932 quits (~benin@183.82.205.178) (Ping timeout: 248 seconds) |
| 2021-08-13 19:37:01 | → | jneira joins (~jneira@28.red-80-28-169.staticip.rima-tde.net) |
| 2021-08-13 19:37:07 | <falsifian> | I recall the last time I tried to use Idris for a task, the first thing I implemented was count the lines of a file in what seemed like an obvious way to me. My program was extremely slow, and seemed to be taking O(n^2) time IIRC. Never figured out why. This was before Idris2. |
| 2021-08-13 19:37:20 | <Cale> | At Obsidian, we use ghcjs along with reflex-dom for a lot of our frontend work, and it's pretty nice. We've got a framework for web and mobile applications called Obelisk you might be interested in. The web/mobile side of our business got a little slow through COVID times, but it seems to be picking back up now. |
| 2021-08-13 19:38:23 | <dsal> | I've not tried purescript, but my inexperienced concern is that it's close enough to Haskell to be confusing in an uncanny valley kind of way. |
| 2021-08-13 19:38:40 | <falsifian> | Cale: My UI needs are pretty simple. I'm just creating a canvas, doing some WebGL, and catching simple events. I think I'm okay just using standard web APIs for now. |
| 2021-08-13 19:39:09 | <sm> | there's Kind |
| 2021-08-13 19:40:53 | <falsifian> | sm: Is that the one that used to be called Formality? Pretty new, right? |
| 2021-08-13 19:41:12 | <sm> | yup, very new |
| 2021-08-13 19:41:36 | <Cale> | falsifian: Yeah, if you don't need a backend, then using all of Obelisk is probably too much. It may still be nice using reflex-platform to easily work with ghcjs, and *maybe* reflex-dom to just build the web side of things, though we don't really have anything special for canvas or webgl, and we probably ought to. |
| 2021-08-13 19:41:40 | <sm> | and of course there's Elm |
| 2021-08-13 19:41:53 | × | azeem quits (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Ping timeout: 248 seconds) |
| 2021-08-13 19:42:55 | → | azeem joins (~azeem@176.200.230.183) |
| 2021-08-13 19:43:11 | <Cale> | Just using the GHCJS.DOM library might be enough if the event handling is pretty simple and you're imperatively drawing on a canvas a bunch. |
| 2021-08-13 19:43:16 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2021-08-13 19:43:51 | <falsifian> | sm: That's also web-only, right? |
| 2021-08-13 19:44:06 | <falsifian> | Cale: Yup, that's what I'm doing. It's just an animation loop with event handlers that update a state ref. |
| 2021-08-13 19:44:14 | <sm> | no sure but I would guess so |
| 2021-08-13 19:48:22 | → | Shaeto joins (~Shaeto@94.25.234.223) |
| 2021-08-13 19:48:53 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-13 19:49:34 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-13 19:49:56 | × | _bin quits (~bin@user/bin/x-1583188) (Quit: ZNC - https://znc.in) |
| 2021-08-13 19:50:27 | → | _bin joins (~bin@user/bin/x-1583188) |
| 2021-08-13 19:50:45 | mnrmnaugh | is now known as KeziahMason |
| 2021-08-13 19:52:03 | × | _bin quits (~bin@user/bin/x-1583188) (Client Quit) |
| 2021-08-13 19:52:45 | → | Codaraxis joins (~Codaraxis@user/codaraxis) |
| 2021-08-13 19:52:55 | → | _bin joins (~bin@user/bin/x-1583188) |
| 2021-08-13 19:53:27 | × | _bin quits (~bin@user/bin/x-1583188) (Client Quit) |
| 2021-08-13 19:53:56 | → | _bin joins (~bin@user/bin/x-1583188) |
| 2021-08-13 19:56:33 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-13 19:58:19 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-13 20:01:10 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2021-08-13 20:02:47 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-13 20:03:58 | × | Guest2507 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-13 20:05:03 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-13 20:05:21 | × | juhp quits (~juhp@128.106.188.220) (Ping timeout: 248 seconds) |
| 2021-08-13 20:05:31 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-13 20:07:37 | → | juhp joins (~juhp@128.106.188.220) |
| 2021-08-13 20:07:51 | AlexNoo_ | is now known as AlexNoo |
| 2021-08-13 20:08:49 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-13 20:08:53 | chris | is now known as Guest1898 |
| 2021-08-13 20:09:06 | ← | _73 parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2)) |
| 2021-08-13 20:13:02 | × | Guest1898 quits (~chris@81.96.113.213) (Ping timeout: 245 seconds) |
| 2021-08-13 20:14:20 | KeziahMason | is now known as mnrmnaugh |
| 2021-08-13 20:22:37 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-13 20:22:45 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-08-13 20:24:02 | × | azeem quits (~azeem@176.200.230.183) (Ping timeout: 258 seconds) |
| 2021-08-13 20:24:26 | → | azeem joins (~azeem@176.200.230.183) |
| 2021-08-13 20:35:24 | × | Shaeto quits (~Shaeto@94.25.234.223) (Quit: WeeChat 3.1) |
| 2021-08-13 20:37:21 | × | azeem quits (~azeem@176.200.230.183) (Ping timeout: 248 seconds) |
| 2021-08-13 20:38:06 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-13 20:38:26 | × | heath quits (~heath@user/heath) (Ping timeout: 250 seconds) |
| 2021-08-13 20:38:26 | × | oats quits (~thomas@user/oats) (Ping timeout: 250 seconds) |
| 2021-08-13 20:38:32 | × | aravk quits (~aravk@user/aravk) (Ping timeout: 252 seconds) |
| 2021-08-13 20:38:52 | × | zyklotomic quits (~ethan@2604:a880:800:10::79f:8001) (Ping timeout: 250 seconds) |
| 2021-08-13 20:38:52 | × | krjst quits (~krjst@2604:a880:800:c1::16b:8001) (Ping timeout: 250 seconds) |
| 2021-08-13 20:38:57 | × | VoidNoir0 quits (~VoidNoir0@72.80.203.52) (Ping timeout: 248 seconds) |
| 2021-08-13 20:39:05 | × | nonzen quits (~nonzen@user/nonzen) (Ping timeout: 252 seconds) |
| 2021-08-13 20:39:18 | × | sajith quits (~sajith@user/sajith) (Ping timeout: 250 seconds) |
| 2021-08-13 20:39:22 | × | jneira quits (~jneira@28.red-80-28-169.staticip.rima-tde.net) (Ping timeout: 258 seconds) |
| 2021-08-13 20:39:24 | × | jolly quits (~jolly@208.180.97.158) (Ping timeout: 268 seconds) |
| 2021-08-13 20:39:35 | → | sajith_ joins (~sajith@user/sajith) |
| 2021-08-13 20:39:42 | → | hololeap joins (~hololeap@user/hololeap) |
| 2021-08-13 20:39:48 | × | energizer quits (~energizer@user/energizer) (Ping timeout: 272 seconds) |
| 2021-08-13 20:39:56 | → | nonzen joins (~nonzen@user/nonzen) |
All times are in UTC.