This is referencing Philip Wadler’s 1989 paper “Theorems for Free”, which is fairly well known in the Haskell community: https://home.ttic.edu/~dreyer/course/papers/wadler.pdf

This is referencing Philip Wadler’s 1989 paper “Theorems for Free”, which is fairly well known in the Haskell community: https://home.ttic.edu/~dreyer/course/papers/wadler.pdf

Wow this really feels like reddit again. High quality comment followed by low effort award post. All we need now is an award speech edit

We thought about that, but this was our honeymoon trip and we really didn’t want to mess with our schedule when we have the full day wedding to take care of as well. Maybe next time!

Tips: check tabelog (Japanese yelp) for restaurant recs. They’re real harsh on reviews there – if a restaurant is rated above 3.5 you know you’re in for a good meal, and finding one above 4 is very rare. Many of the “best meals of my life” I talked about were from restaurants rated about 3.8 or so on tabelog (the 4+ ones were too expensive or too hard to book).

If you know some Japanese, calling restaurants to reserve will sometimes let you eat somewhere that you wouldn’t have been able to otherwise. Many restaurants in Japan are very small and/or reservation only without an online option, so being able to reserve in Japanese is a huge advantage. I used Skype to get a Japanese number to reserve with

In terms of Japanese language, like the other guy said prioritize your katakana reading ability. It’s by far the most useful bang for buck you could get in terms of language ability.

I did a lot of research before I went so there wasn’t much that we didn’t expect, but one big thing was how gruelling the jet lag is after the 13 hour flight. We definitely didn’t schedule enough restful days upon landing, and next time we’ll be sure to take it easy when we first arrive. Best of luck planning your trip!

An absolute blast! So much good food there. We essentially planned our trip around the food and restaurants we would try and said “this is the best meal of our lives” on quite a handful of different meals lol. 10/10 would recommend

The middle level in the Japanese Language Proficiency Test

I was originally going to post this to Reddit but procrastinated pretty hard on it. Glad I did, because now I get to post it on Lemmy and not give Reddit my free labour :D

Thanks for the gold kinda lemur!

My wife is a big fan, drawn in by the songs she recognizes and the promise of exercise. But ever since we visited Japan and tried the rhythm games in the arcades there we’ve both felt Just Dance to be a bit lacking – the tracking isn’t very sensitive and has a huge tolerance for accepting wrong/mistimed moves