Linktipps April 2010

• Evolving Faster Haskell Programs (now with LLVM!): Mit genetischen Algorithmen die Geschwindigkeit eines Haskell-Programms verbessern? Don Stewart zeigt, wie er es geschafft hat.
• Try Haskell!: Ein interaktives Tutorial in grundlegende Sprachkonzepte von Haskell. Sehr schön, wenn man mal ein wenig ausprobieren möchte, ohne viel lesen zu müssen. Letztendlich kann dieses interaktive Tutorial aber nur einen kleinen Vorgeschmack geben.
• BSON - Binary JSON: Diese Webseite enthält sowohl Spezifikationen als auch weitere Informationen zum binären JSON-Format, wie es von MongoDB verwendet wird.
• The Categorification of the Naturals: Auf Typlevel wird anhand der Peano-Arithmetik ein Isomorphismus zwischen natürlichen Zahlen und Typen entwickelt. Sehr lesenswert für all jene, die von der Mächtigkeit der Typen in Haskell begeistert sind.
• Programming with impossible functions, or how to get along without monads.: Pure Funktionen und IO passen nicht zusammen? sigfpe zeigt das Gegenteil.
• Python’s lambda is broken!: Manchmal führt auch aussagekräftiger Code zu unerwarteten Ergebnissen - wie hier in Python.
• On programming language design: Programmierer werden jeden Fehler machen, den sie machen können. Deshalb sollten Programmiersprachen einen guten Entwurf vorzuweisen haben. Die populärsten Fehler werden in diesem Artikel vorgestellt, mitsamt Beispielen wie auch Lösungen in verschiedenen Sprachen.
• checkMyCode.org: Wer seinen in C geschriebenen Code überprüfen lassen will, kann dies mit der genannten Webapplikation tun. Als Basis dafür dienen ca. 16 Millionen Regeln, die aus 200 Millionen Zeilen Code von Linux-Programmen extrahiert wurden.
• Where do monads come from?: sigfpe klärt über Zusammenhänge zwischen Berechnungen, Algebren und Monaden auf - sehr lesenswert für Interessenten der Theorie.
• Being an expert considered harmful: Die Schattenseiten des Expertentums... Man sollte sich immer wieder daran erinnern lassen.
• Neural Networks in PHP: Künstliche neuronale Netze und PHP? Anscheinend ist es doch kein Widerspruch, was dieser interessante Artikel beweist.
• Synchronous Channels using MVars: Effiziente Synchronisierung in Haskell. Für jeden, der parallel und beiläufig mit Haskell arbeiten will, bietet der Artikel eine sehr gute Strategie sowie interessantes Hintergrundwissen.
• Brewer's CAP Theorem: Dieser gut recherchierte Artikel bietet einen interessanten Überblick über das CAP-Theorem und adressiert auch die Konsequenzen desselben.
• An intriguing use of lambda functions: Es ist schön zu sehen, wenn Lambda-Funktionen in PHP sinnvoll eingesetzt werden.
• Code-Blasen statt -Dateien: Wer alte Konventionen aufbrechen will, sollte sich diese Innovation ansehen, denn das interessante Vorteile für professionelle Entwickler bieten.
• Reflections on leaving Haskell: Welche Gründe könnte man haben, um die Haskell-Community zu verlassen? In diesem Artikel und vor allem in den Kommentaren finden sich viele Probleme, aber auch einige Lösungen derselben, wieder. Für jeden, der einen vollständigen Eindruck der Sprache erhalten will, enthält dieser Linktipp eine Fülle von Informationen.
• Straitjacket programming: Was haben Zwangsjacken mit Programmierung zu tun? Mehr als man denkt! Ohne mehr darüber verraten zu wollen, kann ich den Artikel jedem ans Herz legen.
• Repeat after me: “Cabal is not a Package Manager”: Gerade als Einsteiger in der Haskell-Community ist dieser Artikel gut geeignet, da er die Möglichkeiten von Hackage, Cabal und cabal install aufzeigt.
• Haskell’s Big Three: Luke Palmer hat seine Liste der drei größten Problempunkte in Haskell erstellt.
• Hunting for abstractions in mathematics: Jedem Softwareentwickler ist Abstraktion geläufig, aber wie abstrakt arbeiten Softwareentwickler wirklich? Ohne behaupten zu wollen, dass Abstraktion immer die richtige Lösung darstellt, kann man betrachten, wie abstrakt die Mathematiker arbeiten.
• The hacker, the architect and the superhero: three completely different ways to be an excellent programmer: Nach Mike Taylor gibt es drei Arten von exzellenten Programmierern - jeder dieser Typen ist mit einer anderen besonderen Fertigkeit ausgestattet. Dieser Artikel kann dabei helfen, seine eigenen Stärken zu erkennen und daraus Konsequenzen zu ziehen.
• Tikanga, Pachika und Javalanche helfen bei der Fehlersuche : Golem.de hat eine schöne Zusammenfassung von drei wichtigen Projekten des Teams um Andreas Zeller erstellt. Bei allen drei Projekten geht es um Fehler: Wie man sie vermeidet, wie man sie (automatisiert) repariert und wie man Tests optimiert, sodass sie möglichst viele Fehler erkennen.
• What’s new in Apache CouchDB 0.11 — Part Three: New Features in Replication: Jan Lehnardt schreibt über eines der wichtigsten Features von CouchDB: Der Replikation. Auf einige Erklärungen zum Mechanismus folgt eine Reihe von interessanten Anwendungsfällen.

Kommentare