Skip to content
  • Categories
  • Recent
  • Tags
  • Popular
  • World
  • Users
  • Groups
Skins
  • Light
  • Cerulean
  • Cosmo
  • Flatly
  • Journal
  • Litera
  • Lumen
  • Lux
  • Materia
  • Minty
  • Morph
  • Pulse
  • Sandstone
  • Simplex
  • Sketchy
  • Spacelab
  • United
  • Yeti
  • Zephyr
  • Dark
  • Cyborg
  • Darkly
  • Quartz
  • Slate
  • Solar
  • Superhero
  • Vapor

  • Default (No Skin)
  • No Skin
Collapse
Code Project
  1. Home
  2. Other Discussions
  3. The Insider News
  4. Build verified code with F*

Build verified code with F*

Scheduled Pinned Locked Moved The Insider News
htmlcomgame-dev
7 Posts 6 Posters 0 Views 1 Watching
  • Oldest to Newest
  • Newest to Oldest
  • Most Votes
Reply
  • Reply as topic
Log in to reply
This topic has been deleted. Only users with topic management privileges can see it.
  • K Offline
    K Offline
    Kent Sharkey
    wrote on last edited by
    #1

    Infoworld[^]:

    Microsoft Research’s new language makes code safer and more secure.

    "Hey now, you're an all-star, get your game on, go play"

    J R M T 4 Replies Last reply
    0
    • K Kent Sharkey

      Infoworld[^]:

      Microsoft Research’s new language makes code safer and more secure.

      "Hey now, you're an all-star, get your game on, go play"

      J Offline
      J Offline
      Joe Woodbury
      wrote on last edited by
      #2

      They do realize that "F*" means something other than F-Star, right?

      K 1 Reply Last reply
      0
      • J Joe Woodbury

        They do realize that "F*" means something other than F-Star, right?

        K Offline
        K Offline
        Kent Sharkey
        wrote on last edited by
        #3

        :D It's also what you say when working in the language, I guess?

        TTFN - Kent

        1 Reply Last reply
        0
        • K Kent Sharkey

          Infoworld[^]:

          Microsoft Research’s new language makes code safer and more secure.

          "Hey now, you're an all-star, get your game on, go play"

          R Offline
          R Offline
          realJSOP
          wrote on last edited by
          #4

          They could have called it "Fasterisk".

          ".45 ACP - because shooting twice is just silly" - JSOP, 2010
          -----
          You can never have too much ammo - unless you're swimming, or on fire. - JSOP, 2010
          -----
          When you pry the gun from my cold dead hands, be careful - the barrel will be very hot. - JSOP, 2013

          N 1 Reply Last reply
          0
          • R realJSOP

            They could have called it "Fasterisk".

            ".45 ACP - because shooting twice is just silly" - JSOP, 2010
            -----
            You can never have too much ammo - unless you're swimming, or on fire. - JSOP, 2010
            -----
            When you pry the gun from my cold dead hands, be careful - the barrel will be very hot. - JSOP, 2013

            N Offline
            N Offline
            Nelek
            wrote on last edited by
            #5

            #realJSOP wrote:

            They could have called it "Fasterisk".

            and Ofelisk?

            M.D.V. ;) If something has a solution... Why do we have to worry about?. If it has no solution... For what reason do we have to worry about? Help me to understand what I'm saying, and I'll explain it better to you Rating helpful answers is nice, but saying thanks can be even nicer.

            1 Reply Last reply
            0
            • K Kent Sharkey

              Infoworld[^]:

              Microsoft Research’s new language makes code safer and more secure.

              "Hey now, you're an all-star, get your game on, go play"

              M Offline
              M Offline
              Marc Clifton
              wrote on last edited by
              #6

              Will version 3 be called F***?

              Latest Articles:
              DivWindow: Size, drag, minimize, and maximize floating windows with layout persistence

              1 Reply Last reply
              0
              • K Kent Sharkey

                Infoworld[^]:

                Microsoft Research’s new language makes code safer and more secure.

                "Hey now, you're an all-star, get your game on, go play"

                T Offline
                T Offline
                Tasadit
                wrote on last edited by
                #7

                Sounds like a good tool for a Unified Programming System. You could make great F* UPS.

                1 Reply Last reply
                0
                Reply
                • Reply as topic
                Log in to reply
                • Oldest to Newest
                • Newest to Oldest
                • Most Votes


                • Login

                • Don't have an account? Register

                • Login or register to search.
                • First post
                  Last post
                0
                • Categories
                • Recent
                • Tags
                • Popular
                • World
                • Users
                • Groups