pezo1919

18 ms·

151.
by pezo1919 7y ago
Because you can express these conditions and check compile time instead runtime.
152.
by pezo1919 7y ago
To me Eiffel and its pre/postconditions are clearly inferior to Dependently Typed languages like Idris. (Also check Agda, Liquid Haskell...)
153.
by pezo1919 7y ago
"OP says it's all about moderators" - okay, I see, thanks.
154.
by pezo1919 7y ago
"What I think you're saying is that the requirements don't make sense to you, or that they bother you because you're thinking that they're not requirements you can meet." No, I am for requirements not against t
155.
by pezo1919 7y ago
"What do you see as the requirements being implemented by the new platform?" Yes, that should be my question for you! :)
156.
by pezo1919 7y ago
"At least part of it is the same reason you might want to hang out with people already skilled in your disciplines: you get to go do the advanced stuff, instead of getting the other people up to speed." In that case you can give &
157.
by pezo1919 7y ago
Yeah, sorry, edited: I omitted the word "get"
158.
by pezo1919 7y ago
Thanks!
159.
by pezo1919 7y ago
Yeah, but if someone is not ready to being asked on a forum I don't know what he/she is hoping for after posting to a forum.
160.
by pezo1919 7y ago
I just realized I'm not even sure what you were referring to and if you were kidding! :D Let it as is! :D
161.
by pezo1919 7y ago
Thanks a lot, you read me and it helps a lot. :) (Such neat support never happened to me yet. :) )
162.
by pezo1919 7y ago
Thanks, thats a great insight!
163.
by pezo1919 7y ago
I totally understand you. I am trying to understand -for hours- what concrete things might come up over there but I'm still facing walls. I don't get why no concrete examples live in the whole thread just vague generalizations (to
164.
by pezo1919 7y ago
Can you please share a link? It would help a lot!
165.
by pezo1919 7y ago
Unproductive for who?
166.
by pezo1919 7y ago
So you claim you know the answer but you don't share with us. That is wtf. You had really good points up there but its not clear at all what is the conclusion for the original question. If you are asked to fill in the blanks you say yo
167.
by pezo1919 7y ago
Yeah, but in that case you can get the requirements, right? That's what is not clear to me here. And you did not clarify either. Why is that if you make it seem so simple?
168.
by pezo1919 7y ago
Hm, what is the point? It feels like you're saying it's not my business and I am not even allowed to understand it. If you know some anwsers please share it to me and believe me I won't ask it over and over again once I get i
169.
by pezo1919 7y ago
Thanks for this response! I think it might help me understanding. However, there is a difference between "why" and "why", right? I do not question its "existence" (user count can prove that), but the reasons be
170.
by pezo1919 7y ago
Wait, is not that a bit recursive thought? To me it is a bit like: - Why? - Because you asked why. Edit: - Because you don't know "fundamentally" why
171.
by pezo1919 7y ago
No one said there is any problem.
172.
by pezo1919 7y ago
Thanks, I think we are on the same page then how it works. However I'd also add (this is just a personal opinion) that words, phrases which do relate to underrepresented groups might be more exciting for everyone because of the definit
173.
by pezo1919 7y ago
Okay I see, I am just surprised, because that's why I put that part to the end: "Don't get me wrong I do believe it works, I am just curious about the psychology."
174.
by pezo1919 7y ago
I see, thanks. "People from who you can inspire from" - do you mean you might have higher "basic level" of connection with the same sex? Or are there also topics you can get into? Seeing im downvoted up there: these are
175.
by pezo1919 7y ago
Can you please elaborate how does emphasizing gender difference help women in business? Don't get me wrong I do believe it works, I am just curious about the psychology.
176.
Ask HN: Functional Reactive Dev tools: what is available?
1 points by pezo1919 7y ago|0 comments
177.
by pezo1919 7y ago
May I ask about the business you are in? What happens to the world if your service goes down? It's just curiosity. Hopefully not related to breathing machines like importance. :)
178.
by pezo1919 7y ago
To me it's a bit like event-based programming: separating the event (when to do) and the eventhandler (what to do) where handlers depend only on events and not on other handlers (or state), so the logic the handlers depend on remain se
179.
by pezo1919 7y ago
Yes and no. I'd say if you have a set of features and a toolchain which enables you to build them then ofc go for it. However that's not my usual experience with any of my projects even personal ones. The thing is I don't kno
180.
by pezo1919 7y ago
Rise of Dependent Types in general purpose programming: eg. Idris, later something like dependent js/ts.

More ›