Можно ли на Haskell писать ответственные программы (если сам программист ответственный и устраняет ошибки в коде)?

@supmener · Регистрация: 26.06.2013

Author24 — интернет-сервис помощи студентам

Имею в виду, не происходят ли некоторые неявные преобразования автоматически, даже если может произойти потеря точности? Можно ли применять Haskell для программирования в медицине, для программного обеспечения ядерных реакторов, для расчёта маршрутов транспорта (чтобы поезда не столкнулись), для расчета траекторий летательных аппаратов?

@Catstail · 27.11.2019, 15:23

Очень странный вопрос... Уж меньше всего он относится к Haskell с его строгой системой типов. Насколько мне известно, в Haskell вообще не выполняются неявные преобразования, за исключением очевидного Int/Integer -> Double/Float в случае, когда не задана дробная часть. К примеру, 6 преобразуется в 6.0. Но такое преобразование не может привести к потери точности. Обратное преобразование выполняться не будет. Его нужно делать явно. К примеру, есть функция:

Haskell

1 2	f :: Int -> [Int] f x = [x,x,x]

Попытка вызвать ее так

Haskell

f 6.3

приведет к ошибке. Но можно

Haskell

1	f $ round 6.3

Вопрос странен еще и потому, что потеря точности зависит не столько от ЯП, сколько от машинной арифметики. А она зависит от железа.

@supmener · 27.11.2019, 15:47 **[ТС]**

потеря точности зависит не столько от ЯП, сколько от машинной арифметики. А она зависит от железа.

А какое железо лучше?

@Catstail · 27.11.2019, 15:56

Сообщение от supmener

А какое железо лучше?

- если речь о плавающей точке, то чем больше длина мантиссы, тем лучше. У расхожих процессоров проблема короткой мантиссы решается программно (Java - класс BigDecimal, Haskell - тип BigFloat )... Тут я немного сам себе противоречу.

@supmener · 27.11.2019, 16:20 **[ТС]**

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

Правильно ли понял, что чтобы этого не произошло, лучше выбрать Haskell, а не Python или это без разницы?

@Catstail · 27.11.2019, 16:21

Думаю, Вы правы. Haskell в данном случае явно лучше.

@supmener · 27.11.2019, 16:33 **[ТС]**

А какие варианты функциональных языков программирования ещё можно применять для указанных целей? Есть ли у Haskell альтернативы (какие ещё другие языки функционального программирования подойдут), в которых тоже все так хорошо предусмотрено, чтобы не произошло непредвиденных ситуаций?

@Catstail · 27.11.2019, 16:38

Мне кажется, Erlang. Он хорошо протестирован временем.

@supmener · 27.11.2019, 16:49 **[ТС]**

Haskell или Erlang можно размещать на сервере в интернете, чтобы вести диалог с пользователем через браузер или в консоле CMD?

@Catstail · 27.11.2019, 16:55

supmener, можно. Кстати, есть масса онлайн-компиляторов

@supmener · 27.11.2019, 17:41 **[ТС]**

Благодарю. Имел в виду не взаимодействие с программистом, а с пользователем готовой программы. Если знаю html, то нужно ещё изучать javascript, как добавку в браузере к Haskell или Erlang на сервере или его применение может привести к тому, что что то пойдет не так в применении к отраслям, описанных в первом сообщении темы?

Добавлено через 40 минут
Haskell или Erlang, что изучать?

@Curry · 28.11.2019, 04:59

Сообщение от Catstail

за исключением очевидного Int/Integer -> Double/Float в случае, когда не задана дробная часть

То есть числовые литералы приводятся к требуемому типу неявно. (И строковые литералы приводятся к разным типам строк при включении расширения OverloadedStrings, так же, есть приведение списков). В остальных случаях, любое приведение типа только через вызов специальных функций. Даже Float в Double.

Сообщение от supmener

что что то пойдет не так

Готовьтесь что что то всё равно пойдёт не так (закон Мерфи). При использовании любого языка. Но, всё таки, со строго типизированными языками Мерфи реже срабатывает.

