Logs: freenode/#haskell
| 2021-03-04 05:49:03 | <jackdk> | there's also a haskell-gi lib that uses GObject introspection to do gtk |
| 2021-03-04 05:49:29 | <boxscape> | wow some throwbacks to the last millenium |
| 2021-03-04 05:49:29 | <jackdk> | upon which https://github.com/owickstrom/gi-gtk-declarative is built |
| 2021-03-04 05:50:15 | <jackdk> | https://owickstrom.github.io/declarative-gtk-programming-in-haskell/ may be a helpful getting-started |
| 2021-03-04 05:50:41 | <jackdk> | qih: that's beautiful! I can see exactly which things are controls, and know what to click where |
| 2021-03-04 05:50:59 | <Axman6> | http://hackage.haskell.org/package/fltkhs-0.8.0.3/docs/Graphics-UI-FLTK-LowLevel-FLTKHS.html#g:3 is worth taking note of |
| 2021-03-04 05:51:41 | <koz_> | I always wonder at the term 'look and feel' for GUIs. |
| 2021-03-04 05:51:42 | <Axman6> | https://github.com/deech/fltkhs-themes-demo |
| 2021-03-04 05:51:55 | <koz_> | Like, last I checked, GUI didn't have the term 'tactile' in it. |
| 2021-03-04 05:52:24 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 260 seconds) |
| 2021-03-04 05:52:42 | <qih> | jackdk: I know right! He's done a really solid job of making that UI 10/10 |
| 2021-03-04 05:52:47 | <Axman6> | Wouldn't be surprised of FLTK has a braille interface :P |
| 2021-03-04 05:52:50 | <boxscape> | koz_ it might refer to how it responds to inputs |
| 2021-03-04 05:53:03 | <koz_> | boxscape: Yeah, makes sense, I'm just nitpicking. :P |
| 2021-03-04 05:53:27 | <Axman6> | jackdk: excuse me who doesn't like a hamburger button as interface interface? |
| 2021-03-04 05:53:32 | <boxscape> | (Though I suspect people have also been using "look and feel" for static sites) |
| 2021-03-04 05:53:35 | <qih> | Axman6: Ctrl-D'd for sure. |
| 2021-03-04 05:54:56 | <jackdk> | Axman6: I prefer programs where all operations are behind the `M-x` button, like a civilised person |
| 2021-03-04 05:55:04 | <Axman6> | to me, that means close stdin |
| 2021-03-04 05:55:15 | <qih> | boxscape: 'Look & Feel' ... marketing leet speak of little merit. |
| 2021-03-04 05:56:51 | <jackdk> | Axman6: technically it sends the contents of the tty buffer without waiting for EOL |
| 2021-03-04 05:57:09 | <jackdk> | qih: m4rk3ting sp33k? |
| 2021-03-04 05:57:23 | <qih> | I want to make some simple Haskell-UI widgets to run on a bunch of machines, to simulate agents for a DAML. Hence the interest in Lightweight UI. |
| 2021-03-04 05:57:29 | <qih> | jackdk: Snicker. |
| 2021-03-04 05:57:29 | <Axman6> | jackdk: whatever, nerd 8) |
| 2021-03-04 05:59:13 | <qih> | I might ask that as a question on the DAML forum, about simulations of agents from an almost RT perspective. I 'spose someone will tell me there is already a lib for that ... |
| 2021-03-04 05:59:32 | Axman6 | awaits jackdk recommending Reflex |
| 2021-03-04 06:00:21 | <Axman6> | qih: have you done the tutorial which creates a web ui? I was very impressed with the real-time nature of it |
| 2021-03-04 06:01:09 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-03-04 06:02:01 | <Axman6> | DAML + Reflex would be quite cool actually |
| 2021-03-04 06:02:08 | <qih> | Axman6: Ah the 'social media' one? |
| 2021-03-04 06:02:37 | × | polyrain quits (~polyrain@2001:8003:e4d8:4101:6ceb:5781:5054:5a4) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-04 06:02:45 | <Axman6> | I think it was just a chat app, but maybe |
| 2021-03-04 06:03:27 | <qih> | Yes that's it. I have, had all the DAML stuff in, was working through the tutorials then the motherboard died. |
| 2021-03-04 06:04:08 | <koz_> | qih: That bodes well. :P |
| 2021-03-04 06:04:37 | <qih> | That was really cool. The instant nature of the network comms was not unlike Erlang's GEN_Server ... I was hooked 8-) |
| 2021-03-04 06:07:17 | → | apache801 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-04 06:07:29 | <koz_> | Wow, my tiny MR has now had comments from both Simon and Edward. |
| 2021-03-04 06:11:39 | × | wmacmil quits (~wmacmil@c83-252-138-144.bredband.comhem.se) (Ping timeout: 260 seconds) |
| 2021-03-04 06:11:50 | <qih> | Oh, on the DAML Core Team? |
| 2021-03-04 06:12:48 | <koz_> | qih: No, on GHC. |
| 2021-03-04 06:12:49 | × | kam1 quits (~kam1@5.125.82.63) (Ping timeout: 260 seconds) |
| 2021-03-04 06:13:15 | × | xff0x quits (~xff0x@2001:1a81:5237:bb00:afc3:f953:e68b:99a6) (Ping timeout: 240 seconds) |
| 2021-03-04 06:13:37 | <qih> | OK, still, congrats |
| 2021-03-04 06:14:00 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-04 06:14:18 | → | xff0x joins (~xff0x@2001:1a81:5237:bb00:987e:1ed6:ef8c:3d12) |
| 2021-03-04 06:14:30 | <koz_> | qih: Thanks! |
| 2021-03-04 06:14:53 | <koz_> | Axman6: DAML + Reflex = DAMLflex? |
| 2021-03-04 06:16:22 | <Axman6> | ReflAML |
| 2021-03-04 06:17:07 | × | lunaphyte_ quits (~lunaphyte@217.146.82.202) (Remote host closed the connection) |
| 2021-03-04 06:17:29 | <qih> | Sounds like a fancy pharmaceutical ... Reflamil. |
| 2021-03-04 06:17:41 | → | Page43 joins (debe8e1e@222.190.142.30) |
| 2021-03-04 06:17:49 | <koz_> | qih: Take it to resolve all your IRL async issues. |
| 2021-03-04 06:17:54 | <qih> | I smell a C&D letter coming on. |
| 2021-03-04 06:18:06 | <qih> | Haha excellent, thanks. |
| 2021-03-04 06:19:34 | <qih> | Async I am hungry. |
| 2021-03-04 06:20:42 | <koz_> | Async that pun was ungodly. |
| 2021-03-04 06:20:44 | × | boxscape quits (4ff0baf3@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.243) (Quit: Connection closed) |
| 2021-03-04 06:21:34 | × | Page43 quits (debe8e1e@222.190.142.30) (Client Quit) |
| 2021-03-04 06:22:02 | <qih> | Haha, no, it was *awesome* |
| 2021-03-04 06:28:28 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-04 06:30:28 | × | apache801 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 245 seconds) |
| 2021-03-04 06:31:05 | → | Tops2 joins (~Tobias@dyndsl-095-033-090-077.ewe-ip-backbone.de) |
| 2021-03-04 06:32:08 | × | qih quits (~pi@210-54-120-166.adsl.xtra.co.nz) (Read error: Connection reset by peer) |
| 2021-03-04 06:32:51 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-03-04 06:32:58 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 2021-03-04 06:33:35 | → | ezrakilty joins (~ezrakilty@97-113-55-149.tukw.qwest.net) |
| 2021-03-04 06:34:01 | → | qih__ joins (~pi@210-54-120-166.adsl.xtra.co.nz) |
| 2021-03-04 06:34:33 | → | Trasp joins (~Trasp@195.140.213.38) |
| 2021-03-04 06:34:47 | <qih__> | Well that was fun. |
| 2021-03-04 06:39:33 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 264 seconds) |
| 2021-03-04 06:42:42 | × | ryanbooker quits (uid4340@gateway/web/irccloud.com/x-rnkpnanajeurascu) (Quit: Connection closed for inactivity) |
| 2021-03-04 06:43:20 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2021-03-04 06:45:52 | → | forgottenone joins (~forgotten@176.88.30.190) |
| 2021-03-04 06:48:37 | → | Neuromancer joins (~Neuromanc@unaffiliated/neuromancer) |
| 2021-03-04 06:48:56 | × | _bin quits (~bin@2600:1700:10a1:38d0:922b:34ff:fe99:1283) (Ping timeout: 240 seconds) |
| 2021-03-04 06:49:11 | → | graf_blutwurst joins (~user@2001:171b:226e:adc0:441d:c551:5138:50ac) |
| 2021-03-04 06:53:10 | × | average quits (uid473595@gateway/web/irccloud.com/x-eenzrwxaxysearfe) (Quit: Connection closed for inactivity) |
| 2021-03-04 06:54:20 | → | mirrorbird joins (~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) |
| 2021-03-04 06:56:25 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-04 06:58:59 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-03-04 07:00:16 | → | _bin joins (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) |
| 2021-03-04 07:02:59 | × | mirrorbird quits (~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Read error: Connection reset by peer) |
| 2021-03-04 07:03:01 | → | mirrorbird_ joins (~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) |
| 2021-03-04 07:05:16 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2021-03-04 07:06:35 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-04 07:08:23 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-04 07:08:48 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-04 07:10:09 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Ping timeout: 265 seconds) |
| 2021-03-04 07:10:28 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-03-04 07:10:57 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-03-04 07:13:23 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 2021-03-04 07:13:42 | × | jacks2 quits (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 2021-03-04 07:24:46 | × | redmp quits (~redmp@172.58.38.160) (Ping timeout: 276 seconds) |
| 2021-03-04 07:25:51 | → | denisse_ joins (~spaceCat@gateway/tor-sasl/alephzer0) |
| 2021-03-04 07:26:31 | <bahamas> | what would need to change for this error to be clearer? |
| 2021-03-04 07:26:32 | × | denisse quits (~spaceCat@gateway/tor-sasl/alephzer0) (Ping timeout: 268 seconds) |
| 2021-03-04 07:26:33 | <bahamas> | [Just 4, Nothing, Just 'a'] |
| 2021-03-04 07:26:46 | <bahamas> | No instance for (Num Char) arising from the literal ‘4’ |
| 2021-03-04 07:27:17 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
All times are in UTC.