Нужен язык для Crypto, GUI, Web

Go по всем пунктам. Только с Gui могут возникнуть вопросы, но не очень сложные.

Я бы смотрел в сторону OCaml с гуём на GTK или QtQuick.

tcl же.

java

плюсану Go

Слишком медленно. Он умеет в нативный бинарник все собрать?

С Гуями проблемы и таскать за собой JRE не хочется.

CGI на сях с -lcrypt + веб-морда. Стильно, модно, молодежно.

опердень

Каждый день узнаешь что-нибудь новое.

добро пожаловать в будущее!
с гуями давно уже нет проблем

с гуями давно уже нет проблем

Только если это веб-морда.

FORTRAN IV

ну не надо
тут тебе и swt и gwt и java fx 2 вон запилена даже, это не считая мастодонтов swing и awt, которые уже моветон использовать

starPack

бяка

сделай лучше

Мне веб-морды хватает. Правда, есть у меня один недоделанный динозавр на GTK. Если бы сейчас делал, то motif бы какой-нибудь использовал, а не эту угребищную библиотеку.

Кстати, я не глянул, что то сообщение являлось ответом на яву. Уж с Java у меня отношения простые: лучше сдохну.

криптография, сетевой сервис (в том числе, возможно, веб) и GUI к ней

в виде статически слинкованного бинарника, с минимальным футпринтом по памяти

вот эти два предложения у меня как-то плохо уживаются в голове одновременно. на чём вы собираетесь запускать сетевой сервис, чтобы иметь требованием минимальный футпринт по памяти?

После Swing, AWT я гуи жабовые не смотрел, если честно. Как там look-and-feel? Нативные контролы хотя бы по внешнему виду на платформах?

В общем суть в том, что оно должно работать как на сервере, так и на десктопе, то есть общая кодовая база, плюс пара вариаций: с GUI для декстопа и с веб-гуи для сервера, как то так.

Тебе три разных языка надо, а не один.

Пишешь на сях сетевой демон. Можешь даже без выделенного http-сервера обойтись (например, пиши на вебсокетах или реализуй самостоятельно простейший сервер в своем приложении).

В зависимости от запроса при подключении к открытому сокету этого демона ты выдаешь либо веб-страничку и/или AJAX, либо тупо данные (для клиента — не браузера).

Если так хочется иметь гуевый клиент — не браузер, можешь реализовать это коровье седло хоть на брейнфаке!

Java FX был моветоном, есть и остается при этом. Вы не думали что может быть что-то толще Swing? Тогда мы идем к вам

Еще есть вариант, становящийся более популярным. Веб-гуи для десктопа. Не факт что это лучшая идея, но работает.

haskell уже предложили? либы для криптографии, байндинги к гуям, сервера и фреймворки в наличии. Язык очень простой.

ну, у меня пока не дошли до него руки, я только доками обмазываюсь, сам на swt десктопный гуй ваяю

Насколько все это в Хаскелле отлажено?

Сейчас рассматриваю 3 варианта: 1) Go. Вроде всё хорошо и удобно. Единственное, что не нравится — императивщина, дорос уже до функциональщины, а тут тебе опять указатель вместо монады Maybe. 2) Ocaml. Не пробовал, но выглядит как лучшее из двух миров, но насколько все это готово для реального применения (в части библиотек)? 3) Haskell. Только хардкор? Смущает ленивость. И я сходу не въехал в принципы модульности — как разруливать пересечение по именам функций для разных записей и т.п.? Неудобно же?

Ada - если GUI без экзотики, то проблем не будет. По остальным пунктам проходит идеально.

Tcl/Tk - кроме нормальной модульности и опять же экзотики в GUI, остальное проходит более менее.

Насколько все это в Хаскелле отлажено?

неплохо, судя по рассылкам в продакшене крутится.

3) Haskell. Только хардкор? Смущает ленивость.

ленивость это не очень страшно, если сразу не использовать lazy IO, вне задач, где оно безопасно, и быть осторожным с исключениями, напр.

(do let foo = i_will_throw_FooEexception
   return foo) `catches` (\(ex::FooException) -> ...)

тут исключение радостно выбросится все catch блока, ещё остаются thunk leaks, но это не так важно, на и бороться с ними просто. Тем более, что основная работа у тебя будет в отлаженных либах.

И я сходу не въехал в принципы модульности — как разруливать пересечение по именам функций для разных записей и т.п.?

лучше на конкретном примере, т.к. подойти с разных сторон, а так или:

import qualified Foo as Foo
import qualified Bar as Bar

Foo.foobar
Bar.foobar

class Buz where buz = ..
instance Buz Foo where buz = foo
instance Buz Bar where buz = bar

Неудобно же?

больших проблем не замечал, только если с использованием толпы разных векторов.