Tweetovi

Blokirali ste korisnika/cu @seanmcdirmid18

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @seanmcdirmid18

  1. prije 22 sata

    Designing a new type system is always fun. Should have an early demo soon.

    Poništi
  2. 2. velj

    Can I get anymore newbie than thinking "((0 as (number | false)) == false" would evaluate to false? I thought === was only needed with strings...ugh

    Poništi
  3. 2. velj

    I accidentally created a PL theory.

    Poništi
  4. 2. velj

    The type error for the code "(Foo) - foo" in C#. There isn't really a point in figuring out if something is a C-style cast in the parser, though they do special case keywords (e.g. (int) -10 won't fail).

    Poništi
  5. 22. sij

    I'm doing it by hand right now of course, better to try things out manually before automating it all. Coming up with the notation is the hardest part, and I doubt there are very standard ways of expressing these kinds of things.

    Prikaži ovu nit
    Poništi
  6. 22. sij

    My approach seems to be useful for getting through really hairy code...this is part of my incremental brace matching implementation.

    Prikaži ovu nit
    Poništi
  7. 22. sij

    Would people be amenable to permanent tool directed type inference in code if the inferred types could be hidden from view? The type inference would then happen at edit time rather than compile time. Good? Bad?

    Poništi
  8. 22. sij

    So pettifogging is just congressional bike shedding?

    Poništi
  9. 20. sij

    What if abstract registration meant registration in the abstract rather than the registration of abstracts?

    Poništi
  10. 19. sij

    I should make it clear that direct manipulation supports changes through further manipulations, it is just that manipulations can't easily be deleted, added, or changed within the existing list of manipulation (e.g. undo just supports blowing away the last manipulation).

    Prikaži ovu nit
    Poništi
  11. 19. sij

    The problem kind of shows up in the difference between WYSIWYG word processors vs. markup ones (like Word vs. Latex).

    Prikaži ovu nit
    Poništi
  12. 19. sij

    Has anyone summed up the trade off between direct manipulation and indirect manipulation? The former you do things directly but editing and adding to the manipulation is hard (if not impossible). The latter allows for editing but is harder to do in the first place.

    Prikaži ovu nit
    Poništi
  13. 13. sij

    Obviously 20 +-+-+ 10 evaluates to 30 in javascript.

    Poništi
  14. 2. sij

    I’m trying to figure out a good convention for a language I’m designing. It involves a lot of single character names that could be values or types. I’m wondering about capitalization: BNF convention (terminals small, non terminals capped) or PL convention(opposite)?

    Poništi
  15. 30. pro 2019.

    (Hopefully this doesn’t look as complicated as Agda or Idris)

    Prikaži ovu nit
    Poništi
  16. 30. pro 2019.

    Partition is easier than reverse. The idea is that the abstract state of the procedure is always visible and detailed enough to inform the programmer what is going on. The trade off is that additional meta statements are needed to maintain this abstract state.

    Prikaži ovu nit
    Poništi
  17. 29. pro 2019.

    Ugly, but one would get abstract feedback that you are doing the right thing.

    Prikaži ovu nit
    Poništi
  18. 29. pro 2019.

    Reverse, 7 lines of code, many more in abstract shape management.

    Prikaži ovu nit
    Poništi
  19. 28. pro 2019.

    A REPL for abstract reasoning.

    Poništi
  20. 24. pro 2019.

    Unwarranted optimism and delusions of competence....

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·