thedeemon: (office)
[personal profile] thedeemon
Сперва научиться писать на Идрисе, потом на очередной программе столкнуться с технической проблемой из-за сырости компилятора и переписать ее на хаскеле.

Date: 2013-06-09 02:11 am (UTC)
From: [identity profile] vinslivins.livejournal.com
vim!!
уря! буду пробовать вим для хаскеля вместо лексы :)

Date: 2013-06-09 08:20 pm (UTC)
From: [identity profile] dr-cha0s.livejournal.com
Но зачем тут винда?

Date: 2013-06-09 08:21 pm (UTC)
From: [identity profile] dr-cha0s.livejournal.com
Use the force, Luke.
https://github.com/dag/vim2hs

Date: 2013-06-13 12:37 pm (UTC)
From: [identity profile] udpn.livejournal.com
then False else True.

repeat until false.

Date: 2013-06-13 01:42 pm (UTC)
From: [identity profile] thedeemon.livejournal.com
В идрисе списки (и все остальное по умолчанию) строгие, и комбинаторов готовых поменьше, чем в хаскеле. А "перевод" был методом copy-paste.

Date: 2013-06-16 11:08 am (UTC)
From: [identity profile] udpn.livejournal.com
А почему в такой ситуации не подойдёт, например, not?

Даже если его нет в стандартной библиотеке (здесь нет; не там смотрю?), почему бы не добавить not : Bool -> Bool; not False = True; not True = False?
Edited Date: 2013-06-16 11:12 am (UTC)

Date: 2013-06-16 01:01 pm (UTC)
From: [identity profile] thedeemon.livejournal.com
not есть, и он действительно тут годится, можно его вместо if'a поставить.

Profile

thedeemon: (Default)
Dmitry Popov

December 2025

S M T W T F S
 12 3456
789101112 13
14151617181920
21222324252627
28293031   

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 28th, 2026 10:13 pm
Powered by Dreamwidth Studios