I should add "researcher of ill repute" to my CVhttps://twitter.com/stephenjudkins/status/1004818442447290368 …
This is the legacy version of twitter.com. We will be shutting it down on June 1, 2020. Please switch to a supported browser, or disable the extension which masks your browser. You can see a list of supported browsers in our Help Center.
CompSci Lecturer. Go player. Programming language researcher. Idris hacker. Denies knowledge of Whitespace. He/him. http://tinyurl.com/TypeDD
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Add this Tweet to your website by copying the code below. Learn more
Add this video to your website by copying the code below. Learn more
By embedding Twitter content in your website or app, you are agreeing to the Twitter Developer Agreement and Developer Policy.
| Country | Code | For customers of |
|---|---|---|
| United States | 40404 | (any) |
| Canada | 21212 | (any) |
| United Kingdom | 86444 | Vodafone, Orange, 3, O2 |
| Brazil | 40404 | Nextel, TIM |
| Haiti | 40404 | Digicel, Voila |
| Ireland | 51210 | Vodafone, O2 |
| India | 53000 | Bharti Airtel, Videocon, Reliance |
| Indonesia | 89887 | AXIS, 3, Telkomsel, Indosat, XL Axiata |
| Italy | 4880804 | Wind |
| 3424486444 | Vodafone | |
| » See SMS short codes for other countries | ||
This timeline is where you’ll spend most of your time, getting instant updates about what matters to you.
Hover over the profile pic and click the Following button to unfollow any account.
When you see a Tweet you love, tap the heart — it lets the person who wrote it know you shared the love.
The fastest way to share someone else’s Tweet with your followers is with a Retweet. Tap the icon to send it instantly.
Add your thoughts about any Tweet with a Reply. Find a topic you’re passionate about, and jump right in.
Get instant insight into what people are talking about now.
Follow more accounts to get instant updates about topics you care about.
See the latest conversations about any topic instantly.
Catch up instantly on the best stories happening as they unfold.
Edwin Brady Retweeted Stephen Judkins
I should add "researcher of ill repute" to my CVhttps://twitter.com/stephenjudkins/status/1004818442447290368 …
Edwin Brady added,
> Does a zero-length list have different methods from a list that contains some elements? ...yes?
IME this is so far beyond what people think a compiler can do, it is hard to even discuss. Which is a huge shame, because we're capable of doing stuff like this in everyday code, right this moment.
I actually find threads like this quite valuable, in that they give some insight into what people's misunderstandings are and what we have to work on. Although right now I already know I have to work on a faster typechecker and compiler...
I agree – in this case mutation seems to have contributed to the confusion, with the type _changing_ when an element is added to an empty list, rather than seeing that the result is a _new_ list with a different type.
I kinda like the idea of the type changing when you mutate a list
I haven't seen this paper yet, but I saw the thesis it's based on, and it may be of interest... https://2018.ecoop.org/event/ecoop-2018-papers-dependent-types-for-class-based-mutable-objects …
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.