Hoomla

“Symmetry is a complexity reducing concept […]; seek it everywhere.”

foreach och typsäkerhet

clock maj 26, 2008 23:55 by author kullbom

Edit: Då det ursprungliga inlägget i sak var fel ersätts det härmed med en länk till en korrigerad version.

Just nu värderat 4.0 av 1 människor

  • Currently 4/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5


FreeTechBooks.com

clock november 19, 2007 01:32 by author kullbom
Under lite oskyldigt surfande under söndagseftermiddagen stötte jag på FreeTechBooks.com - en mycket fin kategoriserad samling digitala böcker om programmering och matematik. Den är absolut värd inte bara ett besök!Några exempel på kategorier - så du förstår att du måste ta dig dit:

Bli den första att värdera denna post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5


ASP.Net MVC

clock november 18, 2007 19:41 by author kullbom
Scott Guthrie skriver på sin ScottGu's Blog att ett MVC-ramverk för ASP.Net är under utveckling och att detta skall vara redo för release under slutet av året (2007).Nu har han börjat på en längre artikelserie i ämnet:Några mindre invändningar till trots ser det hela mycket lovande ut och jag hoppas få tillfälle att bekanta mig närmare med ramverket snart.Edit: Även Brad Abrams (RSS Feed with the new ASP.NET MVC Framework) har skrivit lite på ämnet...

Bli den första att värdera denna post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5


Tre små länkar.

clock oktober 9, 2007 13:04 by author kullbom

Bli den första att värdera denna post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5


Två spännande OS

clock september 15, 2007 14:50 by author kullbom

Beskrivningarna stulna direkt från resp site:

Movitz - The Movitz system aspires to be an implementation of ANSI Common Lisp that targets the ubiquitous x86 PC architecture "on the metal". That is, running without any operating system or other form of software environment. Movitz is a development platform for operating system kernels, embedded, and single-purpose applications. There can potentially be several completely different operating systems built using Movitz.

FunOS - FunOS is a mostly-functional (in the programming language sense) operating system currently in design. Or alternately, it is an operating system for which it is fun to do systems programming.

(När jag ändå är igång passar jag på att länka till Christopher B. Browne's sida om Lisp-based OSes)

Bli den första att värdera denna post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5


C over Lambda = Nu

clock september 15, 2007 14:23 by author kullbom
Då jag, som de flesta andra människor, ofta tänker på och drömmer om det perfekta språket är jag ständigt på jakt efter olika infallsvinklar på hur ett sådant skulle kunna se ut.Med några få undantag i tiden har jag alltid varit övertygad om att s-expressions - eller någon liknande generell struktur - är en i det närmaste förutsättning vad gäller syntax och därför är det alltid en glädje att stöta på andra som delar den synen.Den här gången är det Tim Burks projekt Nu som glatt mig. Nu är en form av Objective C med SExp(/Lisp)-syntax och herr Burks verkar därtill få viss inspiration från Ruby.Det finns ännu ingen kod att studera utan man får tills vidare nöja sig med följande blogginlägg:och lite genererad dokumentation.

Bli den första att värdera denna post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5


Ytterligare en LISP för .Net

clock september 5, 2007 14:35 by author kullbom

Ännu en LISP-variant för .Net har dykt upp: IronLisp

Utan att ha kollat upp det hela ordentligt ser det ut som att detta är en del av xacc.ide - en open source IDE för .Net-baserade språk skriven i C#.

Bli den första att värdera denna post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5


John McCarthy 80 år

clock september 5, 2007 12:12 by author kullbom
John McCarthy - i min värld mest känd för sin text Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I från April 1960 - fyllde 80 år igår. Texten anses vara den första beskrivningen av LISP.

Bli den första att värdera denna post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5


F# ersätter JavaScript, Silverlight och Flash

clock september 4, 2007 20:24 by author kullbom

Även om AjaxControlToolkit i många fall hjälper till att minimera mängden skrivna javascript och att SQL i det närmaste helt kan undvikas med hjälp av kodgenerering och/eller LINQ så hamnar man till och från i hemska situationer som utvecklare i ASP.Net.

Nu är det äntligen slut på det.

Tomas Petricek's virtual universe beskrivs den slutgiltiga lösningen i artikeln F# Web Toolkit: "Ajax" applications made simple.

Direktlänk till det alltigenom lovvärda projektet: FSharp.WebToolkit.

Bli den första att värdera denna post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5


CLisp i .Net 1.1 SDK

clock augusti 31, 2007 12:46 by author kullbom
Mycket riktigt ingår det något vid namn CLisp i .Net 1.1 SDK. Ladda ner och installera .NET Framework SDK Version 1.1 och kika därefter i mappen
C:\Program Files\Microsoft.NET\FrameworkSDK\Samples\Clisp
.

Bli den första att värdera denna post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5


Tillbaka till LISP

clock augusti 31, 2007 01:44 by author kullbom
Det skrivs mycket om hur C# - speciellt v3.0 och LINQ - går mot att bli mer och mer funktionellt orienterat. En naturligt del i detta är att olika konstruktioner och koncept lånas från äldre funktionella språk som LISP/Scheme. I det sammanhanget kan det vara intressant att nämna några av de olika .Net-projekt som i olika grad går ut på att implementera just LISP för CLR.Det har också påståtts att en version av CLisp skulle ha följt med Visual Studio 2003(?) som ett exempelprojekt. Jag har inte själv lyckats verifiera detta påstående men det låter ju spännande.För den som råkar vara intresserad av även andra språk för CLR finns en liten sammanställning på Brian Ritchie's dotnetpowered.com.

Bli den första att värdera denna post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5


Mer om null

clock augusti 30, 2007 14:17 by author kullbom
Microsoft funderar vidare på nullproblematiken i “Establishing Object Invariants with Delayed Types” och “Unifying Tables, Objects and Documents”.Jag passar på att länka till Spec#. Från Microsoft sida:
The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software. Spec# is pronounced "Spec sharp" and can be written (and searched for) as the "specsharp" or "Spec# programming system". The Spec# system consists of:
  • The Spec# programming language. Spec# is an extension of the object-oriented language C#. It extends the type system to include non-null types and checked exceptions. It provides method contracts in the form of pre- and costconditions as well as object invariants.
  • The Spec# compiler. Integrated into the Microsoft Visual Studio development environment for the .NET platform, the compiler statically enforces non-null types, emits run-time checks for method contracts and invariants, and records the contracts as metadata for consumption by downstream tools.
  • The Spec# static program verifier. This component (codenamed Boogie)generates logical verification conditions from a Spec# program. Internally, it uses an automatic theorem prover that analyzes the verification conditions to prove the correctness of the program or find errors in it.

Bli den första att värdera denna post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5


Två läsvärda artikelserier

clock augusti 30, 2007 14:02 by author kullbom
Inleder härmed denna blog med att tipsa (mig själv...) om två läsvärda artikelserier: “Practical Functional C#” (av Michael Giagnocavo):“Difficulties with non-nullable types” (av Cyrus Najmabadi):

Bli den första att värdera denna post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5