Logs: liberachat/#haskell
| 2021-07-21 11:19:15 | → | ubert joins (~Thunderbi@178.165.188.94.wireless.dyn.drei.com) |
| 2021-07-21 11:19:29 | <Franciman> | i don't know, i.e. haskell has the biggest ecosystem in its niche |
| 2021-07-21 11:19:31 | <maerwald> | you know the story of the nail and the hammer |
| 2021-07-21 11:19:34 | <Franciman> | so for example in agda you can't really program |
| 2021-07-21 11:19:47 | <maerwald> | just because you're used to haskell, doesn't mean you should solve everything in haskell |
| 2021-07-21 11:19:55 | <Franciman> | liquid haskell on the other hand fuses advanced type checking with existing haskell |
| 2021-07-21 11:19:58 | <Franciman> | eheh damn tru! |
| 2021-07-21 11:20:45 | <Franciman> | the niche being: strongly typed functional language not running on jvm |
| 2021-07-21 11:20:46 | <maerwald> | I think it would be time to freeze the language, create another report, throw away base, redo it and fix all performance issues that exist. |
| 2021-07-21 11:21:11 | → | smichel17 joins (~smichel17@c-73-68-217-18.hsd1.ma.comcast.net) |
| 2021-07-21 11:21:30 | <maerwald> | but it's less fame maybe |
| 2021-07-21 11:21:31 | <maerwald> | :p |
| 2021-07-21 11:21:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 2021-07-21 11:21:54 | <Franciman> | didn't haskell start with the: avoid success at all cost? |
| 2021-07-21 11:22:09 | <maerwald> | it's too late |
| 2021-07-21 11:23:18 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-21 11:25:14 | × | azeem quits (~azeem@176.201.43.80) (Ping timeout: 255 seconds) |
| 2021-07-21 11:25:44 | → | azeem joins (~azeem@176.201.19.41) |
| 2021-07-21 11:26:30 | × | _xor quits (~xor@74.215.232.67) (Quit: brb) |
| 2021-07-21 11:26:53 | <Orbstheorem> | How would I go about preventing the use of a constructor (i have provided a smart constructor) if I want other modules to be able to use newtype standalone deriving? |
| 2021-07-21 11:27:02 | → | Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
| 2021-07-21 11:28:09 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-21 11:28:25 | <dminuoso> | Intuitively I'd say you cant |
| 2021-07-21 11:28:53 | <Orbstheorem> | I called my module 'Internal' and documented why I export the constructor... |
| 2021-07-21 11:29:07 | <Orbstheorem> | (Also, the type and smart constructors are exported from the bigger module) |
| 2021-07-21 11:29:19 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-07-21 11:30:02 | × | chris_ quits (~chris@81.96.113.213) (Read error: Connection reset by peer) |
| 2021-07-21 11:30:21 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-21 11:32:13 | → | AkechiShiro joins (~licht@user/akechishiro) |
| 2021-07-21 11:34:09 | → | sciencentistguy joins (~sciencent@hacksoc/ordinary-member) |
| 2021-07-21 11:34:37 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-21 11:35:27 | <maerwald> | I think exporting the constructor in .Internal. modules is standard and fine |
| 2021-07-21 11:35:36 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 2021-07-21 11:35:53 | <maerwald> | no need to babysit |
| 2021-07-21 11:36:12 | → | acidjnk joins (~acidjnk@p200300d0c72b9516f180e3afe24121d7.dip0.t-ipconnect.de) |
| 2021-07-21 11:38:35 | <dminuoso> | Personally I consider it good style to export your internals via Internal modules. |
| 2021-07-21 11:39:29 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-07-21 11:44:11 | × | notzmv quits (~zmv@user/notzmv) (Remote host closed the connection) |
| 2021-07-21 11:44:46 | × | sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Quit: WeeChat 3.2) |
| 2021-07-21 11:45:22 | × | azeem quits (~azeem@176.201.19.41) (Ping timeout: 268 seconds) |
| 2021-07-21 11:46:50 | → | azeem joins (~azeem@176.201.19.41) |
| 2021-07-21 11:48:26 | × | chomwitt quits (~chomwitt@2a02:587:dc0e:ef00:12c3:7bff:fe6d:d374) (Ping timeout: 252 seconds) |
| 2021-07-21 11:49:18 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-07-21 11:51:00 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-21 11:51:13 | <maerwald> | windows is lovely: you get "permission denied" exception on `removeFile` when a) file is locked or b) it's a directory |
| 2021-07-21 11:51:19 | <maerwald> | no way to distinguish |
| 2021-07-21 11:55:21 | <nitrix> | Should be happy that it has a defined behavior, considering the name of the function suggests it's just for files. |
| 2021-07-21 11:55:39 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 255 seconds) |
| 2021-07-21 11:57:35 | <nitrix> | I think "Permission denied" is a decent "no can do sir" catch-all for future additions to the file system... things like hard links, network resources, mounts and whatever. |
| 2021-07-21 12:00:01 | <maerwald> | well, less luck with renameFile, which now needs an explicit type check and is non-atomic |
| 2021-07-21 12:00:07 | <Orbstheorem> | Is there a way to prove it's impossible to write a function `m a -> (a -> t m b) -> t m b`, other than the fact I've been staring at my screen for 15min? x) |
| 2021-07-21 12:00:51 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-07-21 12:01:17 | <Arahael> | dminuoso: Had a chance to play more with the proto-lens, I haven't sent it over the wire yet, but it's working beautifully - generating the types and using them internally in teh app. Thanks again. :) |
| 2021-07-21 12:01:30 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-07-21 12:08:52 | <ph88_> | maerwald, where is the DT thread ? |
| 2021-07-21 12:10:30 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2021-07-21 12:10:36 | <maerwald> | ph88_: https://github.com/ghc-proposals/ghc-proposals/pull/378 |
| 2021-07-21 12:11:08 | → | gentauro joins (~gentauro@user/gentauro) |
| 2021-07-21 12:11:12 | <ph88_> | and your comment is where ? |
| 2021-07-21 12:11:52 | → | pesada joins (~agua@2804:18:4a:c35:1:0:3be5:8cb2) |
| 2021-07-21 12:12:50 | → | adinf joins (~adinfinit@2600:6c40:653f:5f00:a650:d8d7:fe0b:8c1f) |
| 2021-07-21 12:14:38 | × | agua quits (~agua@2804:14c:8793:8e2f:3988:44e0:45e5:bd04) (Ping timeout: 268 seconds) |
| 2021-07-21 12:16:14 | × | adinf quits (~adinfinit@2600:6c40:653f:5f00:a650:d8d7:fe0b:8c1f) (Client Quit) |
| 2021-07-21 12:17:31 | × | dtman34 quits (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2021-07-21 12:20:34 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-21 12:22:39 | × | azeem quits (~azeem@176.201.19.41) (Ping timeout: 255 seconds) |
| 2021-07-21 12:28:56 | → | azeem joins (~azeem@176.201.19.41) |
| 2021-07-21 12:29:40 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-07-21 12:31:15 | × | mikail quits (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Remote host closed the connection) |
| 2021-07-21 12:31:52 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2021-07-21 12:32:04 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2021-07-21 12:32:59 | × | dunkeln quits (~dunkeln@188.70.26.84) (Ping timeout: 252 seconds) |
| 2021-07-21 12:35:54 | → | mikail joins (~mikail@90.212.77.3) |
| 2021-07-21 12:38:17 | → | dunkeln joins (~dunkeln@188.70.26.84) |
| 2021-07-21 12:39:09 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-07-21 12:39:57 | <jippiedoe> | Orbstheorem: I assume there's some typeclasses involved? |
| 2021-07-21 12:40:11 | → | olive__ joins (~olive_@117.222.65.182) |
| 2021-07-21 12:40:24 | <Orbstheorem> | Yes, `MonadTrans t` and `Monad m`. |
| 2021-07-21 12:41:15 | <dminuoso> | Orbstheorem: So you're looking for a MonadTransFix? |
| 2021-07-21 12:42:44 | <dminuoso> | (Or proving its impossibility thereof) |
| 2021-07-21 12:43:03 | → | alx741 joins (~alx741@186.178.108.174) |
| 2021-07-21 12:43:15 | Orbstheorem | hoogles MonadTransFix |
| 2021-07-21 12:43:31 | <Orbstheorem> | I coudn't find `MonadTransFix` x) |
| 2021-07-21 12:43:32 | × | olive_ quits (~olive_@117.222.71.166) (Ping timeout: 255 seconds) |
| 2021-07-21 12:44:35 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-07-21 12:44:51 | <dminuoso> | Orbstheorem: I suppose key is finding a single transformer for which its impossible to write. |
| 2021-07-21 12:45:10 | <dminuoso> | This should be doable, consider that MonadFix is a sub-class of Monad to begin with |
| 2021-07-21 12:45:18 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-21 12:45:53 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-07-21 12:47:26 | <Orbstheorem> | I understand the principle of proving it impossible through a counter example, what I don't know if how to do the methodical logical reasoning to prove such equations. |
| 2021-07-21 12:49:30 | × | aman quits (~aman@user/aman) (Ping timeout: 256 seconds) |
| 2021-07-21 12:51:44 | → | derelict joins (~derelict@user/derelict) |
| 2021-07-21 12:55:29 | → | agua joins (~agua@2804:14c:8793:8e2f:3988:44e0:45e5:bd04) |
| 2021-07-21 12:55:30 | × | dunkeln quits (~dunkeln@188.70.26.84) (Ping timeout: 265 seconds) |
| 2021-07-21 12:56:37 | → | Core2996 joins (~agua@2804:18:4a:c35:1:0:3be5:8cb2) |
| 2021-07-21 12:56:55 | × | pesada quits (~agua@2804:18:4a:c35:1:0:3be5:8cb2) (Read error: Connection reset by peer) |
| 2021-07-21 12:57:40 | × | zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-07-21 12:59:00 | × | hexfive quits (~eric@50.35.83.177) (Quit: WeeChat 3.0) |
| 2021-07-21 12:59:08 | → | pesada joins (~agua@2804:14c:8793:8e2f:3988:44e0:45e5:bd04) |
| 2021-07-21 12:59:30 | × | agua quits (~agua@2804:14c:8793:8e2f:3988:44e0:45e5:bd04) (Ping timeout: 240 seconds) |
All times are in UTC.