Logs: freenode/#haskell
| 2021-02-28 19:57:59 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-02-28 19:58:05 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2021-02-28 20:00:01 | → | mynickisrandom joins (uid148779@gateway/web/irccloud.com/x-rsvsinemprsbzqpy) |
| 2021-02-28 20:01:00 | → | drakonis joins (~drakonis@unaffiliated/drakonis) |
| 2021-02-28 20:02:28 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 260 seconds) |
| 2021-02-28 20:03:44 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-02-28 20:03:50 | → | banyanRob joins (49f11cfb@c-73-241-28-251.hsd1.ca.comcast.net) |
| 2021-02-28 20:04:14 | → | Tene joins (~tene@mail.digitalkingdom.org) |
| 2021-02-28 20:04:14 | × | Tene quits (~tene@mail.digitalkingdom.org) (Changing host) |
| 2021-02-28 20:04:14 | → | Tene joins (~tene@poipu/supporter/slacker/tene) |
| 2021-02-28 20:04:53 | → | ByronJohnson joins (~bairyn@unaffiliated/bob0) |
| 2021-02-28 20:05:09 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 246 seconds) |
| 2021-02-28 20:06:18 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-02-28 20:07:01 | × | buggymcbugfix quits (sid432603@gateway/web/irccloud.com/x-naqvoueakkcopuie) (Quit: Connection closed for inactivity) |
| 2021-02-28 20:07:13 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-02-28 20:07:40 | → | jack1909 joins (~qpls@cpeb4750e67d202-cmf81d0fad5840.cpe.net.fido.ca) |
| 2021-02-28 20:08:54 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-02-28 20:09:22 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-02-28 20:11:36 | → | errst joins (~errst@unaffiliated/tirej) |
| 2021-02-28 20:11:54 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-02-28 20:12:48 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:256c:b3b1:f90:ff2a) |
| 2021-02-28 20:14:02 | → | geowiesnot_bis joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-02-28 20:14:25 | → | son0p joins (~son0p@181.136.122.143) |
| 2021-02-28 20:16:00 | × | psutcliffe quits (~psutcliff@2a00:801:3f2:4b56:e93e:1663:ff0c:6c42) (Quit: Leaving) |
| 2021-02-28 20:16:12 | → | kenran joins (~kenran@i59F67BBA.versanet.de) |
| 2021-02-28 20:16:15 | <amx> | do we apply the PVP rules regarding removed/changed datatypes to Internal modules too? |
| 2021-02-28 20:16:46 | <edwardk> | amx: my usual rule of thumb is to state that any .Internal module explicitly does not follow the PVP |
| 2021-02-28 20:16:46 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-02-28 20:16:59 | <edwardk> | amx: otherwise we actively disincentivize library authors from providing them. |
| 2021-02-28 20:17:23 | <amx> | agreed |
| 2021-02-28 20:17:24 | <edwardk> | the cost of accessing guts is your code becomes more sensitive to minor changes that way, but its not 'free' from disincentive for library authors |
| 2021-02-28 20:17:30 | <edwardk> | er now |
| 2021-02-28 20:17:56 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-02-28 20:18:13 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-qtewvwtwengjftbg) (Quit: Connection closed for inactivity) |
| 2021-02-28 20:18:52 | → | cyphase joins (~cyphase@unaffiliated/cyphase) |
| 2021-02-28 20:20:10 | ← | coot parts (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) () |
| 2021-02-28 20:20:40 | → | coot_ joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-02-28 20:27:10 | → | invent[m] joins (inventmatr@gateway/shell/matrix.org/x-jrwragskqrfqezvh) |
| 2021-02-28 20:29:45 | × | average quits (uid473595@gateway/web/irccloud.com/x-fxgddkvvlaaxcpgp) (Quit: Connection closed for inactivity) |
| 2021-02-28 20:31:21 | × | kenran quits (~kenran@i59F67BBA.versanet.de) (Remote host closed the connection) |
| 2021-02-28 20:31:35 | × | knupfer quits (~Thunderbi@200116b82cc9eb00a0beb8f34ef315a0.dip.versatel-1u1.de) (Quit: knupfer) |
| 2021-02-28 20:31:39 | → | kenran joins (~kenran@i59F67BBA.versanet.de) |
| 2021-02-28 20:31:42 | → | knupfer1 joins (~Thunderbi@200116b82cc9eb00ed7c90a7ebf5ce01.dip.versatel-1u1.de) |
| 2021-02-28 20:33:13 | × | knupfer1 quits (~Thunderbi@200116b82cc9eb00ed7c90a7ebf5ce01.dip.versatel-1u1.de) (Client Quit) |
| 2021-02-28 20:35:02 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-02-28 20:35:09 | × | pera quits (~pera@unaffiliated/pera) (Ping timeout: 260 seconds) |
| 2021-02-28 20:36:53 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Remote host closed the connection) |
| 2021-02-28 20:37:10 | → | kderme joins (4fa758c1@ppp079167088193.access.hol.gr) |
| 2021-02-28 20:39:25 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-02-28 20:39:47 | × | aveltras quits (uid364989@gateway/web/irccloud.com/x-miyjlxdpioeuznoz) (Quit: Connection closed for inactivity) |
| 2021-02-28 20:39:49 | <hyiltiz-M> | Is there a Haskell library (or wrapper) that provides cross-platform (including mobile devices such as android and iOS) UI support? Kind of like flutter, libui, qt and the like, but without requiring the dev to write boilerplate to marshal stuff around. |
| 2021-02-28 20:40:17 | <Uniaika> | no |
| 2021-02-28 20:40:26 | <Uniaika> | this is an incredibly hard problem |
| 2021-02-28 20:40:27 | <hyiltiz-M> | Would be awesome to abstract away the platforms inside a monad :D |
| 2021-02-28 20:40:33 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-02-28 20:40:36 | × | tanuki quits (~quassel@173.168.154.189) (Ping timeout: 240 seconds) |
| 2021-02-28 20:40:52 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) |
| 2021-02-28 20:41:29 | <hyiltiz-M> | Wire seems to have cross platform apps some of which are written in Haskell and almost all in FP languages |
| 2021-02-28 20:41:29 | × | ixlun quits (~user@213.205.241.12) (Read error: Connection reset by peer) |
| 2021-02-28 20:42:33 | × | redmp quits (~redmp@172.58.38.148) (Ping timeout: 264 seconds) |
| 2021-02-28 20:42:57 | <hyiltiz-M> | Since they are switching languages and hence projects, I guess their “monad” is at the project level |
| 2021-02-28 20:43:35 | → | ixlun joins (~user@213.205.241.12) |
| 2021-02-28 20:43:35 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 240 seconds) |
| 2021-02-28 20:46:22 | <Uniaika> | a monad is not the proper abstraction here |
| 2021-02-28 20:46:44 | <BigLama> | tomsmeding: " website sessions are kept using a cookie on the client side; cookies have nothing to do with connection sharing" => what is the difference between sessions and connection sharing then ? |
| 2021-02-28 20:46:49 | <BigLama> | I'm confused :/ |
| 2021-02-28 20:47:22 | → | tanuki joins (~quassel@173.168.154.189) |
| 2021-02-28 20:48:43 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:692f:34e4:c65a:92f2) |
| 2021-02-28 20:48:48 | <alexfmpe> | hyiltiz-M: depends on what you mean, I guess - reflex-platform has a bunch of cross-compiling stuff (some has been upstreamed to nixpkgs) so you can compile reflex-dom apps to web/desktop/mobile, but the common UI abstraction is really the DOM (though outside of the web version, the only JS involved is for rendering) |
| 2021-02-28 20:49:56 | → | dxld joins (~dxld@rush.pub.dxld.at) |
| 2021-02-28 20:50:39 | <alexfmpe> | Miso might also have mobile targets - I could have sworn I remember seeing that in the readme but can't find it |
| 2021-02-28 20:51:11 | × | banyanRob quits (49f11cfb@c-73-241-28-251.hsd1.ca.comcast.net) (Quit: Connection closed) |
| 2021-02-28 20:52:24 | × | xff0x quits (~xff0x@2001:1a81:5349:9200:2806:fad1:e222:a1c8) (Ping timeout: 240 seconds) |
| 2021-02-28 20:52:42 | → | xff0x joins (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-02-28 20:53:11 | → | slack1256 joins (~slack1256@45.4.2.52) |
| 2021-02-28 20:54:32 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-vdnrjtitbesdywow) |
| 2021-02-28 20:54:33 | × | nullniverse quits (~null@unaffiliated/nullniverse) (Read error: Connection reset by peer) |
| 2021-02-28 20:54:54 | → | nullniverse joins (~null@unaffiliated/nullniverse) |
| 2021-02-28 20:55:12 | → | pera joins (~pera@unaffiliated/pera) |
| 2021-02-28 20:55:41 | → | mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
| 2021-02-28 20:56:37 | → | sparsity joins (5eae2591@gateway/web/cgi-irc/kiwiirc.com/ip.94.174.37.145) |
| 2021-02-28 20:57:12 | → | rednaZ[m] joins (r3dnazmatr@gateway/shell/matrix.org/x-welbcejgukwlyvmz) |
| 2021-02-28 20:57:13 | <rednaZ[m]> | Does anybody know why core coercion arguments exist at run time? What run time information to they contain? |
| 2021-02-28 20:57:36 | × | tanuki quits (~quassel@173.168.154.189) (Ping timeout: 240 seconds) |
| 2021-02-28 21:00:16 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-02-28 21:00:29 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:692f:34e4:c65a:92f2) (Remote host closed the connection) |
| 2021-02-28 21:00:49 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-02-28 21:00:54 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-02-28 21:03:53 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-lljagtdqleuggsro) () |
| 2021-02-28 21:04:54 | × | nullniverse quits (~null@unaffiliated/nullniverse) (Read error: Connection reset by peer) |
| 2021-02-28 21:05:10 | → | nullniverse joins (~null@unaffiliated/nullniverse) |
| 2021-02-28 21:05:12 | × | nullniverse quits (~null@unaffiliated/nullniverse) (Max SendQ exceeded) |
| 2021-02-28 21:05:46 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:692f:34e4:c65a:92f2) |
| 2021-02-28 21:06:11 | → | tanuki joins (~quassel@173.168.154.189) |
| 2021-02-28 21:06:20 | <Cale> | rednaZ[m]: How do they exist at runtime? I was pretty sure coercions got erased when core is translated to stg |
| 2021-02-28 21:06:54 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-02-28 21:07:00 | <rednaZ[m]> | -ddump-stg disagrees. |
| 2021-02-28 21:07:00 | <edwardk> | hyiltiz-M: maybe the qt-quick bindings? or using threepenny-gui to drive an electron app? |
| 2021-02-28 21:07:09 | × | xff0x quits (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 264 seconds) |
| 2021-02-28 21:07:20 | <edwardk> | hyiltiz-M: both of those are broadly portable and 'write once' for the most part from the haskell side |
All times are in UTC.