(-> b) означает "функцию от до b". В аннотации типа это обозначает функциональный тип. Например, f: (интервал-> Строка), означает, что f относится к функции, которая берет целое число и возвращает строку. Это также используется в качестве contstructor таких значений, как в
val f : (int -> int) = fun n -> n * 2
, который создает стоимость, которая является функцией от некоторого номера n до того же самого числа, умноженного на два.
Решение представлено здесь не совсем для вашей проблемы, а именно для данной ошибки.
Start - > Все программы -> Microsoft SQL Server 2005 -> Инструменты конфигурации -> Конфигурация контактной зоны SQL Server
Добавить нового администратора
Выберите « Член роли SysAdmin в SQL Server на SQLEXPRESS » и добавьте его в правое окно.
Щелкните Ok.
Под каким именем входа вы подключаетесь к SQL Server? Вам необходимо подключиться с учетной записью, которая имеет достаточные права для создания базы данных. Сетевые службы, вероятно, недостаточно хороши, если вы не войдете в SQL Server и не добавите их как учетную запись с достаточными правами.