cinnamonheart

9 ms·

1.
by cinnamonheart 6y ago
One of my favourite quotes on the topic of abstraction comes from Dijkstra, too. > The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
2.
by cinnamonheart 6y ago
Scala has a very wide surface area, and it can be as simple or complex as you want it to be. Written in a certain way, it's that different from writing Python 3 with PEP-484 type annotations. You can easily write Python-like code and j
3.
by cinnamonheart 6y ago
This is really neat! Have you considered an ML-like module system, with functors and such? I'd be curious if they could be connected with Erlang's processes somehow :)
4.
by cinnamonheart 7y ago
Cannabis, although I find it's easy to accidentally dive deep on something I didn't mean to on it -- I find combining it with coffee prevents me from getting too focused on one thing. YMMV.
5.
by cinnamonheart 7y ago
GHC was released in 1992 and has a large amount of language options it supports (over 100 now, I think) https://downloads.haskell.org/~ghc/latest/docs/html/users_gu... I don't think the issue here i
6.
by cinnamonheart 7y ago
Basic HTML Gmail hasn't changed in years and works perfectly fine for all of my needs for gmail: reading and sending emails. I find the current UI to be quite unusable, but at least there's still the basic html option.
7.
by cinnamonheart 7y ago
I think you can just do brew install vim -- --with-override-system-vi --with-python3 To get a vim with python 3 on mac os. You are correct that it defaults to python 2, though.
8.
by cinnamonheart 7y ago
Anecdote: I recently purchased a laptop which came preinstalled with Windows 10. After trying 6 different Linux distributions -- Ubuntu, Fedora, Mint, Manjaro, Suse, MX Linux -- and none of them working (issues ranging from the installer no
9.
by cinnamonheart 7y ago
It's nice to see the work from Type Systems as Macros (also Stephen Chang of NU) continued! Thanks for sharing. http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf
10.
by cinnamonheart 7y ago
As a long time fan of Gentoo, I felt very at home on FreeBSD, and quite liked how everything in it worked. I remember my frustration was more around software and hardware issues. In the end, it wasn't Linux; I felt left in the cold if
11.
by cinnamonheart 7y ago
I emailed RMS during the fiasco a couple months back, in support of him. RMS has always been an inspiration to me, and I've always had a lot of respect for him -- a hero to me, if you will -- so I felt I had to let him know the world w
12.
by cinnamonheart 7y ago
Have you heard of Unison? If not, it may interest you -- it stores code in a syntax tree rather than as text directly. https://www.unisonweb.org/ >Unison is a language in which programs are not text. That is, the source
13.
by cinnamonheart 7y ago
I'm seeing a database error, but there's a similar site with 2020 predictions (and onwards): https://futuretimeline.net/21stcentury/2020-2029.htm Most of the 'predictions' have links explaining why
14.
by cinnamonheart 7y ago
It depends on the audience and goals for your language. If your language is intended to be a playground for new ideas, like a new type system or semantic model, you may only be concerned about getting that working and into other peoples&#x2
15.
by cinnamonheart 7y ago
>Also, more tangential, but this comment section might attract people who know the answer: any good resources for getting started on type systems more generally? I like Philip Wadler's Programming Language Foundations in Agda: http
16.
by cinnamonheart 7y ago
We had constant issues with our fridge water dispenser using 'Samsung' water filters bought on Amazon. Out of desperation, I just bought a cheap off-brand one, hoping if it was at least being honest about not being an official pro
17.
by cinnamonheart 7y ago
I worked for Leapforce for a while doing this sort of rating work using Google's guidelines. The guidelines were linked elsewhere in this thread and, at a glance, they are the same ones I used: https://static.googleuserconte
18.
by cinnamonheart 7y ago
I do this sometimes, and it still ignores the quoted words in favour of giving me whatever results they want. I'm not sure when it was changed to no longer require quoted words in the results, but I usually just give up on the search
19.
by cinnamonheart 7y ago
Idris: data EndsWith : Type where EndsWithPeriod : (s: String) -> { auto prf : ("." `Strings.isSuffixOf` s = True) } -> EndsWith s : EndsWith s = EndsWithPeriod "." -- Value of type False = True can
20.
by cinnamonheart 7y ago
The logic of bubble sort is so simple that just the description is enough for an implementation. It's a common interview question for the same reason Fizzbuzz is used -- any programmer worth their salt should be able to just write it d
21.
by cinnamonheart 7y ago
Among others, Haskell has bottom, unsafeCoerce, unsafePerformIO, and Data.Dynamic. Even in the dependently typed Agda, you have postulates and pragmas like NON_TERMINATING and NO_POSITIVITY_CHECK. Is there any language out there with no uns
22.
by cinnamonheart 7y ago
> I wouldn't recommend trying to modify DOM elements via CSS or extensions if you can avoid it. You're going to run into some broken web experiences. If I'm resorting to extensions or CSS to modify DOM elements, it's
23.
by cinnamonheart 7y ago
RMS made his office his residence for many years, and slept in it. The mattress made sense as it was his home. It was not there for untoward reasons as people seem to be implying.
24.
by cinnamonheart 7y ago
This attack on Richard Stallman feels much like a witch hunt to me; he's being vilified, and what he's actually said and done is being buried under a bunch of mass hysteria. It's sad to see; I have a lot of respect for him an
25.
by cinnamonheart 7y ago
Racket does allow usage of brackets and parentheses interchangeably, as far as I know: > [define [plus i j] [+ i j]] > [plus 1 2] 3
26.
by cinnamonheart 7y ago
I don't think generics necessarily need to have a complex specification. Standard ML's specification, despite parametric polymorphism and parameterised modules, is incredibly small and easy to understand.
27.
by cinnamonheart 7y ago
This has been frustrating to watch unfold. Of five major brands not implicated -- Purina, Royal Canin, Hill’s Science Diet, Eukanuba, and Iam’s -- we've tried four and they do not agree with my dog. The brands I have found that he thri
28.
by cinnamonheart 7y ago
Idris isn't imperative (Haskell-like with dependent types), but offers features like those: http://docs.idris-lang.org/en/latest/effects/depeff.html readInt : Eff Bool [STATE (Vect n Int), STDIO]
29.
by cinnamonheart 7y ago
An example of > E.g. x ∈ ℕ ∧ x > 2 ∧ x < 5 ∧ x % 2 = 0 implies x = 4. in Agda would be this, I think: _ : ∀ { x : ℕ } → x > 2 → x < 5 → (x % 2) ≡ 0 → x ≡ 4
30.
by cinnamonheart 7y ago
Dotty (Scala 3) recently added support for forwarding to a contained object via an 'export' keyword. class A { def foo(): String = ... def bar(): String = ... def baz(): String = ... } class B { private va

More ›