Archives/learnhaskell
2
0
Fork 0
mirror of https://github.com/bitemyapp/learnhaskell.git synced 2024-11-03 23:15:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

Wrong translation of Clean PL and terminology

Browse Source
This commit is contained in:
Гриша Герасев 2019-06-06 13:52:56 +03:00 committed by GitHub
parent fb00c5405a
commit fdcf1b884c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
guide-ru.md
View File

@ -399,7 +399,7 @@ let a = 1 * a -- not guarded, (*) is strict
> Интересное замечание: GHC должен скрывать отображение токена статуса
> абстрактного типа IO, потому что токен статуса должен все время быть использован
> линейно (не быть дуплицирован или сброшен), но система типов не может принудительно
> этого делать. Понятно, что другой ленивый подобный Haskell язык, имеет уникальные типы
> этого делать. Clean, другой ленивый подобный Haskell язык, имеет типы, гарантирующие уникальность
> (которые подобны линейным типам и возможно отличаются, но я не знаю как), и они разкрывают
> передачу в Мир напрямую и предоставляют (не абстрактную) IO монаду только для соблюдения соглашения.