Java programmer, theoretical computer science enthusiast

My blog

Aug
21
comment Complex project idea
Choose the idea that you want, but be careful not to choose NP-complete problems. For example, Sudoku is NP-complete.
Aug
21
awarded Popular Question
Aug
21
revised Complex project idea
Formatting
Aug
19
comment Which research languages have a stronger typesystem than Haskell and why?
@Peteris yes, but that is the reason why it is not considered best in class, but only mature.
Aug
19
comment Which research languages have a stronger typesystem than Haskell and why?
@DevSolar so compilers and cross-compilers are a waste of time?
Aug
18
comment Which research languages have a stronger typesystem than Haskell and why?
Thank you! Is it possible to prove that Haskell type system is the strongest one that still allows type inference?
Aug
18
accepted Which research languages have a stronger typesystem than Haskell and why?
Aug
18
comment Which research languages have a stronger typesystem than Haskell and why?
@DavidRicherby I guess that means more powerful type system
Aug
18
awarded Supporter
Aug
18
asked Which research languages have a stronger typesystem than Haskell and why?
Aug
18
awarded Constituent
Aug
18
awarded Yearling
Aug
18
awarded Yearling
Aug
7
awarded Caucus
Aug
5
comment Explanation of numbers in Haskell
You should take a look here: en.wikibooks.org/wiki/Haskell/Type_basics_II
Jul
28
awarded Caucus
Jul
27
accepted Siteminder Unsatisfied Link Error
Jul
27
asked Siteminder Unsatisfied Link Error
Jul
25
comment Comparison between IO psychology, Arbeitspsychologie and Psychologie du travail et des organisations
If I understand correctly you refer to the Action Theory developed by Winfried Hacker, Michael Freese, Dieter Zapf and John Sabini. Is that correct?
Jul
20
accepted Comparison between IO psychology, Arbeitspsychologie and Psychologie du travail et des organisations
1 2 3 4 5