Logs: freenode/#haskell
| 2021-04-18 07:18:52 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
| 2021-04-18 07:20:05 | → | stux|RC joins (stux2@grid9.quadspeedi.net) |
| 2021-04-18 07:23:17 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds) |
| 2021-04-18 07:26:33 | × | stux|RC quits (stux2@grid9.quadspeedi.net) (Ping timeout: 240 seconds) |
| 2021-04-18 07:33:26 | × | __minoru__shirae quits (~shiraeesh@109.166.58.81) (Ping timeout: 240 seconds) |
| 2021-04-18 07:36:32 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-18 07:37:17 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-18 07:37:42 | × | wildlander quits (~wildlande@unaffiliated/wildlander) (Quit: Konversation terminated!) |
| 2021-04-18 07:38:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-18 07:39:08 | → | ddellacosta joins (~ddellacos@86.106.143.144) |
| 2021-04-18 07:40:04 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-18 07:40:18 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-18 07:40:21 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-18 07:40:57 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-18 07:43:48 | × | ddellacosta quits (~ddellacos@86.106.143.144) (Ping timeout: 265 seconds) |
| 2021-04-18 07:43:51 | → | hinsley joins (4b891f5f@gateway/web/cgi-irc/kiwiirc.com/ip.75.137.31.95) |
| 2021-04-18 07:45:55 | → | __minoru__shirae joins (~shiraeesh@109.166.58.81) |
| 2021-04-18 07:47:07 | → | stux|RC joins (stux2@grid9.quadspeedi.net) |
| 2021-04-18 07:47:20 | → | asheshambasta joins (~user@ptr-e1lysav1t8vxyatkqxm.18120a2.ip6.access.telenet.be) |
| 2021-04-18 07:48:20 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-04-18 07:48:38 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 265 seconds) |
| 2021-04-18 07:49:14 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-18 07:49:31 | → | Cale_ joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-04-18 07:50:01 | × | Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2021-04-18 07:50:23 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-18 07:51:26 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-18 07:54:08 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 268 seconds) |
| 2021-04-18 08:00:57 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
| 2021-04-18 08:01:07 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-04-18 08:01:09 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-18 08:05:02 | → | xiinotulp joins (~q@ppp-27-55-72-27.revip3.asianet.co.th) |
| 2021-04-18 08:06:57 | → | hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-18 08:08:13 | × | plutoniix quits (~q@ppp-223-24-146-11.revip6.asianet.co.th) (Ping timeout: 240 seconds) |
| 2021-04-18 08:09:57 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-04-18 08:10:01 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-04-18 08:10:34 | <nut> | what is the time complexity of list constructor (:) ? |
| 2021-04-18 08:10:43 | <nut> | is it O(1)? |
| 2021-04-18 08:10:49 | <Rembane> | nut: Yes! |
| 2021-04-18 08:11:02 | <nut> | What about any data constructor ? |
| 2021-04-18 08:11:14 | <nut> | always O(1) ? |
| 2021-04-18 08:11:15 | <Rembane> | Usually O(1) |
| 2021-04-18 08:12:51 | <Rembane> | I suppose Data.Map.insert isn't a constructor, so almost always is a reasonable assumption. |
| 2021-04-18 08:13:09 | <nut> | i see |
| 2021-04-18 08:13:16 | <Rembane> | nut: Is your program being slow? |
| 2021-04-18 08:13:37 | <c_wraith> | When there's a strict field you have to account for the possibility of forcing the field when the constructor is evaluated. |
| 2021-04-18 08:14:01 | <nut> | No, I'm just being curious. I'm trying to solve a bunch of algorithmic problems in Haskell and trying to figure out their time complexity |
| 2021-04-18 08:14:03 | <c_wraith> | But otherwise it's O(1). And even in that case, you can claim it's O(1) and just getting saddled with additional work through no fault of its own. |
| 2021-04-18 08:15:34 | <nut> | When the solution is list based(a lot of them are), I have to be careful to use only O(1) operations |
| 2021-04-18 08:15:45 | × | _xor quits (~xor@74.215.46.133) (Quit: WeeChat 3.1) |
| 2021-04-18 08:16:17 | <c_wraith> | I'd think of it as you have to be careful not to nest O(n) operations. |
| 2021-04-18 08:16:38 | <c_wraith> | because map and the folds are fine to use |
| 2021-04-18 08:16:42 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-18 08:17:20 | <nut> | Yeah, the other day i also wondered about folds |
| 2021-04-18 08:17:51 | <c_wraith> | well. foldl and foldr are each fine when used in the right cases. |
| 2021-04-18 08:18:05 | <c_wraith> | err. foldl is unlikely to be fine. foldl' is fine |
| 2021-04-18 08:18:12 | <Rembane> | I was just going to say that. :) |
| 2021-04-18 08:19:23 | <gentauro> | here we go again -> https://old.reddit.com/r/haskell/comments/msa3oq/safe_haskell/ |
| 2021-04-18 08:19:34 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-18 08:19:39 | <gentauro> | why the heck are people so eager to remove `Safe Haskell`? |
| 2021-04-18 08:20:03 | <nut> | I've used foldr the other day for traversing the list backwards: https://leetcode.com/problems/next-greater-element-i/discuss/1161837/6-lines-Haskell-Implementation |
| 2021-04-18 08:20:04 | <gentauro> | the single feature that makes Haskell unique and allow us to write `sound` code will be removed? |
| 2021-04-18 08:20:08 | <gentauro> | :( |
| 2021-04-18 08:20:21 | <nut> | But not sure about its performance |
| 2021-04-18 08:20:25 | <gentauro> | anybody of for designning a new programming language that takes Safe Haskell as the core? |
| 2021-04-18 08:20:56 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-04-18 08:22:04 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 252 seconds) |
| 2021-04-18 08:22:29 | <Rembane> | nut: If you're doing O(1) in the function used in foldr, the whole thing should be O(n) |
| 2021-04-18 08:23:14 | <nut> | Rembane: and recursive function calls too, O(1) ? |
| 2021-04-18 08:23:33 | → | fer joins (2f3d8672@47.61.134.114) |
| 2021-04-18 08:24:03 | <nut> | I mean function calls should have a bit more overhead |
| 2021-04-18 08:24:26 | <c_wraith> | gentauro: because no one knows what it does, no one knows what it should do, and no one wants to maintain code that is clearly not used by enough people for there to be a shared understanding |
| 2021-04-18 08:24:32 | <Rembane> | nut: Almost none, and even if they have, they do not affect the O-part, it just adds a constant to each operation |
| 2021-04-18 08:25:19 | → | LKoen joins (~LKoen@77.168.9.109.rev.sfr.net) |
| 2021-04-18 08:26:15 | <c_wraith> | gentauro: most notably, no one agrees on what "safe" means, and Safe Haskell doesn't have an opinion. It just reports what modules say. |
| 2021-04-18 08:26:17 | <gentauro> | c_wraith: I would argue that people know what it does. It enforces "correctness". But, if you look enough into Haskell packages, you realize that (way) to many people tend to take the shortcuts and just `inject` here and there stuff |
| 2021-04-18 08:26:35 | <gentauro> | removing the possibility of a the users to rely on the packages |
| 2021-04-18 08:26:54 | <nut> | new question: my code contains plain text passwords for sending smtp emails. after compiling down to binary, is it safe to distrubute to others? can the password be recovered? |
| 2021-04-18 08:26:55 | <gentauro> | I personally find `Safe Haskell` as indispensable for Haskell |
| 2021-04-18 08:27:01 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-04-18 08:27:05 | <gentauro> | but sadly, I'm one of the very few |
| 2021-04-18 08:27:11 | <c_wraith> | Safe Haskell is useless because different modules mean different things by "safe" |
| 2021-04-18 08:27:12 | <nut> | the compiliation is done be ghc |
| 2021-04-18 08:27:17 | <Cale_> | Correctness with respect to what though? |
| 2021-04-18 08:27:22 | <c_wraith> | So it has no guarantees you can actually rely on |
| 2021-04-18 08:27:23 | Cale_ | is now known as Cale |
| 2021-04-18 08:27:51 | <gentauro> | perhaps, I should join https://www.well-typed.com/ if they would allow me to work on the Safe Haskell full-time xD |
| 2021-04-18 08:28:13 | gentauro | who would sponsor this? Simon Marlow (FB)? or SPJ (MS)? |
| 2021-04-18 08:28:24 | <nut> | or does ghc has some kind of mechanics to encrypt the code? |
| 2021-04-18 08:28:32 | <gentauro> | c_wraith: it does |
| 2021-04-18 08:29:19 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-18 08:29:22 | × | tomsmeding quits (~tomsmedin@tomsmeding.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-18 08:29:40 | <gentauro> | when I turn on safe haskell, I can't use `Data.Text` because there is some `unsafePerformIO` |
| 2021-04-18 08:29:47 | <gentauro> | I like that GHC tells me that |
| 2021-04-18 08:29:59 | <c_wraith> | Only because the text package decided to tell you that |
| 2021-04-18 08:30:08 | <c_wraith> | If a package decided not to tell you, you wouldn't know |
| 2021-04-18 08:30:25 | gentauro | «when I turn on safe haskell» should be «when I turn on safe haskell and add `-XSafe -fpackage-trust -trust = base`» |
| 2021-04-18 08:30:43 | → | tomsmeding joins (~tomsmedin@tomsmeding.com) |
| 2021-04-18 08:31:17 | <gentauro> | c_wraith: how come? How do you tell? |
| 2021-04-18 08:31:41 | <gentauro> | my understanding is that packages are infered to be safe or unsafe right? |
| 2021-04-18 08:31:44 | <gentauro> | by GHC |
All times are in UTC.