Сообщение Re[23]: Опциональные типы от 05.03.2017 7:06
Изменено 05.03.2017 7:30 vdimas
Re[23]: Опциональные типы
Здравствуйте, WolfHound, Вы писали:
WH>>>Код на хаскеле который читает с консоли число и создаёт вектор тип которого зависит этого числа в студию.
DM>>Извините, что встреваю в вашу цивилизованную ученую дискуссию, но такой код как раз несложно пишется:
WH>1)Ты очень вольно интерпретируешь слово зависит.
Отмазки.
Требовалось показать порождение потенциально-бесконечного кол-ва типов, которыми можно оперировать в рантайм.
Ты не верил именно в это, т.е. НЕ понимал системы типов Хаскеля.
WH>Тип Vec не параметризуется терминалом. А значит зависимым не является просто по определению.
Учись читать код.
WH>2)Попробуй вернуть этот вектор в функцию main таким образом, чтобы тип сохранился.
Тебе уже ДО демонстрации кода сказали, как "вернуть" прочитанное значение в Хаскеле — через полиморфный колбэк.
В примере этот колбэк показан — это toList.
toList параметризуется неким n, значение которого зависит от терминала.
Т.е., любому n ставится в соответствие уникальное натуральное число, потенциально не ограниченное.
ЧТД.
WH>>>Код на хаскеле который читает с консоли число и создаёт вектор тип которого зависит этого числа в студию.
DM>>Извините, что встреваю в вашу цивилизованную ученую дискуссию, но такой код как раз несложно пишется:
WH>1)Ты очень вольно интерпретируешь слово зависит.
Отмазки.
Требовалось показать порождение потенциально-бесконечного кол-ва типов, которыми можно оперировать в рантайм.
Ты не верил именно в это, т.е. НЕ понимал системы типов Хаскеля.
WH>Тип Vec не параметризуется терминалом. А значит зависимым не является просто по определению.
Учись читать код.
WH>2)Попробуй вернуть этот вектор в функцию main таким образом, чтобы тип сохранился.
Тебе уже ДО демонстрации кода сказали, как "вернуть" прочитанное значение в Хаскеле — через полиморфный колбэк.
В примере этот колбэк показан — это toList.
toList параметризуется неким n, значение которого зависит от терминала.
Т.е., любому n ставится в соответствие уникальное натуральное число, потенциально не ограниченное.
ЧТД.
Re[23]: Опциональные типы
Здравствуйте, WolfHound, Вы писали:
WH>>>Код на хаскеле который читает с консоли число и создаёт вектор тип которого зависит этого числа в студию.
DM>>Извините, что встреваю в вашу цивилизованную ученую дискуссию, но такой код как раз несложно пишется:
WH>1)Ты очень вольно интерпретируешь слово зависит.
Отмазки.
Требовалось показать порождение потенциально-бесконечного кол-ва типов, которыми можно оперировать в рантайм.
Ты не верил именно в это, т.е. НЕ понимал системы типов Хаскеля.
WH>Тип Vec не параметризуется терминалом. А значит зависимым не является просто по определению.
Учись читать код.
WH>2)Попробуй вернуть этот вектор в функцию main таким образом, чтобы тип сохранился.
Тебе уже ДО демонстрации кода сказали, как "вернуть" прочитанное значение в Хаскеле — через полиморфный колбэк.
В примере этот колбэк показан — это toList.
toList параметризуется неким n, значение которого зависит от терминала.
Т.е., любому типу n ставится в соответствие уникальное натуральное число, потенциально не ограниченное.
ЧТД.
WH>>>Код на хаскеле который читает с консоли число и создаёт вектор тип которого зависит этого числа в студию.
DM>>Извините, что встреваю в вашу цивилизованную ученую дискуссию, но такой код как раз несложно пишется:
WH>1)Ты очень вольно интерпретируешь слово зависит.
Отмазки.
Требовалось показать порождение потенциально-бесконечного кол-ва типов, которыми можно оперировать в рантайм.
Ты не верил именно в это, т.е. НЕ понимал системы типов Хаскеля.
WH>Тип Vec не параметризуется терминалом. А значит зависимым не является просто по определению.
Учись читать код.
WH>2)Попробуй вернуть этот вектор в функцию main таким образом, чтобы тип сохранился.
Тебе уже ДО демонстрации кода сказали, как "вернуть" прочитанное значение в Хаскеле — через полиморфный колбэк.
В примере этот колбэк показан — это toList.
toList параметризуется неким n, значение которого зависит от терминала.
Т.е., любому типу n ставится в соответствие уникальное натуральное число, потенциально не ограниченное.
ЧТД.