Florida Housing Market

May 30, 2008

Types Seen Harmful

Benjamin C. Pierce’s presentation slides (in PDF) for his talk on Types Weighed Harmful. The talk begins out discoursing some of the universal advantages and disadvantages of inactive typewriting. But the aim of the talk centers on the problems of working up a type checker for the Boomerang Programming Languague (an offshoot of harmony).

  • Boomerang language design as an example of
    1. the need for very accurate types
    2. some of the expert problems they bring up
  • Contracts as an attractive way of directing some of these issues

Pierce’s work is presently centered making a PL for Bidirectional Programming. A work in progress but it’s interesting to visit the thought process behind language design in existent-time.

Free C# IDE

SharpDevelop counts like a really coolheaded tool. I reckoned it was pretty orderly that I could trade the language for the IDE (English, Nipponese, etc.) on the fly in the tool and the UI would mechanically update. Pretty consummate tool… makes designer, statement completion, project system, etc. Very glib!

Related Posts:
Computational Thinking
Seing Salary Caps and Why The NFL prefered out

Macworld

Wow… a lot of traffic about macworld… Keynote , Safari , and a 17″ Powerbook. oh my!

The most interesting news (to me, at least) - Safari being an loose source web browser founded on KHTML… amazing to figure Apple assume something like this.

 

Checking Whether a File Is an Assembly

A file is an assembly if and only when if it’s pulled off and it comprises an Assembly entry in its CLR metadata.

Determining by hand

A degraded way to ascertain whether a file is an assembly is to campaign ildasm.exe on it. If it right away consecrates an error supposing that it may not be a PE file, and so it’s not a pulled off file. But, if it is an assembly, so ildasm will usher an entry for the Assembly definition (“.assembly“ in the MANIFEST window or at the bottom of the original window).

Finding out programmatically

From unmanaged code, you can ring GetAssemblyFromScope() on the IMetaDataAssemblyImport interface for the file. If it yields S_OK, it’s an assembly. If it renders CLDB_E_RECORD_NOTFOUND, it’s not an assembly.

From brought off code, if AssemblyName.GetAssemblyName(), Assembly.Load*(), etc. follows when paid that file, and so it’s an assembly. If the load failed with a BadImageFormatException, and then it may not be an assembly. There are other reasons, all the same, why that exception may have been held (peradventure it’s an assembly but could not be charged because it has an wrong format). Making out presently in v2, if the hresult for BadImageFormatException is COR_E_ASSEMBLYEXPECTED, and then it’s because it’s not an assembly. Arrest the exception and phone System.Runtime.InteropServices.Marshal.GetHRForException() to obtain its hresult to rule out.

Observe that this takes up that you are not concerned about performance. If you are concerned about that, so the way to optimize for it is to (more…)

Speaking Mavs

There is no tough feeling in sports than being eliminated in the playoffs. It’s an exclamation point on a unsatisfying season. Like everyone else, I try on to await backward and visit what we did justly and incorrect and await ahead to visit where we stand for the coming and succeeding seasons.

We reached mistakes, no question. We claimed the start of the veritable season for awarded. The full staff desired to obviate another meltdown like we had against Fortunate State, so we embarked on off the season with a willingness to experiment. We needed to try out unlike combinations of players to visualise what acted and didn’t work, intending we would nevertheless gain games, but that we could pass judgment players and allow them try out newfangled things. Alas, we didn’t advance as many games as we intended we should. To make up matters risky, we lost games we meant we should have come through easy, in particular on the road.

When we didn’t deliver the goods those games, we arrange more pressure on ourselves and adjudicated even more lineups. We simply couldn’t regain the correct combination of players that granted us to click. We habituated 556 lineup combinations. (by comparison, the Lakers habituated 313, the Suns 231).

One of my favourite history books from Gamy School was Why Men Rebel , its point is that the farther a person’s reality diverges from their expectations, the more probably there are to be ethnic problems. Which is precisely what began to happen to the Mavs. Everyone had their ain solution to the problems. Some were sounded, some were interiorized. Some were cut. All reached it harder for everyone to bestride the same page. (more…)

New Assembly, Sure-enough .NET (and Vice-Versa)

I typically urge that you establish and screen your assemblies against the same version of.NET that you will be playing them against. That way, you’ll have right references and deflect surprises from behavior differences between works up.

Sr. assembly, fresh.NET

