About myself
I'm Dr. Gergő Érdi (Érdi Gergő in the original Hungarian order of surname first), born on 18th November, 1980 in Budapest. In 2011 I've moved to Singapore.
I've finished the Veres Péter High School in 1999, and graduated with an MD at the Semmelweis University of Medicine in 2005. In 2003, I also started studying at the Computer Science faculty of Eötvös Loránd University, and got my Master's in 2011.
Between 2005 and 2011, I've worked at Intentional Software. From 2011, I'm currently at Standard Chartered Bank.
Latest tweet:
Loading 
How I learned about Java's lack of type erasure the hard way
3 December 2011 (programming language android java) (1 comment)This week, I started playing around with the Android platform. I've been eyeing Yeti, an ML dialect that compiles to JVM and features structural typing. Even though I only have very limited experience in ML (mostly just reading the snippets in the Okasaki, and having helped Maya once with some F# code), it has to be better than Java, right?
After getting the hang of Yeti (integrating it into Android's ant build system, writing Hello World, etc.) I wanted to write something more substantial to evaluate the language for serious use. However, yesterday evening I started getting weird errors as soon as I started creating non-trivial closures in member functions. This is the chronicle of how I tracked down the problem with just some rudimentary Java knowledge and lots of reverse engineering.
Continue reading »Older entries
My software
I hack on the following free software projects in my free time. Way back, most of them were either part of the GNOME project, or were based on the GNOME platform. These days, I'm mostly just writing small programs for fun, or throw-away code relevant to some theoretical subjects I happen to get interested in in the field of functional programming.
- Guikachu: Graphical resource editor for the GNU PalmOS SDK
- Alef: A lazy functional programming language (interpreter and compiler)
- MetaFun: Compile a Haskell-like functional language into C++ template metaprograms
- Tandoori: Compositional type checker for Haskell 98 (my M.Sc. thesis)
Smaller ones
- Collection of Elisp snippets.
- Goblin: A Python implementation of the board game Gobblet, for Windows and Unix/Linux systems.
- XSLT templates for creating your CV: This page describes in detail a simple way to generate HTML and printable versions of your resume from a single source.