Рабочий момент, Agda
Nov. 29th, 2012 08:54 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
deniokЧто-то у меня хаскелевский импорт вот так работает
. Хотя у Норелла в Dependently Typed Programming in Agda список импорта в примере используется.
Agda 2.3.0.1 под Windows. Посмотрите у кого более свежая (2.3.2) и/или другая OS.
{-# IMPORT System.IO #-}
а вот так ломается
{-# IMPORT System.IO (hPutStrLn) #-}
говоря Parse error (hPutStrLn)
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2012-11-29 06:07 pm (UTC)Ну, я предпочитаю наоборот — экспортировать в хаскель и там склеивать получившийся код.
Думаю, что на будущее, будет правильнее агдочкой описать подмножество хаскеля, типа "core"... Там для этого есть достаточно средств в помощь, чтобы не делать это полностью самому, а только контролировать трансляцию.
no subject
Date: 2012-11-29 06:44 pm (UTC)no subject
Date: 2012-11-29 06:24 pm (UTC)http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.ForeignFunctionInterface
ничего не сказано про (hPutStrLn) ивсётакое.
Можно ж и так импортировать, а играться на уровне модулей, они у агдочки прикольные.
no subject
Date: 2012-11-29 06:39 pm (UTC)no subject
Date: 2012-11-29 09:51 pm (UTC)no subject
Date: 2012-11-29 09:58 pm (UTC)С молодым языком возиться приятно, пока стандарта и большой кодебазы нет, можно дать отмереть не очень нужным решениям.
no subject
Date: 2012-11-30 07:49 am (UTC)Мне так видится, что сейчас агдочка более развита, чем хаскель в 97 году.
no subject
Date: 2012-11-30 08:39 am (UTC)no subject
Date: 2012-11-30 08:44 am (UTC)Но задумался — а ведь агдочка-то более простой язык, чем хацкель...
no subject
Date: 2012-11-30 12:39 pm (UTC)8-) КАК?!
no subject
Date: 2012-11-30 12:21 pm (UTC)no subject
Date: 2012-11-30 12:54 pm (UTC)Хотя и соглашусь, что он меняется сейчас меньше.
no subject
Date: 2012-11-30 12:15 pm (UTC)Сейчас что-то изменилось?
no subject
Date: 2012-11-30 12:30 pm (UTC)А вы связывались с Нореллом по этому поводу?
no subject
Date: 2012-11-30 12:56 pm (UTC)no subject
Date: 2012-11-30 01:07 pm (UTC)no subject
Date: 2012-11-29 11:12 pm (UTC)Ведь есть же ИО и всякое такое (ну с коробки в смысле).
no subject
Date: 2012-11-30 05:40 am (UTC)