At the end of our Haskell excurs I would like to list some advantages of this really nice functional language.

• You can write mathematical functions in Haskell in the same way like you did before.
• In the end everything is a function.
• The lazy evaluation is a really nice feature because you can write undefined values for example into lists and can evaluat the rest nevertheless. That can helps you in any case because the values are not calculated before you really need them.
• You can proof any function in Haskell really fast because it bases of mathematical functions. So you can make induction (of the structure) on the base.
• The input and output is handled through monads. But in my opinion we lost some advantages of the functionality with input/output because we must define when it should happens, so it is iterative somehow.
• You can write your own data types and put it into the default classes easily. For example you can compare "Monday" with "Thursday" and Haskell will tell you that it's bigger (if you put your data type weekday into Ord).
• Another feature of Haskell is the possibility to use list comprehensions to creat a list based on existing lists.
• And you can use the lamda calculus to use functions without giving them explicit names. So it's easier to handle big formulas.

This semester we must study Haskell.
It's a functional language. This means that you have to use in Haskell a lot of functions to program.

It also has got pattern matching, lazy evaluation, monads and so on as features.
At present I read the tutorial Haskell Tutorial for C Programmers . Hopefully I'll understand this paradigm at some time.

It's a nice language nevertheless to do something absolutely different to C or C++ or the whole procedural programming languages.

I've added some pictures of my studies to my gallery.

These pictures include also those about the demonstration in Erfurt against the costs of studying.

On Wednesday was my first lecture about I. Kant. We learned a little bit about his life and the time he lived in. Then we started to read his work - Critique of Pure Reason.

Just because I've read some parts of this book, I thought that I've got a better chance. But the interpretation of our mathematic professor is very different. We read the whole introduction last time. So we got Kant's definition of science and then we discussed if computer science is really science. Funny. Really.

Yesterday were some math lectures (1, 2) on my time table. It was a little bit strange to get some facts about our mathematically universe twice - but it was okay. We learned some old facts about sets and functions.

After English I had got some free time today, so I decided to join Astrid's math lectures this morning as well. There the students learned some facts about the basic sets, too, but then also some new facts about how to solve the term: x^2 = -1 ; x = +/- sqrt(-1).

The solution is to define some new numbers - the complex numbers. There you have got the term: x^2 = -1 ; x = +/- i. It was quite cool to listen to the professor and just sit down next to a wonderful person. *gg*

Because of the hint of StevenR (an EE) I would like to make clear that it is j because of the confusion with a changing current, not i. ;-)

Hm. I don't know where to start, because the last week was very interesting and exciting. I've got a lot of information about the connections of the university (network) and had some very nice talks with very nice humans (partly computer scienctists and engineering cybernetics). I also got in touch with girls. ;-)

The clubs (bc, bd and bh, bi) are awesome and the SAP (start party in the mensa) was very cool. The speeches of the professors and the meetings with our tutors contain as much information for us as possible.

Today my math lessons will beginn at 1100 UTC. Enjoy your day!

Tomorrow I will move to Ilmenau. Strange feeling nevertheless. What will happen? Can I be successful? Am I going to meet some nice people there? Too many questions, to less answers.

If you notice some strange actions on the services of nanofortnight, please get in contact with one of the forkbomb guys. I will have a connection through the FeM network in a few days (hopefully).

Nice night and a great week to everybody (especially for the Erstis ;-)).

Update 2006-10-03 20:19: I am wired now. :-) More 2morrow.

I traveled today to Ilmenau to sign up my rental agreement for my flat in house A.

Furthermore I went to the city hall to tell them that I will live there for the next years.

Beside that the walk through the town was really lovely. I think it's a good place to study there. :-)

I'm very happy to tell you that I received today my matriculation papers. Now I am a member of the university of technique in Ilmenau. Furthermore I got thoska+ - the smart card for the university network.

Today I got the agreement for the boarding school in Ilmenau.
I will live there at house A.

This was very important for me, because I plan to study at the university of technique in Ilmenau. My studies will begin there in October and I am really happy now. :-)