When I was studying one of my algebra courses I used drawings to represent theorems (I think I used Platonic solids for rings/modules/fields/algebras/etc, don't remember exactly _what_ but allowed me to remember all statements for the theory part of the exam) 
Here are the slides from my talk at @scala_love this weekend: A Visual Language for Types
https://docs.google.com/presentation/d/e/2PACX-1vS1Ng_4P4_CdQSvTjopAAYS00nh4nA2zrkGe0JR_BrGIWZruDXnqPQpLnXhtf_1fVDouROtj0jzIy8l/pub?start=false&loop=false&delayms=3000 …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I’m looking forward to debugging type errors with a couple of pretty pictures instead of a paragraph of text
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
It's a brilliant idea, but it needs to be more compact. I would need something to represent the type on the console like QR code. Thinking of spiraling simple type symbols.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Hey, Jon! Do you know if this talk was recorded? I don't see it in the Scala Love playlist
-
I guess it wasn't. I had sone problems getting into the Zoom room to give the talk, and they had to put together an ad-hoc workaround which probably meant that it couldn't be recorded...
- Show replies
New conversation -
-
-
Wow this looks great ! +1 for where is the recording ?
-
I think there probably isn't one. I got an email letting me know they were all published, so if it's not there, it probably won't be now... :(
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.