История изменений
Исправление AndreyKl, (текущая версия) :
в агде/идрисе ещё более «навороченная» система типов чем в хаскеле. при этом туториалов по «полному стеку»* на агду/идрис исчезающе мало (я бы сказал ровно 0). Кроме того, не совсем понятно пока как именно исползовать наработанные в хаскеле абстракции с новой системой типов (многое, похоже, работает, но многое остаётся сомнительным). В целом, предполагается, что взявшийся за агду/идрис владеет хаскелем на уровне «опытный программист».
Чтобы понять систему типов агды /идрс можно прочитать вот эту книгу https://www.manning.com/books/type-driven-development-with-idris . Её в целом достаточно. Или же вот тут есть курс Брагилевского (10 лекций) , для хорошего обзора достаточно https://www.youtube.com/watch?v=QoglUkN8d08&list=PLEqoHzpnmTfD8ocGHDAMUfx... . Но повторюсь, это лишь синтаксис и система типов. Ещё нужно уметь работать с идиоматическими абстракциями, а туториалы, учебники, книги и статьи про это доступны пока лишь на хаскеле.
*Под «полным стеком» я здесь имею ввиду не только синтаксис языка, но и то как применяются идиоматические абстракции. т.е. для примера для явы это были бы туториалы по паттернам вроде фабрик, синглтонов, декораторов и прочей ООП-обвязки).
Исправление AndreyKl, :
в агде/идрисе ещё более «навороченная» система типов чем в хаскеле. при этом туториалов по «полному стеку»* на агду/идрис исчезающе мало (я бы сказал ровно 0). Кроме того, не совсем понятно пока как именно исползовать наработанные в хаскеле абстракции с новой системой типов (многое, похоже, работает, но многое остаётся сомнительным). В целом, предполагается, что взявшийся за агду/идрис владеет хаскелем на уровне «опытный программист».
Чтобы понять систему типов агды /идрс можно прочитать вот эту книгу https://www.manning.com/books/type-driven-development-with-idris . Её в целом достаточно. Или же вот тут есть курс Брагилевского (10 лекций) , для хорошего обзора достаточно https://www.youtube.com/watch?v=QoglUkN8d08&list=PLEqoHzpnmTfD8ocGHDAMUfx... . Но повторюсь, это лишь синтаксис и система типов. Ещё нужно уметь работать с идиоматическими абстракциями, а туториалы, учебники, книги и статьи про это доступны пока лишь на хаскеле.
*Под «полным стеком» я здесь имею ввиду не только синтаксис языка, но и то как применяются идиоматические абстракции. т.е. для примера для явы это были бы туториалы по паттернам вроде фабрик, синглтонов, декораторов и прочей ООП-обвязки).
Исправление AndreyKl, :
в агде/идрисе ещё более «навороченная» система типов чем в хаскеле. при этом туториалов по «полному стеку»* на агду/идрис исчезающе мало (я бы сказал ровно 0). Кроме того, не совсем понятно (пока) как исползовать наработанные в хаскеле абстракции с новой системой типов (многое, похоже, работает, но многое остаётся сомнительным). В целом, предполагается, что взявшийся за агду/идрис владеет хаскелем на уровне «опытный программист».
Чтобы понять систему типов агды /идрс можно прочитать вот эту книгу https://www.manning.com/books/type-driven-development-with-idris . Её в целом достаточно. Или же вот тут есть курс Брагилевского (10 лекций) , для хорошего обзора достаточно https://www.youtube.com/watch?v=QoglUkN8d08&list=PLEqoHzpnmTfD8ocGHDAMUfx... . Но повторюсь, это лишь синтаксис и система типов. Ещё нужно уметь работать с идиоматическими абстракциями, а туториалы, учебники, книги и статьи про это доступны пока лишь на хаскеле.
*Под «полным стеком» я здесь имею ввиду не только синтаксис языка, но и то как применяются идиоматические абстракции. т.е. для примера для явы это были бы туториалы по паттернам вроде фабрик, синглтонов, декораторов и прочей ООП-обвязки).
Исправление AndreyKl, :
в агде/идрисе ещё более «навороченная» система типов чем в хаскеле. при этом туториалов по «полному стеку»* на агду/идрис исчезающе мало (я бы сказал ровно 0). Кроме того, не совсем понятно (пока) как исползовать наработанные в хаскеле абстракции с новой системой типов (многое, похоже, работает, но многое остаётся сомнительным). В целом, предполагается, что взявшийся за агду/идрис владеет хаскелем на уровне «опытный программист».
Чтобы понять систему типов агды /идрс можно прочитать вот эту книгу https://www.manning.com/books/type-driven-development-with-idris . Её в целом достаточно. Или же вот тут есть курс Брагилевского (10 лекций) , для хорошего обзора достаточно https://www.youtube.com/watch?v=QoglUkN8d08&list=PLEqoHzpnmTfD8ocGHDAMUfx... . Но повторюсь, это лишь синтаксис и система типов. Ещё нужно уметь работать с идиоматическими абстракциями, а туториалы, учебники, книги и статьи про это доступны только на хаскеле (пока).
*Под «полным стеком» я здесь имею ввиду не только синтаксис языка, но и то как применяются идиоматические абстракции. т.е. для примера для явы это были бы туториалы по паттернам вроде фабрик, синглтонов, декораторов и прочей ООП-обвязки).
Исправление AndreyKl, :
в агде/идрисе ещё более «навороченная» система типов чем в хаскеле. при этом туториалов по «полному стеку»* на агду/идрис исчезающе мало (я бы сказал ровно 0). Кроме того, не совсем понятно (пока) как исползовать наработанные в хаскеле абстракции с новой системой типов (многое, похоже, работает, но многое остаётся сомнительным). В целом, предполагается, что взявшийся за агду/идрис владеет хаскелем на уровне «опытный программист».
Чтобы понять систему типов агды /идрс можно прочитать вот эту книгу https://www.manning.com/books/type-driven-development-with-idris . Её в целом достаточно. Или же вот тут есть курс брагилевского, для хорошего обзора достаточно (10 лекций) https://www.youtube.com/watch?v=QoglUkN8d08&list=PLEqoHzpnmTfD8ocGHDAMUfx... . Но повторюсь, это лишь синтаксис и система типов. Ещё нужно уметь работать с идиоматическими абстракциями, а туториалы, учебники, книги и статьи про это доступны только на хаскеле (пока).
*Под «полным стеком» я здесь имею ввиду не только синтаксис языка, но и то как применяются идиоматические абстракции. т.е. для примера для явы это были бы туториалы по паттернам вроде фабрик, синглтонов, декораторов и прочей ООП-обвязки).
Исходная версия AndreyKl, :
в агде/идрисе ещё более «навороченная» система типов чем в хаскеле. при этом туториалов по «полному стеку»* на агду/идрис исчезающе мало (я бы сказал ровно 0). Кроме того, не совсем понятно (пока) как исползовать наработанные в хаскеле абстракции с новой системой типов (многое, похоже, работает, но многое остаётся сомнительным). В целом, предполагается, что взявшийся за агду/идрис владеет хаскелем на уровне «если не полубог, то герой точно».
Чтобы понять систему типов агды /идрс можно прочитать вот эту книгу https://www.manning.com/books/type-driven-development-with-idris . Её в целом достаточно. Но повторюсь, это лишь синтаксис и система типов. Ещё нужно уметь работать с идиоматическими абстракциями, а туториалы, учебники, книги и статьи про это доступны только на хаскеле (пока).
*Под «полным стеком» я здесь имею ввиду не только синтаксис языка, но и то как применяются идиоматические абстракции. т.е. для примера для явы это были бы туториалы по паттернам вроде фабрик, синглтонов, декораторов и прочей ООП-обвязки).