leshow

90 ms·

961.
by leshow 10y ago
In the same way you had to understand the concept of inheritance before it was useful for you to use it in your code, understanding monoid/monad/<insert category pattern> is useful for you to utilise the pattern.
962.
by leshow 10y ago
I took it to mean the age old type checkers that had zero inference and were more of an annoyance than anything. I'm a bit jaded though. "Modern" type checking is mostly about not writing types and strong inference
963.
by leshow 10y ago
Elm has ports to interop with javascript. it's really not that difficult
964.
by leshow 10y ago
I think even in large applications its not well suited because the type system has an 'escape hatch' in the form of any and null/undefined. IMO Elm is probably a better candidate, or Flow if you like the more imperative synta
965.
by leshow 10y ago
IMO actually decreases costs because of the amount of errors the type system catches and the ease of refactoring. Elm also guarentees to NOT produce ANY runtime errors, that's quite a guarantee.
966.
by leshow 10y ago
>Yeah, but why use another patch on top of a patch where there are modern type-safe languages like Swift. Because targetting javascript has a lot of advantages, being cross platform is a major one of them. You basically get the type-safe
967.
by leshow 10y ago
This post is completely false, you can absolutely build a safe language on unsafe foundations. Swift is compiled to assembly, which is unsafe, yet it provides a 'safe' interface (not as safe as Rust, but still). Similarly, Flow&#x
968.
by leshow 10y ago
hey moxie! thanks for your work on signal
969.
by leshow 10y ago
It's not end-to-end encrypted, so telegram still has access to all your messages and can turn over data in the case of a subpoena or if they just feel like it. the desktop client was not encrypted at all last i checked, only the mobile
970.
by leshow 10y ago
> Yes, but thats not how the render function is supposed to work. If you weren't supposed to do it they wouldn't give you functions to do it. I'm not 'dealing in absolutes' I'm applying the definition of pur
971.
by leshow 10y ago
> Right but the instant you annotate a, it knows and gives you a good error unless you annotate it with :any > Neither Flow nor Typescript can actually project soundness onto Javascript. Mentioning that is a giant red herring. So long
972.
by leshow 10y ago
Telegram is a terrible platform and not at all comparable to signal.
973.
by leshow 10y ago
No, you can choose to write it purely, but it's not pure by default. You can see that here: https://facebook.github.io/react/docs/pure-render-mixin.html "IF your React component's render function is
974.
by leshow 10y ago
Flow has better inference and is actually pursuing a sound type system. const f = function(a) { return a * 3; } f("stuff"); this will produce a runtime error with TS, Flow will fail to compile it. People here think that choosing a
975.
by leshow 10y ago
React is not "functional". You extend the Component type just to make a view, you can encapsulate local state, you can inherit functions, yadda yadda. Calling it a "component" doesnt make it any less OO
976.
by leshow 10y ago
The author claims one of the goals is to write zero cost data structures. i don't see how thats possible if it compiles to Go, as most data structures in go have implicit cost associated with it because there is a language runtime and
977.
by leshow 10y ago
Angular is a google project, why is it separate?
978.
by leshow 10y ago
the website is barely functional for me, the anchor links in the documentation don't even work.
979.
by leshow 10y ago
Every time I see swift, it's crazy how much they've 'borrowed' from rust. The language looks almost identical
980.
by leshow 10y ago
post hoc, ergo propter hoc -- this is a logical fallacy
981.
by leshow 10y ago
people shouldnt have to preface their statements with disclaimers whenever they comment on a topic, especially in such an informal setting.
982.
by leshow 10y ago
He could really use a tiling wm like i3 in his setup. my other tiling bros will agree that the mouse is for suckers.
983.
by leshow 10y ago
Why is it only using 20% of my screen? the vast majority of the page is a grey background
984.
by leshow 10y ago
no conclusions should be drawn from a single study period, and especially considering this was survey data.
985.
by leshow 10y ago
I was referring to memory safety. I would not have been able to write memory-safe C or C++ code, the Rust compiler helped me do that. I don't know why you would think I meant 'safety' in some other way, considering Rust adver
986.
by leshow 10y ago
Rust is a low level system language, it's all about "zero-cost abstractions", being as close to bare metal as possible. That said, there are some high level ergonomic features to the language that make it seem much more high
987.
by leshow 10y ago
He says generics "haven't had time to pass through the filter of practical experience" which is completely false. Generics have been around for decades in real programming languages, outside of a research setting. His post ju
988.
by leshow 10y ago
the code is statically verified to be memory safe, so i dont really know what you're trying to get at
989.
by leshow 10y ago
I have a background in scripting languages, with some haskell experience, and I didn't find Rust all that difficult to learn. In fact, I've never written anything serious in C/C++ outside of when I was in university. The rust
990.
by leshow 10y ago
I'll give you an alternate perspective. I've never touched C or C++ seriously, I code mostly in javascript, php and I have a passion for functional languages like haskell and elm. I've been following rust for a while and ther

More ›