dualogy

39 ms·

391.
by dualogy 10y ago
Thanks for the link, the whole site (logicmatters.net) seems awesome, aka for me worth bookmarking for future study!
392.
by dualogy 10y ago
> Whitespace-as-syntax is something that I really disagree with That's why I suggested "optional" ;) given how powerful .net tooling is, there'd be a dotnet --flipformat CodeFile.cs command that IDEs/e
393.
by dualogy 10y ago
Is that actually the case? (Didn't know as I upgraded my older non-Linux laptop from W7 to W10 and it re-activated automatically.) It won't cripple the OS after say 90 days other than a watermark, eg for long-lived VMs? Would be c
394.
by dualogy 10y ago
Given how other distros stepped up their UX game (with regards to things that are outside the DM/WM combo such as OS install, package management etc), there's no real good excuse for the continued mainstream momentum of Debian&#x2
395.
by dualogy 10y ago
Would just be syntactic sugar anyway, F# surely compiles its ADTs and parametric polymorphism down to something supported in MSIL bytecode.. but potentially powerfully productive "sugar", any highly expressive language is 80-90% s
396.
by dualogy 10y ago
Some big-name ivy league around the early-to-mid 2000s notoriously ditched Haskell for Java and that caused quite a stir (isn't that why "Why FP Matters" was written, or re-written?).. so rather they'd have to "get
397.
by dualogy 10y ago
> I'm wondering why the C# team is so keen on pattern matching It's kind of a pre-condition (though not in the current initial limited variation) for the introduction of Algebraic Data Types (as F# & co. have them), which I
398.
by dualogy 10y ago
Glad to see C# (and ES too in a way) approaching towards F# (& co.) inch by inch with every release. Next and final step, introduce optional "indentation layout" to get rid of braces and semis and I'm a happy camper. FP t
399.
by dualogy 10y ago
Construct a whole program of functions only with say `readonly` (in c#) or `const` (in EcmaScript) or only `:=` (in Go) "variable" "assignment-declarations", never mutating them after initial declaration. It's possi
400.
by dualogy 10y ago
yeah "regardless of time and space", as one observes in the resulting time and space usage . By the time the purely functional program has been tweaked for better (time and space) performance, said readability has greatly suffere
401.
by dualogy 10y ago
Incomplete assessment. Functional programming much better supports equational reasoning. Imperative programming much better supports operational reasoning. Or you could contrast "data flow" vs "control flow". I'd ha
402.
by dualogy 10y ago
> In order to do that one pretty much as to have a complete map of cellular biochemistry. Don't hold your breath waiting for that to happen; A point well worth emphasizing. Probably would help if more people interested in such stuff
403.
by dualogy 10y ago
Another point to highlight here is that it helps to contrast acute stressors vs. chronic stressors. I'd characterize decades of insulin-raising (or roughage/indigestables-heavy) overfeeding as a chronic stressor, and a 3-week fast
404.
by dualogy 10y ago
> It seems that eating is inherently stressful for the body. Broadly speaking, somewhat accurate, but in the details it can vary greatly. Digestability, resources required to be mobilized for certain foods vs others (enzymes, how much s
405.
by dualogy 10y ago
Who has ever mixed up == and =? Might glasses be in order? ;) No danger in languages allowing for FP-style immutables (whether via `readonly` or `const`) luckily
406.
by dualogy 10y ago
IIRC from the Wikibook, multiple inheritance isn't supported. (Wasn't in C# back-in-my-day either though ;)
407.
by dualogy 10y ago
> It's probably possible to convince me that the limitation on circular references is actually a feature Have that in Haskell as well. As the community largely views FP as "type-driven development" and Haskell as a "t
408.
by dualogy 10y ago
Though your points seem (technically) on-point, you might be missing the one facet of the "cognitive load" concept that I think is the defining one: as time marches on, entropy increases and in tech that means, cognitive load does
409.
by dualogy 10y ago
Not sure about the contrast, I looked at F# after Haskell exposure and "it seems fairly similar to me". Sure you have some minimal notion of some OOP constructs so as to be able to do the .net interop where necessary/benefici
410.
by dualogy 10y ago
> 3.17 == possiblyPi Seems bad style to me, but also contrived. Whereas > PI == validate(parseFloat(fetchUserInput({ timeout: minutes(1), defaultOnCancel: 0.0 }))) as pseudo-code example seems rather more insta-grokkable to me than
411.
by dualogy 10y ago
> And, don't get me started on: if <Constant> = <Variable>... That seems to be quite the pet peeve with many and I quite like the style in certain scenarios: namely the common one where the constant is a simple literal a
412.
by dualogy 10y ago
No, compiled languages have never ended the existence of Python, Perl and other scripting languages. Similar principles will surely apply. For WASM code to interact with DOM or external scripts / JS libs in any meaningful manner, the w
413.
by dualogy 10y ago
Nice one, I wish there was a Haskell extension for that! (Can't risk switching existing/pending code-bases over to Idris just for that feature though)
414.
by dualogy 10y ago
No you didn't per se, just thought these were features that can only help adoption / momentum of a scripting language, not that these are where this has all others "beat" =)
415.
by dualogy 10y ago
I think a problem is that complex apps are made with scripting languages . This nasty practice seems to have finally become widespread habit in earnest with Perl in the hey-days of CGI httpd, and then of course came along Python and JavaSc
416.
by dualogy 10y ago
> How would a basic type system protect against incorrectly interpreting an imperial floating point value as a metric floating point value "Better" / richer / more refined ( aiming/aspiring at least!) type syste
417.
by dualogy 10y ago
Quite promising: clean-looking syntax, little overhead, portability seem to be driving motivations. Especially the following feature could promise adoption and momentum: dynamic typing (not a fan myself, but for scripting: OK --- woul
418.
by dualogy 10y ago
> but then again, as a Linux user, if I have to open a GUI to do something with my files Well I'm kinda visual/directional when it comes to files and other data structures. Even before I had a PC that could run Windows, ie livi
419.
by dualogy 10y ago
> but I'm guessing you don't run anything in WINE Now that is true. I can readily believe that Apple invests more efforts than the others in somehow ensuring even old no-longer-updated apps somehow render properly. It really
420.
by dualogy 10y ago
Absolutely. Maybe it's also just a Fedora thing, installed it a week ago on my laptop that only had Win on it before, and from prior Linux experiences (Xubuntu & friends) just some ~3 years back I was absolutely baffled how every

More ›