Новости
Пользователь
Вам необходимо выполнить
Вход
либо
Регистрация
для просмотра ссылок!
Статически типизированные языки обычно вынуждают писать типы переменных по любому поводу. Но уже далеко не всегда: теория и практика языков программирования значительно ушли вперед, просто эти достижения не сразу принимаются индустрией. Сегодня мы рассмотрим язык OCaml и увидим, что статическая типизация необязательно связана с неудобствами.
Вам необходимо выполнить
Вход
либо
Регистрация
для просмотра ссылок!