Whiley

@WhileyLang

A programming language with software verification and flow typing to eliminate bugs at compile time!

Wellington, New Zealand
whiley.org
Vrijeme pridruživanja: studeni 2014.
11 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @WhileyLang

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

  1. 4. velj

    Whiley gets a whole new level of type inference ...

    1 reply 1 proslijeđeni tweet 5 korisnika označava da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    30. pro 2019.

    Testing peeps, why is “use of syntactic mutation to generate tests cases for verification is not generally considered to be a valid methodology” for evaluating a test-case generator?

    2 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi
  3. 10. pro 2019.

    Type inference in Whiley is getting a “bidirectional” make over!!!

    5 korisnika označava da im se sviđa
    Poništi
  4. proslijedio/la je Tweet
    8. pro 2019.

    And, for my final reveal ... a live demo of Minesweeper written (almost entirely) in Whiley!!! 😁😁😁

    1 reply 3 proslijeđena tweeta 8 korisnika označava da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    8. pro 2019.

    Demo of Asteroids in now live!! Still lots of work to do though 🚀🚀

    1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Poništi
  6. proslijedio/la je Tweet
    8. pro 2019.

    A simple single-page app written in using an FRP style ... live demo included!!

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    30. stu 2019.

    APLAS 2019 in Bali! Victoria University appears as one of the sponsors. :) Great talks and brilliant location!

    1 reply 1 proslijeđeni tweet 7 korisnika označava da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    28. stu 2019.

    Interesting discussion about features which influenced !!! 😆😆😆

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  9. 24. stu 2019.

    RFC#64 (Reference Semantics) out for review!

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  10. 18. stu 2019.

    RFC#0063 (for each loops) is out for review!

    1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
    Poništi
  11. proslijedio/la je Tweet
    31. lis 2019.

    Conway’s Game of Life in Whiley (+JavaScript)!! You can even play it live here:

    4 proslijeđena tweeta 12 korisnika označava da im se sviđa
    Poništi
  12. 28. lis 2019.

    Whiley has a (simple) package repository now!!

    1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Poništi
  13. 23. lis 2019.

    RFC#58 (ImportWith) out for review!!

    1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
    Poništi
  14. proslijedio/la je Tweet
    18. lis 2019.

    What would prefer: or ? Watch both videos and vote below! :-)

    1 reply 4 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Poništi
  15. proslijedio/la je Tweet
    17. lis 2019.

    Awesome to see my Wei Hua’s project compiling ⁦⁩ to WebAssembly!!!

    2 proslijeđena tweeta 7 korisnika označava da im se sviđa
    Poništi
  16. 15. lis 2019.

    The New QuickCheck tool is awesome for filing bug reports!!

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    11. lis 2019.

    More progress on Asteroids for ⁦⁩ !! 🕹👾

    1 proslijeđeni tweet 5 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    26. ruj 2019.

    Try out Minesweeper written in !!

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  19. 29. kol 2019.

    RFC#0054 (Reference Modifiers) is out for review!!

    1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Poništi
  20. 2. kol 2019.

    RFC#0053 (multi-name imports) out for review!

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi

@WhileyLang još nije objavio nijedan Tweet.

Č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:

    ·