Сообщение Верно ли, что Haskell это декларативное программирование? от 06.11.2022 9:05
Изменено 06.11.2022 9:13 Эйнсток Файр
Верно ли, что Haskell это декларативное программирование?
Не думаю так, думаю что декларативное программирование это другое.
Для начала, декларативное программирование — это обобщённая категория,
к ней можно и HTML с CSS (или без) отнести, и SQL, и DSL, и мало ли что ещё.
А Haskell вполне себе конкретный язык, тулчейн и целая экосистема (и ещё теория этих лямбд с выходом на доказательства корректности).
Декларативность у Haskell это только одно частное свойство из совокупности всех его положительных свойств.
А что думаете вы? Пишите.
Для начала, декларативное программирование — это обобщённая категория,
к ней можно и HTML с CSS (или без) отнести, и SQL, и DSL, и мало ли что ещё.
А Haskell вполне себе конкретный язык, тулчейн и целая экосистема (и ещё теория этих лямбд с выходом на доказательства корректности).
Декларативность у Haskell это только одно частное свойство из совокупности всех его положительных свойств.
А что думаете вы? Пишите.
Верно ли, что Haskell это декларативное программирование?
Не думаю так, думаю что декларативное программирование это другое.
Для начала, декларативное программирование — это обобщённая категория,
к ней можно и HTML с CSS (или без) отнести, и SQL, и DSL, и мало ли что ещё.
А Haskell вполне себе конкретный язык, тулчейн и целая экосистема (и ещё теория этих лямбд с выходом на доказательства корректности).
Декларативность у Haskell это только одно частное свойство из совокупности всех его положительных качеств.
А что думаете вы? Пишите.
Для начала, декларативное программирование — это обобщённая категория,
к ней можно и HTML с CSS (или без) отнести, и SQL, и DSL, и мало ли что ещё.
А Haskell вполне себе конкретный язык, тулчейн и целая экосистема (и ещё теория этих лямбд с выходом на доказательства корректности).
Декларативность у Haskell это только одно частное свойство из совокупности всех его положительных качеств.
А что думаете вы? Пишите.