On Mon, Nov 20, 2023 at 12:08 PM dkearns <[email protected]> wrote:
> More generally, it's becoming hard to justify even this sort of hand-wavy > bottom type model for a language designed with hindsight of the last thirty > years. I think nullable types, as implemented in some fashion by Kotlin, > C#, Dart, and Java, among others, would be a good fit and could probably be > implemented incrementally. Even being able to just specify the types that > are nullable would be progress. > In regards to #11770 <https://github.com/vim/vim/issues/11770>, and similar > issues, my view is as at least as strong as LifePillar's, "Fundamental > mathematical properties such as transitivity of equality should not be > violated." I, uncomfortably, disagree with Bram's assessment there and > think the current implementation is causing "obscure problems" and find it > unlikely that anyone is relying on that behaviour. > I made a similar comment about Option types, but nullables (and perhaps associated occurrence typing so that types under null checks make sense) might be a way to do this without needing pattern matching and other machinery. Perhaps it would be useful to work up some "desired" example programs and their semantics, and figure out how to make the implementation match that? Rather than start from one implementation and duct-tape it? > — > Reply to this email directly, view it on GitHub > <https://github.com/vim/vim/discussions/13458#discussioncomment-7621864>,. > You are receiving this because you are subscribed to this thread.Message > ID: <vim/vim/repo-discussions/13458/comments/[email protected]> > > -- > -- > You received this message from the "vim_dev" maillist. > Do not top-post! Type your reply below the text you are replying to. > For more information, visit http://www.vim.org/maillist.php > > --- > You received this message because you are subscribed to a topic in the > Google Groups "vim_dev" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/vim_dev/JZ_BC4tYotU/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/vim_dev/vim/vim/repo-discussions/13458/comments/7621864%40github.com > <https://groups.google.com/d/msgid/vim_dev/vim/vim/repo-discussions/13458/comments/7621864%40github.com?utm_medium=email&utm_source=footer> > . > -- D. Ben Knoble -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/vim_dev/CALnO6CB0H81Y3CGf4qCwB%3DCW1iEkx%3DtjsmAnRzqQ2Vue_8atCA%40mail.gmail.com.
