Logs: liberachat/#haskell
| 2021-05-29 19:33:00 | → | werneta joins (~werneta@mobile-166-176-57-108.mycingular.net) |
| 2021-05-29 19:33:02 | × | ddellacosta quits (~ddellacos@89.46.62.44) (Ping timeout: 265 seconds) |
| 2021-05-29 19:33:19 | → | kus joins (~ku@2601:280:c780:7ea0:107b:4384:cef1:a6bd) |
| 2021-05-29 19:35:23 | → | esclear joins (~esclear@phobos.esclear.de) |
| 2021-05-29 19:35:44 | <zebrag> | When we use recursive data types, for that purpose we need our objects to have some set-like properties. Specifically we can speak of the elements because we have an initial object. |
| 2021-05-29 19:36:08 | <zebrag> | Hence initial. |
| 2021-05-29 19:36:19 | <zebrag> | Just saying. |
| 2021-05-29 19:36:36 | × | ku quits (~ku@2601:280:c780:7ea0:4047:2728:61af:6d22) (Ping timeout: 268 seconds) |
| 2021-05-29 19:36:49 | <zebrag> | I don't even know what paper the quote is from. |
| 2021-05-29 19:38:09 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-05-29 19:39:04 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 268 seconds) |
| 2021-05-29 19:39:19 | <glguy> | dminuoso, Is namedSpec related? |
| 2021-05-29 19:39:40 | → | river joins (~river@tilde.team/user/river) |
| 2021-05-29 19:40:18 | × | kus quits (~ku@2601:280:c780:7ea0:107b:4384:cef1:a6bd) (Ping timeout: 268 seconds) |
| 2021-05-29 19:40:19 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-29 19:40:22 | × | xff0x quits (~xff0x@2001:1a81:5217:e000:c979:fd80:46fd:6afc) (Ping timeout: 264 seconds) |
| 2021-05-29 19:40:52 | <glguy> | dminuoso, namedSpec "Launch a missle" (atomSpec "launch" <!> atomSpec "sleep")) |
| 2021-05-29 19:41:11 | → | xff0x joins (~xff0x@2001:1a81:5217:e000:4218:6218:8e9f:303f) |
| 2021-05-29 19:41:21 | <xerox> | is MVar the correct abstraction to send information one-way only between threads? |
| 2021-05-29 19:41:26 | × | unyu quits (~pyon@user/pyon) (Quit: Fix config.) |
| 2021-05-29 19:42:36 | → | feepo joins (sid28508@id-28508.brockwell.irccloud.com) |
| 2021-05-29 19:42:42 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-05-29 19:42:49 | × | aman quits (~aman@user/aman) (Ping timeout: 244 seconds) |
| 2021-05-29 19:42:54 | × | guest0123 quits (~aaron@2601:602:a080:fa0:21da:7ddc:2cc6:a10c) (Ping timeout: 264 seconds) |
| 2021-05-29 19:42:57 | <xerox> | I was trying to find something akin a write-only/read-only pair of "channel" ends to avoid messing things up by accident |
| 2021-05-29 19:43:02 | <monochrom> | Yes if its blocking behaviour is what you want. |
| 2021-05-29 19:43:36 | → | dustingetz joins (~textual@pool-173-49-123-198.phlapa.fios.verizon.net) |
| 2021-05-29 19:44:20 | × | dustingetz quits (~textual@pool-173-49-123-198.phlapa.fios.verizon.net) (Client Quit) |
| 2021-05-29 19:44:22 | <dminuoso> | glguy: This is only useful for refactoring them out, but not for attaching a description string to something. |
| 2021-05-29 19:44:27 | → | andreas[m]3 joins (~andreasm]@31.43.233.36) |
| 2021-05-29 19:44:39 | × | andreas[m]3 quits (~andreasm]@31.43.233.36) (K-Lined) |
| 2021-05-29 19:44:51 | → | aman joins (~aman@user/aman) |
| 2021-05-29 19:45:27 | <dminuoso> | In particular to say individual enum values |
| 2021-05-29 19:45:29 | <xerox> | the setup is easy to imagine I guess, just like a chess program that talks to a chess engine, on one side there's a UI thread, on the other the one that talks to the engine |
| 2021-05-29 19:46:00 | <xerox> | the only blocking I want is a thread waiting on the game engine responses, use them to update the world, and trigger a redraw |
| 2021-05-29 19:46:01 | → | ddellacosta joins (~ddellacos@86.106.121.108) |
| 2021-05-29 19:46:16 | <glguy> | dminuoso, customSpec can do extra text on things, but it's not quite in the right place |
| 2021-05-29 19:46:18 | <dminuoso> | glguy: The dimension to add a description string seems to only exist for sections in a SectionsSpec |
| 2021-05-29 19:46:35 | <glguy> | generateDocs ( namedSpec "Launch a missle" (customSpec "extra text" (atomSpec "launch") Right <!> atomSpec "sleep")) -- Launch a missle -- extra text `launch` or `sleep` |
| 2021-05-29 19:46:37 | <xerox> | all the while the ui should be able to spam the engine with requests |
| 2021-05-29 19:46:55 | <glguy> | dminuoso, If you have a design in mind I'm open to ideas |
| 2021-05-29 19:48:12 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 245 seconds) |
| 2021-05-29 19:48:27 | <monochrom> | MVar blocks the sender when full. And it's very easy to be full, just one unread item does it. This may or may not let you spam, depending on how impatiently you mean by "spam". |
| 2021-05-29 19:49:27 | <dminuoso> | glguy: Well adding a Text field to each PrimValueSpec other than SectionsSpec seems trivial enough. The main issue is rather how to render this |
| 2021-05-29 19:49:29 | <ski> | zebrag : "Specifically we can speak of the elements because we have an initial object." -- huh ? .. did you mean "final"/"terminal" ? |
| 2021-05-29 19:50:12 | <dminuoso> | Ill give it some thought and get back to you |
| 2021-05-29 19:50:17 | × | ddellacosta quits (~ddellacos@86.106.121.108) (Ping timeout: 245 seconds) |
| 2021-05-29 19:50:25 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-29 19:50:29 | × | coot quits (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-29 19:53:19 | <zebrag> | ski: isn't it the second time at least that I make huge mistakes of that sort? |
| 2021-05-29 19:54:01 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-29 19:54:18 | × | pbrisbin quits (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-05-29 19:54:52 | → | Artem[m] joins (~artemtype@2001:470:69fc:105::75b) |
| 2021-05-29 19:55:01 | <xerox> | monochrom: I'm temped to switch to TChans to avoid the possiblility of the UI getting stuck and be explicit as to who reads and who writes, since the channels are one-way |
| 2021-05-29 19:55:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-05-29 19:55:52 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-29 19:57:22 | <ski> | zebrag, dunno |
| 2021-05-29 19:58:02 | <dminuoso> | xerox: A TQueue might be interesting too, since it features flushTQueue |
| 2021-05-29 19:58:19 | <dminuoso> | That way whenever you are ready, you can flush the entire buffer of commands - and then decide what to do with it |
| 2021-05-29 19:58:32 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-05-29 19:58:36 | <dminuoso> | Gives you the option to perhaps throw some away, merge others |
| 2021-05-29 19:58:37 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-05-29 20:01:36 | × | notzmv quits (~zmv@user/notzmv) (Read error: Connection reset by peer) |
| 2021-05-29 20:02:28 | × | HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 2021-05-29 20:03:01 | → | ddellacosta joins (~ddellacos@89.46.62.115) |
| 2021-05-29 20:03:40 | × | hylisper quits (~yaaic@111.119.208.67) (Quit: Yaaic - Yet another Android IRC client - http://www.yaaic.org) |
| 2021-05-29 20:05:08 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-05-29 20:05:49 | × | ubert quits (~Thunderbi@p200300ecdf259d1274882ed522245916.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2021-05-29 20:05:50 | → | ub joins (~Thunderbi@p548c937f.dip0.t-ipconnect.de) |
| 2021-05-29 20:07:17 | × | mc47 quits (~yecinem@89.246.239.190) (Ping timeout: 272 seconds) |
| 2021-05-29 20:07:28 | × | dcoutts quits (~duncan@94.186.125.91.dyn.plus.net) (Ping timeout: 264 seconds) |
| 2021-05-29 20:07:50 | × | ddellacosta quits (~ddellacos@89.46.62.115) (Ping timeout: 265 seconds) |
| 2021-05-29 20:08:05 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2021-05-29 20:08:08 | ub | is now known as ubert |
| 2021-05-29 20:08:15 | × | ixlun quits (~user@109.249.184.235) (Remote host closed the connection) |
| 2021-05-29 20:08:53 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@192.252.212.4) |
| 2021-05-29 20:09:49 | × | haskman quits (~haskman@223.190.19.0) (Quit: Going to sleep. ZZZzzz…) |
| 2021-05-29 20:11:59 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-05-29 20:14:18 | × | ggole quits (~ggole@2001:8003:8119:7200:5512:f869:3799:bae7) (Quit: Leaving) |
| 2021-05-29 20:14:31 | × | Guest31_ quits (~textual@cpc146410-hari22-2-0-cust124.20-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-29 20:19:31 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@192.252.212.4) (Quit: Leaving) |
| 2021-05-29 20:20:25 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-05-29 20:21:25 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-05-29 20:24:52 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 264 seconds) |
| 2021-05-29 20:29:22 | → | superstar64 joins (~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) |
| 2021-05-29 20:31:40 | → | coot joins (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-29 20:33:07 | → | reumeth joins (~reumeth@2001:4652:9745:0:72c9:4eff:fea7:32ab) |
| 2021-05-29 20:33:35 | × | Dynom quits (~niels@80-114-12-206.cable.dynamic.v4.ziggo.nl) (Quit: WeeChat 3.1) |
| 2021-05-29 20:33:56 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-05-29 20:36:35 | → | DASPRiD18 joins (~DASPRiD@49.229.47.136) |
| 2021-05-29 20:36:47 | × | DASPRiD18 quits (~DASPRiD@49.229.47.136) (K-Lined) |
| 2021-05-29 20:37:01 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Quit: my macbook has gone to sleep zzz) |
| 2021-05-29 20:38:00 | → | ddellacosta joins (~ddellacos@89.46.62.109) |
| 2021-05-29 20:39:30 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 268 seconds) |
| 2021-05-29 20:39:55 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-29 20:41:08 | × | mc47 quits (~yecinem@89.246.239.190) (Quit: Leaving) |
| 2021-05-29 20:42:54 | × | ddellacosta quits (~ddellacos@89.46.62.109) (Ping timeout: 264 seconds) |
| 2021-05-29 20:44:22 | xkapastel | is now known as abcdefrs |
| 2021-05-29 20:44:35 | abcdefrs | is now known as xkapastel |
| 2021-05-29 20:45:42 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
All times are in UTC.