Let's take a look at how we might write a function like `map` the (pure) functional way in a language like JS:

    const head = ([x, ...xs]) => x;
    const tail = ([x, ...xs]) => xs;
    
    const map = (list, fn) => {
      if (list.length === 0) {
        return [];
      } else {
        return [fn(head(list)), ...map(tail(list), fn)];
      }
    };
    
    map([1, 2, 3], x => x + 1); // [2, 3, 4]

We're not keeping track of any state here. Using recursion you don't need to keep track of the current element in the list for example (when you run this on a physical machine it will of course, but not at the conceptual level).

I'm reminded of this classic sketch: https://www.youtube.com/watch?v=3m5qxZm_JqM

I knew what that was before clicking it because I felt so much like posting it and then realized someone else must have already done it.

The ASCII art text? There's a link in the top comment there: http://www.patorjk.com/software/taag/#p=display&f=ANSI%20Sha...

Yah, that. It's a SaaS Figlet service.

https://en.wikipedia.org/wiki/FIGlet

In addition to a cool old school feel it helps me with navigation as the big headers are clearly visible in editor "minimaps".

> Is a gymnasium a school in Europe? It's an exercise facility in the USA.

https://en.wikipedia.org/wiki/Gymnasium_(school)

> I've gone through high school and taken CS (and a bit of discrete math and logic) in college, and never seen the ⊢ symbol before.

Interesting. I was taught ⊢ first semester in CS in Logic class. Along with most other common logic notation.

I'm a JS dev that learned Haskell over the past few years. Anything in particular you're curious about?

I guess if I were to mention one thing I really miss in Haskell it's having easy, generic dictionary types a la JSON. Give me some syntax sugar to write a dictionary like JSON objects, where the properties are ordered by insertion (unlike most HashMaps that are unordered or rely on some predefined Key ordering). Also I'd love some better record types.

"Demanding" anything from a superior is a bit of a no-no in Japan, even if it's something as simple as a phone call.

So communication is completely top to bottom?

>completely top to bottom

effectively, yes. This was a large part of why nintendo's online strategy was so poor for such a long time. The Switch is the first of their products where they specifically asked the younger employees to lay out what it should look like.

I'll cede that some of Nintendo's online strategy failed, hard, but...outside of a few things, I don't think they did that bad?