Сообщение от supmener

Haskell или Erlang, что изучать?

Haskell

@supmener · 28.11.2019, 07:53 **[ТС]**

А почему Haskell?

@Curry · 28.11.2019, 07:56

Сообщение от supmener

А почему Haskell?

Потому что статически строго типизированный, с развитой системой типов.

@supmener · 28.11.2019, 08:00 **[ТС]**

А почему Catstail думал, что Erlang подойдёт?

@Curry · 28.11.2019, 08:06

Сообщение от supmener

А почему Catstail думал, что Erlang подойдёт?

Подойдёт. Статическая типизация не абсолютное требование. И ещё туча языков подойдёт.

@supmener · 28.11.2019, 08:11 **[ТС]**

Это какие ещё языки другие?

@Curry · 28.11.2019, 08:17

Сообщение от supmener

Это какие ещё языки другие?

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

@supmener · 28.11.2019, 08:45 **[ТС]**

Имел в виду, какие другие языки функционального программирования подойдут?

@Curry · 28.11.2019, 15:14

OCaml,F#

@Catstail Модератор 36578 / 20308 / 4218 Регистрация: 12.02.2012 Сообщений: 33,605 Записей в блоге: 13
	27.11.2019, 16:55	10
	supmener, можно. Кстати, есть масса онлайн-компиляторов 0

@Curry Модератор 5046 / 3275 / 526 Регистрация: 01.06.2013 Сообщений: 6,802 Записей в блоге: 9
	28.11.2019, 04:59	12
	Сообщение от Catstail за исключением очевидного Int/Integer -> Double/Float в случае, когда не задана дробная часть То есть числовые литералы приводятся к требуемому типу неявно. (И строковые литералы приводятся к разным типам строк при включении расширения OverloadedStrings, так же, есть приведение списков). В остальных случаях, любое приведение типа только через вызов специальных функций. Даже Float в Double. Сообщение от supmener что что то пойдет не так Готовьтесь что что то всё равно пойдёт не так (закон Мерфи). При использовании любого языка. Но, всё таки, со строго типизированными языками Мерфи реже срабатывает. Сообщение от supmener Haskell или Erlang, что изучать? Haskell 2

@Curry Модератор 5046 / 3275 / 526 Регистрация: 01.06.2013 Сообщений: 6,802 Записей в блоге: 9
	28.11.2019, 08:17	18
	Сообщение от supmener Это какие ещё языки другие? На главной странице киберфорума много разделов по разным языкам, большинство подойдут. 0

@supmener -207 / 93 / 14 Регистрация: 26.06.2013 Сообщений: 4,604
		1
	Можно ли на Haskell писать ответственные программы (если сам программист ответственный и устраняет ошибки в коде)? 27.11.2019, 14:56. Показов 1468. Ответов 21 Метки нет (Все метки) Имею в виду, не происходят ли некоторые неявные преобразования автоматически, даже если может произойти потеря точности? Можно ли применять Haskell для программирования в медицине, для программного обеспечения ядерных реакторов, для расчёта маршрутов транспорта (чтобы поезда не столкнулись), для расчета траекторий летательных аппаратов? 0

@supmener -207 / 93 / 14 Регистрация: 26.06.2013 Сообщений: 4,604
	27.11.2019, 15:47 [ТС]	3
	потеря точности зависит не столько от ЯП, сколько от машинной арифметики. А она зависит от железа. А какое железо лучше? 0

@Catstail Модератор 36578 / 20308 / 4218 Регистрация: 12.02.2012 Сообщений: 33,605 Записей в блоге: 13
	27.11.2019, 15:56	4
	Сообщение от supmener А какое железо лучше? - если речь о плавающей точке, то чем больше длина мантиссы, тем лучше. У расхожих процессоров проблема короткой мантиссы решается программно (Java - класс BigDecimal, Haskell - тип BigFloat )... Тут я немного сам себе противоречу. 1

