| OberonCore https://forum.oberoncore.ru/ |
|
| Хаскелл - хорошо типизированный язык https://forum.oberoncore.ru/viewtopic.php?f=72&t=1718 |
Страница 1 из 1 |
| Автор: | Geniepro [ Среда, 15 Июль, 2009 12:42 ] |
| Заголовок сообщения: | Хаскелл - хорошо типизированный язык |
Модератор: перенесено. Инициирующее сообщение viewtopic.php?p=31945#p31945 В хорошо типизированных языках многие ошибки в логике алгоритмов приведут к ошибкам типизации, которые отлавливаются компиляторам. про такие языки, как Хаскелл, часто говорят, что если уж программа скомпилировалась, то скорее всего в ней нет ошибок... |
|
| Автор: | Info21 [ Среда, 15 Июль, 2009 20:58 ] |
| Заголовок сообщения: | Re: Хаскелл - хорошо типизированный язык |
Geniepro писал(а): Модератор: перенесено. Инициирующее сообщение viewtopic.php?p=31945#p31945 ... или такая одна, от которой на 10 кг похудеешь, и поседеешь притом.
В хорошо типизированных языках многие ошибки в логике алгоритмов приведут к ошибкам типизации, которые отлавливаются компиляторам. про такие языки, как Хаскелл, часто говорят, что если уж программа скомпилировалась, то скорее всего в ней нет ошибок... |
|
| Автор: | Alexey Veselovsky [ Четверг, 16 Июль, 2009 11:27 ] |
| Заголовок сообщения: | Re: Хаскелл - хорошо типизированный язык |
Info21 писал(а): Geniepro писал(а): Модератор: перенесено. Инициирующее сообщение viewtopic.php?p=31945#p31945 ... или такая одна, от которой на 10 кг похудеешь, и поседеешь притом.В хорошо типизированных языках многие ошибки в логике алгоритмов приведут к ошибкам типизации, которые отлавливаются компиляторам. про такие языки, как Хаскелл, часто говорят, что если уж программа скомпилировалась, то скорее всего в ней нет ошибок... Обоснуйте пожалуйста. |
|
| Автор: | Geniepro [ Четверг, 16 Июль, 2009 12:11 ] |
| Заголовок сообщения: | Re: Хаскелл - хорошо типизированный язык |
Info21 писал(а): или такая одна, от которой на 10 кг похудеешь, и поседеешь притом. Эта проблема достаточно редка, что бы можно было её игнорировать...
|
|
| Автор: | Alexey Veselovsky [ Понедельник, 17 Август, 2009 17:28 ] |
| Заголовок сообщения: | Re: Хаскелл - хорошо типизированный язык |
Кстати, а можно в хаскеле построить такую систему типов, чтобы скажем у нас Н (ньютон) = кг*м/с^2 ? С соответствующим выводом типов в выражениях. Т.е. что-бы: Код: force :: Kg->Acs->N force m a = m/a Радостно выдало ошибку типизации на этапе компиляции. Т.е. работа с размерностями. |
|
| Автор: | Info21 [ Понедельник, 17 Август, 2009 18:01 ] |
| Заголовок сообщения: | Re: Хаскелл - хорошо типизированный язык |
Geniepro писал(а): Info21 писал(а): или такая одна, от которой на 10 кг похудеешь, и поседеешь притом. Эта проблема достаточно редка, что бы можно было её игнорировать... |
|
| Автор: | Vlad [ Понедельник, 17 Август, 2009 21:11 ] |
| Заголовок сообщения: | Re: Хаскелл - хорошо типизированный язык |
Alexey Veselovsky писал(а): Кстати, а можно в хаскеле построить такую систему типов, чтобы скажем у нас Н (ньютон) = кг*м/с^2 ? С соответствующим выводом типов в выражениях. Такое даже на C++ можно  А учитывая то, что хаскель это правильный C++, то и на хаскеле можно 
|
|
| Автор: | Alexey Veselovsky [ Понедельник, 17 Август, 2009 22:16 ] |
| Заголовок сообщения: | Re: Хаскелл - хорошо типизированный язык |
Ну, как реализовать это на С++ я знаю, а с какой стороны зайти к этой задаче на хаскеле пока не знаю. |
|
| Автор: | Geniepro [ Вторник, 18 Август, 2009 08:14 ] |
| Заголовок сообщения: | Re: Хаскелл - хорошо типизированный язык |
Alexey Veselovsky писал(а): Кстати, а можно в хаскеле построить такую систему типов, чтобы скажем у нас Н (ньютон) = кг*м/с^2 ? С соответствующим выводом типов в выражениях. ... Т.е. работа с размерностями. Есть такая библиотека: dimensional: Statically checked physical dimensions Я как-то баловался, делал что-то подобное, но до такого уровня не дошёл... |
|
| Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
| Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |
|