суботу, 14 квітня 2012 р.

Парней с Microsoft тянет на Linux?

Попался как то на глаза язык F*. Интересен он тем, что с зависимыми типами, еще более интересен, что разрабатывается Microsoft Research, но еще более интересно, что парни там умные, и хоть используют, но все же не чистый Windows: не сложно заметить в архиве с исходниками файлик setenv.sh, описание к которому следующее: "A Cygwin bash script to add FSTAR_HOME to your environment".
Вывод: все люди, все все понимают, но политика есть политика.