[F#] 1.9.7 Draft Specification
От: Пельмешко Россия blog
Дата: 09.11.09 15:28
Оценка: 8 (1)
Обновлённый до 1.9.7 сабж доступен здесь: <b>[PDF]</b> <b>[HTML]</b>

Появилось пару строк про equality и comparison constraints
Если кому тема интересна, то настоятельно советую ознакомиться с постом Don Syme'а: Equality and Comparison Constraints in F#
fsharp f# spec
Re: [F#] 1.9.7 Draft Specification
От: deniok Россия  
Дата: 09.11.09 15:44
Оценка:
Здравствуйте, Пельмешко, Вы писали:


П>Появилось пару строк про equality и comparison constraints

П>Если кому тема интересна, то настоятельно советую ознакомиться с постом Don Syme'а: Equality and Comparison Constraints in F#

О, лет через пять, глядишь, полноценные классы типов присобачат
Re[2]: [F#] 1.9.7 Draft Specification
От: Пельмешко Россия blog
Дата: 09.11.09 16:25
Оценка:
Здравствуйте, deniok, Вы писали:

D>О, лет через пять, глядишь, полноценные классы типов присобачат


Ага, исходя из списка зарезервированных для будущего использования keyword'ов можно сделать такой вывод:
atomic    break    checked   component  const     constraint  constructor
continue  eager    event     external   fixed     functor     global
include   method   mixin     object     parallel  process     protected
pure      sealed   tailcall  trait      virtual   volatile

Только не вижу смысла развивать F#-specific расширения системы типов CLI...
Re[3]: [F#] 1.9.7 Draft Specification
От: deniok Россия  
Дата: 09.11.09 16:35
Оценка:
Здравствуйте, Пельмешко, Вы писали:

П>Здравствуйте, deniok, Вы писали:


D>>О, лет через пять, глядишь, полноценные классы типов присобачат


П>Ага, исходя из списка зарезервированных для будущего использования keyword'ов можно сделать такой вывод:

П>
П>atomic    break    checked   component  const     constraint  constructor
П>continue  eager    event     external   fixed     functor     global
П>include   method   mixin     object     parallel  process     protected
П>pure      sealed   tailcall  trait      virtual   volatile
П>

П>Только не вижу смысла развивать F#-specific расширения системы типов CLI...

Там уже столько народу с хаскельным бэкграундом, что с них станется засунуть в .NET рантайм dictionary-passing
Re[4]: [F#] 1.9.7 Draft Specification
От: Пельмешко Россия blog
Дата: 09.11.09 16:43
Оценка:
Здравствуйте, deniok, Вы писали:

D>Там уже столько народу с хаскельным бэкграундом, что с них станется засунуть в .NET рантайм dictionary-passing


Кстати, где-то тут читал про реализацию type classes в хаскеле, про словари...
Найти не могу теперь хоть убейте, может кто подкинет ссылок?
Re[5]: [F#] 1.9.7 Draft Specification
От: deniok Россия  
Дата: 09.11.09 17:06
Оценка: 40 (3)
Здравствуйте, Пельмешко, Вы писали:

П>Кстати, где-то тут читал про реализацию type classes в хаскеле, про словари...

П>Найти не могу теперь хоть убейте, может кто подкинет ссылок?

http://research.microsoft.com/en-us/um/people/simonpj/papers/history-of-haskell/index.htm
раздел 6.1
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.