But, sometimes you don'’t run against the same version that you built against. For example, the up-to-the-minutest uncommitted CLR is the default when interop dos it to be charged. Or, if the version of the CLR the assembly was built against is not uncommitted, the up-to-the-minutest version can besides be employed or else. If there is a compatibility problem with that for your application, you can push the use of a chosen CLR version by applying an app.config.

Compatibility

Yes, there are moving to be behavior differences between versions - no way around it. It is the.NET team’s goal to be as backward-compatible as realistically potential between versions. But, some changes are required - newfangled features are contributed which sometimes expect (hopefully minimum) behavior changes in other features. If we were required to ne’er give out any app, always, we wouldn’t be able-bodied to fixate any bugs or supply any features for fear that someone, someplace relyed on the conked out behavior in some unknown way. As Dll Hell has shown in the past, newfangled versions of components aren’t really compatible. The only ensured 100% compatible version is the same one you tested against.

(more…)

NBA Agents and In high spirits School Kids

There is a very specific NBA rule that avers that team personnel can not talk to Mellow School players unless it is at an okayed event or function. No more one associated with an NBA team can shill, deal, advocate, promise, advertize or praise to , with or about Mellow School players.

This is a well thing. A very good thing. All the same, the lack of subject communication between anyone at the NBA and In high spirits School players and coaches makes an obvious information gap. As with any business, when there are millions of dollars uncommitted each and every year, there will be those that introduce themselves into the gap with promises that they can allow the link between the have and have nots. Politicians can regain every loophole uncommitted when it comes to fund kicking upstairs and agents can find oneself every loophole when it comes to tempting kids with stories of sugarplum fairies, for the first time pear-shaped picks and unutterable riches.

Why liken politicians and agents ? Well if you have encountered either, you have encountered both. One size does not go all, but it sure fits many, in both worlds. Both professions thrive on plausible deniability. Neither appear to have any more than a trivial understanding of how money they channelise will ultimately be utilised. Which to them is a well thing. It provides them to traverse that the money they paid one of their employees to devote one of their associates to give to an affiliate of a local group that really fathomed like a very desirable kindly organization was used for anything other than what they intended it would be used for: to facilitate those far less rosy than themselves. (more…)

C# 3.0 Lambdas and Type Inference

Daniel Cazzulino of late saved a blog entry whose independent focus was on building up pipelines expending iterators in C#. Towards the end he evidenced a slightly painful problem in C# 3.0. He needed to spell this:

var transformer = x => new { Original = x, Tempered = x.ToLower() }; 

Yet, the C# compiler sounds off because it doesn’t have enough information to understand the type of the transformer varying. The problem it describes is “Cannot delegate lambda expression to an implicitly-typecast local variable”.

Daniel doesn’t portray a puting to work solution to this peculiar problem – he ceases up structuring his program otherwise to obviate the issue only. But in his discussion of this problem, he projects something that he keies out as despicable, and which, as he targets out, doesn’t put to work in any case:

Func<string, {string Original, string Annealed}> transformer = x => new { Original = x, Annealed = x.ToLower() }; 

This is a unmediated approach to the problem described in the compiler error message. Can’t designate the expression to an implicitly-typed variable? ALL RIGHT, countenance’s create the variable explicitly typecast. Unluckily, you can’t specialise the type because the expression implies an anon. type. And that’s the thing about anon. types: they assume’t have names.

(more…)

Chris Sells

And so if you take my career history (which isn’t mandetory to see the rest of this post) you will picture that I passed a bunch of time working at Microsoft’s WFC and then WinForms for.NET. In the late part of this, I had the chance to fill Chris Sells. Chris composed, debugged, and deployed what I trust to be the first real over-the-web Windows Forms application (wahoo ). In the process he persisted in to rule bugs and issues with our deployment and security model. Hopefully with the release of Everett (.NET 1.1, should be out “soon”) most of these issues will be purposed. Precisely had to present chris props… you rock! :)

Relating Posts:
Existent Estate Market - Believe Convinced!
Optic Studio 2008 and .NET Framework 3.5 “SP1″ Beta
If the news is of import it will regain me

Is It Better To Rive Or Buy?

Filed under: Real-Estate

The debate between whether it’s better to rip or to corrupt property has raged for years. There are advantages to both sides of the argument, but it fronts like purchasing property might but be the secure option.

Get free blog up and running in minutes with Blogsome
Theme designed by Jay of onefinejay.com