Clik here to view.
Git-Mode für die KSH
Ich habe gerade mal meine Git Erweiterung für die Kornshell in meinen Bitbucket gestellt. Das ganze liegt zwar noch unter "Mercurial-Integration" aber sollte zu finden sein ;). Wie schon beim Mercurial...
View ArticleMergesort in Scala
Und aus der Kategorie "Sortieren für Besessene" kommt heute mal wieder ein Beispiel, aber ausnahmsweise kein Quicksort ;)Was ich besonders toll an diesem Beispiel finde ist das auf gleich 2 Listen...
View ArticleParalleles Primzahlsieb in Scala
Nach der Präsentation von Google Go habe ich mich gefragt ob man das parallele Primzahlsieb auch in Scala so machen kann. Ich muss sagen das ich das Resultat sogar einfacher und eleganter finde als die...
View ArticleSpass mit Scala Infixtypen
In Scala gibt es das interessante Konzept der Infix Typen, dabei handelt es sich um nichts weiter als Typen die zwei Parameter erwarten. Scala erlaubt hier Infix Notation.object Main { class FooBar[A,...
View ArticleFreeBSD 8.1 und die JVM
Alios hat gerade seinen Server auf den neusten Stand gebracht und prompt funktionierte Sakura natürlich wieder nicht. Das Problem war das die JVM wohl anscheinen den IPv6 Stack genommen hat und sich...
View ArticleScala: Klassen erweitern mal anders
Datentypen erweitern ist mehr oder weniger etwas das man des öfteren machen muss, und das ist nicht umbedingt immer unproblematisch. Nehmen wir mal an wir hätten folgende Klasse:class Test(val x:...
View ArticleDie Sache mit Apple
"Hallo, ich bin raichoo und ich habe ein MacBook". Das sind Sätze mit denen man in vielen Kreisen schnell Freunde finden kann (Vorsicht Ironie!). Aber mal ehrlich, in den letzten Tagen kann man sich...
View ArticleScala: Spass mit Streams
Ich wurde ja neulich mal gefragt ob ich mal was über Streams in Scala bloggen könnte (auch wenn es hier eher um IO ging). Da mir da allerdings ein gutes Beispiel gefehlt hat, habe ich das erst einmal...
View ArticleScala: Besseres Pattern-Matching mit Sealed Classes
Neulich bin ich auf eine recht interessante Mail in der jvm-languages Google Group gestossen. Ein Vergleich von Scala und OCaml! Wie spannend!Besonders interessant fand ich folgendes Beispiel:# let foo...
View ArticleDynamic-Dispatch in Scala
Ich bin ja hin und wieder schon mal richtig neidisch auf Clojures Multimethods, möchte aber nicht wirklich meine statisch typisierte Welt verlassen (auch wenn Clojure vermutlich die einzige Sprache...
View ArticleEnglish, please!
It took me quite some time to make up my mind about this… should I switch the language of this blog to English or should leave it just the way it is. I think it's worth to give this a try, since...
View ArticleDTrace and Scala
DTrace is one of my favorite technologies ever, it absolutely redefined my view on software and how it can be debugged. In a lot of situations you are basically forced to debug your software by...
View ArticleDTrace and it's impact on JVM performance
So, I did this blogpost that gave a very shallow introduction to what DTrace can do with the JVM and I got an amazing feedback after that. Actually I'm quite flattered that it had such an impact. One...
View ArticleFrom Functions to Monads in Scala
"Monad" that's a word you hear quite often these days. There is a lot of unjustified FUD whenever this word pops up. People seem to be downright scared about it. You can tell by the amount of...
View ArticleA Taste of Dependent Types in Scala
One thing starts to cross my way very frequently is dependent typing. While I'm not an expert on this topic I found some very interesting things in various papers that I would like to be able to do in...
View ArticleMore Fun with Scala "Dependent" Types
In my last post I wrote about lists that encode their length within their type and the possibilities that gives us to ensure correctness of our code. In this post I want to expand these ideas.Let's...
View ArticleBuilding GHC under Illumos
I like the bleeding edge, that's why I always want to have the newest compilers for my favorite languages and Haskell is one of those languages. In this blogpost I'm going to show you how to build the...
View ArticleSetting up a Tor Bridge Relay on illumos
Times are getting rough again. There are regimes out there that censor the ability of their citizens to express themselves or communicate with each other, sometimes even lives are at stake....
View ArticleTowards dependently typed webprogramming with Idris
JavaScript pretty much has become the lingua franka of the web. It runs in the browser, and since nodejs it's also possible to write server applications. However, it lacks a powerful type-system, and...
View ArticleIdris to JavaScript: Playing with the FFI
Until now the FFI for the JavaScript backend for Idris is quite primitive and somehow I'd like to keep it that way since I don't want to make invasive changes to the language just because of a...
View ArticleShrinking Idris JavaScript with Closure
Compiling Idris to JavaScript can result in some pretty large files. In fact, small Idris programs can become so large that one might consider to fall back to JavaScript because it's just not worth it....
View ArticleClik here to view.
Calling Idris from Javascript and vice-versa.
Until now the JavaScript backend for Idris has been a nice little gimmick to play around with, but when it comes to writing real applications it's pretty limited.The limitations originates from the way...
View ArticleMoving to raichoo.github.io
Hi, I've decided to move this blog to raichoo.github.io. Cya there!
View Article
