Group items matching

in title, tags, annotations or url

As PHP is not a strictly OOP language, it is very easy to slip into sloppier and more procedural code as well as program in PHP one's entire career and not deal with OOP at all. In this tutorial, I will cover the following: Why use OOP over procedural programming, as I have been doing?Encapsulation and modularityBasic class design

There's much excitement about JDK 7 and in particular Lambdas! I've waded through the bloat to help you get an understanding of it. If you search for JDK 7 in your favourite search engine the chances are you'll hit the controversies surrounding lambadas in Java fairly early on in your hunt. It's a contentious subject, which means it's getting a lot of attention from a lot of clever people, but this in turn makes the process slow and adds difficulty in making decisions. My take is that lambdas will be in JDK 7 - you can see plenty of evidence of that around the web and in the snapshot builds. That said, no decision is concrete (which is a wise tip from The Pragmatic Programmer no less!). This article is aimed at those who don't know much about functional programming or what Lambdas, Closures or Currying are and want to get 'primed'.

Microsoft Technical Fellow and C# creator Anders Hejlsberg explains the new C# and VB.NET asynchronous programming model, available as Async CTP now, which makes async programming much easier for .NET developers.

We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide simple, sufficient conditions for checking those global invariants modularly. The method has been implemented in VCC, an automatic, sound, modular verifier for concurrent C programs. VCC has been used to verify functional correctness of tens of thousands of lines of Microsoft's Hyper-V virtualization platform and of SYSGO's embedded real-time operating system PikeOS.

Andrew Phillips holds the title of Scientist with Microsoft Research Cambridge, and he's working on a method of programming that compiles into DNA. Part of this involves a visual programming language called Stochastic Pi Machine, or SPiM. This system models biological processes to help give researchers feedback on how organisms will react to modifications. The hope is that this can be used to help scientists program for large biological systems using modular components compiled to DNA. Yes, I’m in way over my head here, but I do my best to ask Andrew about the role this will play in medical treatment going forward, what it means to DNA computing, and the ability of back-engineering the genetic code we don’t use now

Andrew Phillips holds the title of Scientist with Microsoft Research Cambridge, and he's working on a method of programming that compiles into DNA. Part of this involves a visual programming language called Stochastic Pi Machine, or SPiM. This system models biological processes to help give researchers feedback on how organisms will react to modifications. The hope is that this can be used to help scientists program for large biological systems using modular components compiled to DNA. Yes, I’m in way over my head here, but I do my best to ask Andrew about the role this will play in medical treatment going forward, what it means to DNA computing, and the ability of back-engineering the genetic code we don’t use now.

CHESS is a tool for disciplined testing of concurrent programs. CHESS requires users to develop concise concurrent tests for that explore one concurrency scenario—or a few scenarios—in their programs. Given such a test, CHESS systematically enumerates all behaviors of the program being tested to find concurrency errors, data races, deadlocks, and livelocks.

F# is ideal for data-rich, concurrent and algorithmic development: "simple code to solve complex problems". F# is a simple and pragmatic programming language combining functional, object-oriented and scripting programming, and supports cross-platform environments including PC, Mac, and Linux. We'll provide the tutorials, resources and tools you’ll need to begin working with F# right away.

In Stack Machines, Expression Evaluation, and the Magic of Reverse Polish, I showed how expressions can be evaluated by rewriting them in reverse Polish and translating this into machine-code instructions for a stack machine. I demonstrated with a stack-machine interpreter that I'd written as part of a working model of a Pascal compiler. But as well as expressions, the compiler needs to compile assignments and jumps, so — in my progress towards explaining the compiler — I'm going to extend the machine code so it can handle these. I'll demonstrate by interpreting a program that calculates five factorial.

In this interview made by InfoQ’s Sadek Drobi, Don Syme, a Senior Researcher at Microsoft Research, answers questions mostly on F#, but also on functional programming, C# generics, type classes in Haskell, similarities between F# and Scala.

Today sees the launch of Visual Studio 2010, at five launch events around the world, as announced by Bob Muglia, Jason Zander and S. Somasegar, and presented live today in Las Vegas.   Visual Studio 2010 includes the official version 2.0 of the F# language. As is our custom on the F# team, we also release a matching MSI and ZIP of F# 2.0 (for use with Visual Studio 2008 and as a standalone compiler on a range of platforms)   Today represents the culmination of 7 years of work on the language at Microsoft Research, and, more recently, the Microsoft Developer Division. I am immensely proud of what we’ve achieved. F# brings a productive functional and object-oriented programming language to .NET, extending the platform to new audiences in technical, algorithmic, data-rich, parallel and explorative domains, and its inclusion in Visual Studio 2010 represents a huge milestone for the language.   To help understand what we’re doing with F#, I’ve listed some of the common questions people have about the language below.  We thank everyone who has been involved in the production of F#, especially the many users who have given us feedback on the language!

Building a dynamic PHP site requires you to understand how CRUD (create, read, update, delete) functions work. There are a variety of ways to implement these functions include databases, and most commonly through mySQL.  With these functions you can add new entries to the database (registration), view existing entries (retrieve users or fields), update the entries to your table or delete users (who may unsubscribe or permanently delete their accounts.) For a user account based sites, these functions are essential for keeping your user and information database up to date.