Friend codes were actually really neat; they managed to do interesting things in terms of casual online interaction (I still remember being blown away at video chatting with someone half-way across my country on DSi hardware (16MB RAM and ARM processors that weren't even capable of running Linux[1]), in a (first-ish party; Game Freak) video game where it wasn't even a sideshow it was such a small feature), they managed to do pretty painless interaction between your device and a PC in 2010, Flipnote Studio was a really innovative/impressive piece of social media in 2008 (more like Vine than Twitter, really, and first-party), etc.

Like sure, most of their uses of online prior to the Wii U or so were novelty uses, but they were still really well-executed, and at least early-on had a whole lot of genuinely interesting uses of it.

[1] I think there's a port of a very very old version of μClinux that kind of works on the system, so this is only partially true.

>I'll cede that some of Nintendo's online strategy failed, hard, but...outside of a few things, I don't think they did that bad?

Netplay on Nintendo consoles has been terrible. I admit that they did some interesting social things with the handheld consoles, Miis, and leaving comments (Mario Maker, Mario 3D World), but playing anything against another player was almost always terrible.

Smash Brothers has been one of their biggest competitive titles across many generations. Yet on the Nintendo Switch, the 5th iteration of Smash is still unplayable unless you're on a wired connection. Even then, you can still feel the lag in Smash more so than any other fighting game. Street Fighter 5 is notorious in the FGC (Fighting Game Community) for having terrible netcode. Yet I can still have high quality matches on a wireless connection.

You can't share digital games or DLC across accounts bound to the same consoles in a sane manner. Even if you specify that the accounts belong to the same family, it doesn't matter. Nintendo somehow made buying digital assets on a Switch more restrictive and a bigger headache than physical copies.

Don't get me wrong, there's some definite novelty in some of Nintendo's online offerings, but they are definitely stuck in the past.

>the 5th iteration of Smash is still unplayable unless you're on a wired connection

For what it’s worth, I always play Smash Ultimate’s online on Wi-Fi (NAT type A) and practically never have problems with it. Though I guess the average player’s wireless connection might not be very good, and most players don’t use a wired connection as it requires an adapter.

They made some impressive technical achievements, but their overall platform and infrastructure was awful. For example, no unified friend system, different online services for different consoles, no SSO for games.

I think for casual play like Mario Kart, Pokemon, etc, it worked fine. It absolutely hamstrung more complicated efforts like Smash, Metroid, and third parties were forced to all heavily build out their own infra or not build the feature at all.

These were problems that plagued much more powerful systems (Wii, 3DS - until very late in the lifespan of the console, Wii U, and even the Switch)

When did they introduce friend codes? Couldn't you say "Nintendo's online strategy" (should have) started with the original Wii in 2006 and was basically non-existant for years? :)

Only being half-snarky here, I only own a SNES and a GameBoy Advanced.

The Wii was too early, I think (anecdotally, I remember my family couldn't figure out how to get it connected to the internet), given the market it was aiming for (families).

They introduced friend codes with either the original DS or the DS Lite, I believe.

The GameCube had at least one game that was online only: Phantasy Star Online III. And you're telling me a generation later was still too early? Heck, in Japan, both the N64 and the SNES had online capabilities through additional hardware.

SNES didn't have online capabilities, it had satellite capabilities with specialized and expensive hardware (assuming you're referring to SatellaView).

Anything that requires specialized hardware to access the internet isn't ready for general consumption.

PSOepIII (episode III, not PSO III. It was actually PSO II) was an MMORPG; MMORPGs are aimed at a far different demographic than the group that the Wii was targeted at. Also, weren't PSO ep. I and ep. II released on the GameCube? Pretty sure they were.

"There were multiple companies in the 60s that had mainframes that didn't even work very well; are you telling me that your average family wouldn't be ready for computing back then?"

Focusing on internet connectivity on the Wii would have harmed the Wii, yes. The Wii had Wii Shop and a few titles that could interact online. Making it the core feature in many of them would harm the console, because not only would many people have difficulty setting it up, there were also significant portions of even the United States that were almost entirely decrepit of even moderately decent internet connections.

SNES had the XBAND modem too.

Not sure if it used the Internet, however.

I forgot about the XBAND!

If I remember right, which I might not, XBAND used the phone system but didn't use the internet.

Don’t forget online banking on the SNES:

https://youtu.be/Dkxxd3uH1ZY

I think XBAND had some kind of email service that did let you email people on the Internet.

DS and Wii games both used the same friend code system— they’re GameSpy profile IDs converted over to a friendly 12-digit format.

Which, coincidentally, is why Wii and DS online no longer work; Nintendo never built a replacement service after GameSpy shut down in 2014.

the Wii came after X360, not too early.

The Xbox 360 was aimed at a niche of people (college-aged 'gamers'), and I qualified my statement saying that it was too early for the demographic the Wii was targeting.

Yeah, but am I misremembering that you could play online with the original Wii? or was that only the Wii U?

Pretty sure it had a browser and a store.

Wii had online play, and friendcodes. You could play Mario Kart Wii online, and share your time trial ghosts with your friends. (if you exchanged friend codes)

Was poor? It's currently a Joke. Coming from Halo and to Super Smash Bros I'm shocked at the complete lack of online support.

1. Trading phone numbers is easier than adding Friends on a switch

2. No voice chat service

3. No built in streaming

4. No game invite system

Don't be surprised. It was even worse.

Common in many Asian countries, and kills ability to see shit at product level - definitely.

Do you have any articles about how to reached down?

Not a physicist by any means, but from the article it talks about gravity in the context of the graviton (as one plausible solution to the problem mentioned). Which is still hypothetical, so it's not like they've proven gravity from first principle or anything.

Proven is the wrong word. You cannot prove a theory.

Deriving a description of gravity from first principles would be more appropriate

*an empirical theory.

I can certainly prove things about, say, addition.

if you mean you can prove 2+2==4, it's actually tautology: | | + | | == | | | |

no like, "addition is closed over the integers" is something you can show to be True (for all members of an infinite set, no less -- so it's not empirical.)

And yet, funnily enough, your phone needs a more thorough understanding of gravity than you do. The GPS system must correct for relativistic effects that cause the atomic clocks to shift relative to ground.

Isn’t this corrected by the satellites themselves?

Mostly, but there are still correlations between the satellites that are corrected by the receiver.

The Earth's gravity field is not deterministic.

It's a React component for data tables. So it implements (re)loading data, sorting, pivoting, and the other stuff mentioned in this feature list:

https://github.com/tannerlinsley/react-table#features

So the comparison to HTML tables is a bit odd, because (as per the article linked by OP) it does pretty much everything except the UI part.

(I'm not the author, I just use this library at my work.)

That moniker should probably go to E4X:

https://developer.mozilla.org/en-US/docs/Archive/Web/E4X_tut...

`const` variables are actually inferred without widening. So in your example `dir` would be inferred as `"up"`, not `string`. If you use `let` (or `var`) however that would be true.

My god, you are right!

(example in typescript playground: https://www.typescriptlang.org/play/#code/C4TwDgpgBAIglgJwgY...)

Oh wow! Great, thanks. I wonder how I recalled that wrong.