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.
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…
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 :)
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.
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 is due to static…
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.
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.
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…
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
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…
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…
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…
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 they think this may…
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…
>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…
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…
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:…
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…
Idris: data EndsWith : Type where EndsWithPeriod : (s: String) -> { auto prf : ("." `Strings.isSuffixOf` s = True) } -> EndsWith s : EndsWith s = EndsWithPeriod "." -- Value of type False = True cannot be found -- s2 :…
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…
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…
> 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…
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.
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…
Racket does allow usage of brackets and parentheses interchangeably, as far as I know: > [define [plus i j] [+ i j]] > [plus 1 2] 3
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.
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…
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 :)
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.
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 is due to static…
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.
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.
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…
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
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…
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…
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…
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 they think this may…
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…
>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…
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…
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:…
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…
Idris: data EndsWith : Type where EndsWithPeriod : (s: String) -> { auto prf : ("." `Strings.isSuffixOf` s = True) } -> EndsWith s : EndsWith s = EndsWithPeriod "." -- Value of type False = True cannot be found -- s2 :…
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…
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…
> 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…
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.
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…
Racket does allow usage of brackets and parentheses interchangeably, as far as I know: > [define [plus i j] [+ i j]] > [plus 1 2] 3