@supmener -207 / 93 / 14 Регистрация: 26.06.2013 Сообщений: 4,604
	27.11.2019, 16:20 [ТС]	5
	Не имел в виду точность вычисления цифровых значений, а возможность появления ошибок, из-за которых что то пойдёт не так. Реактор перейдёт на не запроектированный режим, диагностический алгоритм в медицине перейдёт на соседнюю ветку и не то продиагностирует, поезд пойдет не по своему маршруту, ракета улетит не туда. Правильно ли понял, что чтобы этого не произошло, лучше выбрать Haskell, а не Python или это без разницы? 0

@Catstail Модератор 36578 / 20308 / 4218 Регистрация: 12.02.2012 Сообщений: 33,605 Записей в блоге: 13
	27.11.2019, 16:21	6
	Думаю, Вы правы. Haskell в данном случае явно лучше. 0

@supmener -207 / 93 / 14 Регистрация: 26.06.2013 Сообщений: 4,604
	27.11.2019, 16:33 [ТС]	7
	А какие варианты функциональных языков программирования ещё можно применять для указанных целей? Есть ли у Haskell альтернативы (какие ещё другие языки функционального программирования подойдут), в которых тоже все так хорошо предусмотрено, чтобы не произошло непредвиденных ситуаций? 0

@Catstail Модератор 36578 / 20308 / 4218 Регистрация: 12.02.2012 Сообщений: 33,605 Записей в блоге: 13
	27.11.2019, 16:38	8
	Мне кажется, Erlang. Он хорошо протестирован временем. 0

@supmener -207 / 93 / 14 Регистрация: 26.06.2013 Сообщений: 4,604
	27.11.2019, 16:49 [ТС]	9
	Haskell или Erlang можно размещать на сервере в интернете, чтобы вести диалог с пользователем через браузер или в консоле CMD? 0

@supmener -207 / 93 / 14 Регистрация: 26.06.2013 Сообщений: 4,604
	27.11.2019, 17:41 [ТС]	11
	Благодарю. Имел в виду не взаимодействие с программистом, а с пользователем готовой программы. Если знаю html, то нужно ещё изучать javascript, как добавку в браузере к Haskell или Erlang на сервере или его применение может привести к тому, что что то пойдет не так в применении к отраслям, описанных в первом сообщении темы? Добавлено через 40 минут Haskell или Erlang, что изучать? 0

@supmener -207 / 93 / 14 Регистрация: 26.06.2013 Сообщений: 4,604
	28.11.2019, 07:53 [ТС]	13
	А почему Haskell? 0

	28.11.2019, 15:14

@Curry Модератор 5046 / 3275 / 526 Регистрация: 01.06.2013 Сообщений: 6,802 Записей в блоге: 9
	28.11.2019, 07:56	14
	Сообщение от supmener А почему Haskell? Потому что статически строго типизированный, с развитой системой типов. 1

@supmener -207 / 93 / 14 Регистрация: 26.06.2013 Сообщений: 4,604
	28.11.2019, 08:00 [ТС]	15
	А почему Catstail думал, что Erlang подойдёт? 0

@Curry Модератор 5046 / 3275 / 526 Регистрация: 01.06.2013 Сообщений: 6,802 Записей в блоге: 9
	28.11.2019, 08:06	16
	Сообщение от supmener А почему Catstail думал, что Erlang подойдёт? Подойдёт. Статическая типизация не абсолютное требование. И ещё туча языков подойдёт. 1

@supmener -207 / 93 / 14 Регистрация: 26.06.2013 Сообщений: 4,604
	28.11.2019, 08:11 [ТС]	17
	Это какие ещё языки другие? 0

@supmener -207 / 93 / 14 Регистрация: 26.06.2013 Сообщений: 4,604
	28.11.2019, 08:45 [ТС]	19
	Имел в виду, какие другие языки функционального программирования подойдут? 0

@Curry Модератор 5046 / 3275 / 526 Регистрация: 01.06.2013 Сообщений: 6,802 Записей в блоге: 9
	28.11.2019, 15:14	20
	OCaml,F# 1