juan_gandhi: (Default)
Juan-Carlos Gandhi ([personal profile] juan_gandhi) wrote2012-06-26 09:42 pm

пара глуповатых вопросов

Я тут на венде два дня рассекал - нотепад, бат-файлы, вся эта безумная дурь, не изменившаяся этак с 86-го года.

Так вот.

А что, не мог бы кто-нибудь сделать sh.exe, без диэлэлек и без директорий с библиотеками, чтобы она делала обыкновенные простые вещи, как мы в нормальных машинах делаем?

Ну если такой нету, то на хаскеле написать да скомпилировать в exe, это ведь не сложно? Только чтобы одним файлом, без роя этих диэлелек, библиотек, кабалистики всякой.

И кстати, хаскельщики, а что, вы ведь обычно не на хаскеле "в миру" пишете, а на си, да? А чо? Ведь хаскель же хороший язык.

Ведь уже же 2012-й год на борту, уже у майя календарь кончился, а Германа всё нет.
a_p: (Default)

[personal profile] a_p 2012-06-27 04:54 am (UTC)(link)
mks toolkit?

[identity profile] cema.livejournal.com 2012-06-27 05:51 am (UTC)(link)
Ее в последних версиях включили в mingw. Но dll'ьки она, кстати, требует (хотя, видимо, не в том смысле, в котором жаловался [livejournal.com profile] ivan_gandhi).

[identity profile] iron-bug.livejournal.com 2012-06-27 06:16 am (UTC)(link)
по-моему, она у них лежит отдельно в каталогах там и не требует, собственно, mingw. она идёт как дополнение к нему, чтобы скрипты сборки не патчить.
а так, это просто юниксоподобная оболочка, лёгкая, но довольно работоспособная. под любой вендой работает без проблем.

[identity profile] cema.livejournal.com 2012-06-27 03:13 pm (UTC)(link)
Ну это bash, собственно.

Я на все машины (домашние и рабочие), где windows, ставлю (текущую стандартную конфигурацию) mingw, но сейчас я на маке, а идти смотреть на windows мне лень. :-) Да, вся система легкая, тем более ее отдельные компоненты. Не чета cygwin.

[identity profile] elizarov.livejournal.com 2012-06-27 09:17 am (UTC)(link)
+1. Тоже хотел спросить чем msys/mingw не устраивает? Там не только sh.exe но и всё-всё что может потребоваться программисту (bash, awk, grep, gzip, и т.п. и т.п.). В общем, весь GNU-шный набор.

[identity profile] iron-bug.livejournal.com 2012-06-27 10:28 am (UTC)(link)
ну я вот под ним и сижу на венде. ибо ДОС меня не устраивает по многим причинам :)
в принципе, всё работает как под линём, проблем не ощущается. плюс ещё вся структура (/etc,/home и т.п.) имеется, что тоже есть плюс к привычке работы под никсами.

UnixUtils?

[identity profile] freedom_of_sea.livejournal.com 2012-06-27 05:04 am (UTC)(link)
busybox?

[identity profile] anton-solovyev.livejournal.com 2012-06-27 05:05 am (UTC)(link)
Я часто завожу троллизм по сведению с ума любителей Windows с замечания о том, что с практической точки зрения, это все тот же образца середины 80-х MS DOS. Ну действительно, запустили там окно с так называемым "шеллом" cmd.exe и видим все тот же посконный ДОС. Семантика FS, файлы, диски, sharing violations, недоделанные пайпы -- ДОС и дос.

[identity profile] cema.livejournal.com 2012-06-27 05:50 am (UTC)(link)
Все-таки PowerShell уже другое дело.

[identity profile] lev.livejournal.com 2012-06-27 06:29 pm (UTC)(link)
у powershell хватает своих проблем.

[identity profile] dmzlj.livejournal.com 2012-06-27 05:06 am (UTC)(link)
Если писать на хаскелле, то все равно будет зависимость от libgmp.so или ее аналога под виндой. Написать несложно, т.к есть Shellac: A framework for creating shell envinronments.

Впрочем, есть уже какой-то

 Hashell
    Synopsis: Simple shell written in Haskell
    Default available version: 1.0
    Installed versions: [ Unknown ]
    License:  GPL


А откуда мысль, что хаскельшики пишут на Си? Один хаскельщик, которого многие знают, вроде бы писал "в миру" на C#, а теперь вроде перешел на Хаскель.






[identity profile] thesz.livejournal.com 2012-06-27 09:05 am (UTC)(link)
>Один хаскельщик, которого многие знают, вроде бы писал "в миру" на C#, а теперь вроде перешел на Хаскель.

Это, судя по всему, про меня.

По приходу в контору, в которой я писал на C#, первое, что я сделал, это написал транслятор VHDL в нетлисты и оптимизатор нетлистов, оба на Хаскеле. До этого я писал на Хаскеле для создания железа, и тд, и тп.

[identity profile] dmzlj.livejournal.com 2012-06-27 09:14 am (UTC)(link)
ну я не хотел сильно углубляться в подробности. я вот, например, всё вкусное раздал остальным, а сам пишу на Си, потому что больше некому. Т.е подколка автора топика как бы даже по делу в моём случае. При этом у нас писали и на хаскелле тоже
Edited 2012-06-27 09:15 (UTC)

[identity profile] thesz.livejournal.com 2012-06-27 09:55 am (UTC)(link)
Сейчас у меня ровно то же самое. Я пишу самое неинтересное. ;)

[identity profile] nponeccop.livejournal.com 2012-06-27 09:32 am (UTC)(link)
> А откуда мысль, что хаскельшики пишут на Си?

Я, например, писал на Си.

[identity profile] dmzlj.livejournal.com 2012-06-27 09:40 am (UTC)(link)
ну я и сам могу в этом сознаться. но говорят, что на самом деле все мужчины нет-нет да и попишут на Си, пускай некоторые в этом никогда не признаются

[identity profile] nivanych.livejournal.com 2012-06-27 01:05 pm (UTC)(link)
Настоящий мужчина признается!

[identity profile] http://users.livejournal.com/_navi_/ 2012-07-06 06:25 am (UTC)(link)
а статически слинковать — не?
Edited 2012-07-06 06:25 (UTC)

[identity profile] dmzlj.livejournal.com 2012-07-06 06:55 am (UTC)(link)
по моему, именно для этой библиотеки это нарушение лицензии. в общем, эту библиотеку линкует сам компилятор и подлинковать ёё статически --- это проблема на текущий момент.

[identity profile] http://users.livejournal.com/_navi_/ 2012-07-06 07:25 am (UTC)(link)
Ну это только если это продукт, который собираешься отдавать и без исходников/под более ограничивающей лицензией. А так используй на здоровье ведь, не?

[identity profile] archaicos.livejournal.com 2012-06-27 05:08 am (UTC)(link)
Дык Windows Shell - это нынче PowerShell. В 7-ке есть.

[identity profile] fatoff.livejournal.com 2012-06-27 05:11 am (UTC)(link)
Почему беспокоят .DLL не очень ясно...
Чего-чего а динамических библиотек .so в Linux тоже сколько хочешь.

Самая распространённая Shell для Windows: http://www.cygwin.com/ А, вон оно что, на этой странице что-то про DLL написано, но это не должно сильно волновать.

Можно пойти сразу сюда: http://www.cygwin.com/install.html
Edited 2012-06-27 05:15 (UTC)

[identity profile] nponeccop.livejournal.com 2012-06-27 05:39 am (UTC)(link)
ох. Cygwin это адов ад.

[identity profile] maxim.livejournal.com 2012-06-27 08:02 am (UTC)(link)
cygwin ад, переходите на msys

[identity profile] dimpas.livejournal.com 2012-06-27 05:10 pm (UTC)(link)
только вот msys и половины того, что cygwin может, не умеет...

[identity profile] maxim.livejournal.com 2012-06-27 05:41 pm (UTC)(link)
если нужно больше чем гит и хаскель то уже линукс тогда че мучаться

[identity profile] fatoff.livejournal.com 2012-06-27 05:06 pm (UTC)(link)
У меня сейчас на работе на виндовом компьютере какой-то другой шелл, ни разу не поинтересовался, что именно. Просто вспомнил самый распространённый.

[identity profile] nponeccop.livejournal.com 2012-06-27 05:15 am (UTC)(link)
Это же бред какой-то, как вы можете такое говорить? С 1986 года появились SxS, WMI и Powershell. А вы всё сидите на текстовых файлах, autotools и симлинках .so.5 - то ещё позорище! Не говоря об идиотизме выдумывания уникального имени чтобы софт устанавливался в /usr/bin без конфликтов.

Та же ваша sh.exe не может удалить файл без rm.exe (я только что проверил на всякий случай посредством mv /bin/rm /bin/rm.old) - вы говорите это нормально? По факту чтобы делать "обыкновенные простые вещи", надо тянуть за собой килотонны экзешников и дллей. Вы посмотрите только на дистрибутив Git под винду, чтобы понять весь идиотизм этой системы с дочерними процессами на каждый чих.

У Git показательно юниксовая архитектура - часть делается на Си, часть на шелле, со всеми этими сотнями утилиток. В результате в дистрибутиве идет 78 экзешников.

Для одного экзешника есть busybox, но это всё равно идиотизм т.к. требуется 78 симлинков.

[identity profile] huzhepidarasa.livejournal.com 2012-06-27 06:03 am (UTC)(link)
Я слышал, от SxS отказались, теперь (VS2010) разные версии ДЛЛек просто имеют разные имена (say hello to .so.5).

[identity profile] metaclass.livejournal.com 2012-06-27 06:50 am (UTC)(link)
Ладно бы просто отказались, так они еще и из event log убрали упоминание о том что dll не хватает.
Сумасшедшие люди.

[identity profile] dimpas.livejournal.com 2012-06-27 09:20 am (UTC)(link)
а вы сидите на бинарном говне под названием registry, которое ни руками отредактировать, ни вообще ни в Красную Армию, Текствые файлы куда лучше этого...

[identity profile] nponeccop.livejournal.com 2012-06-27 09:30 am (UTC)(link)
а) Система построена таким образом, что редактировать реестр не надо
б) Для редактирования есть API, доступный из чего угодно включая командную строку reg.exe для олдфагов.

Условно, для отключения доступа по паролю в sshd вы мне sed предлагаете использовать? Желаю удачи, устойчивость этого решения к вручную подправленным скриптам равна нулю.

Windows вместо этого предлагает реестр, груп полиси и WMI.



[identity profile] sa-chernomor.livejournal.com 2012-06-27 09:44 am (UTC)(link)
А в VCS реестр засунуть можно? С вменяемыми diff'ами, само собой.

[identity profile] dimpas.livejournal.com 2012-06-27 05:14 pm (UTC)(link)
registry только в ж... можно засунуть. А вот части /etc засунуть в VCS было бы очень мило, да...

[identity profile] dimpas.livejournal.com 2012-06-27 10:06 am (UTC)(link)
на машине, где надо кому-то автоматически выключать ssh логины по паролю, вообще не должно быть запущенного sshd.

Да и почему у вас чешутся руки кому-то что-то включить-выключить удаленно?

Хотя да, конечно, делать это под виндами - страшный геморой, потому как надо использовать весь этот кликните тут, там, здесь, и еще где-то там какой-то shift-alt fistfucking, и что задокументировать возможно только бесконечной последовательностью скриншотов, стопятьсот раз просто для того, чтоб перезагрузиться (на Win 7)... А насколько труднее любое содержательное действие произвести?

вы там еще на уникальность имен файлов наезжали - ну да, без нее просто замечательно: вы думаете, что работаете с файлом А, а на самом деле у вас не хватает для этогo rights, и виндосистема вам, ни слова не говоря, дает возможность работать с файлом B, который еще и выглядит так, быдто бы это действительно А... been there, done that, цензурных слов не хватает...

[identity profile] nponeccop.livejournal.com 2012-06-27 10:46 am (UTC)(link)
> почему у вас чешутся руки кому-то что-то включить-выключить удаленно?

Слова "удалённо" у меня не было. Локально.

[identity profile] dimpas.livejournal.com 2012-06-27 11:19 am (UTC)(link)
локально операция запрещения логинов по паролю производится с помощью, скажем, vi, и вполне устойчива.

[identity profile] nponeccop.livejournal.com 2012-06-27 01:10 pm (UTC)(link)
Это непродуктивный ручной труд

[identity profile] dimpas.livejournal.com 2012-06-27 05:08 pm (UTC)(link)
по сравнению с чем? с использованием чего-то типа regedit?

ну и вообще на виндах ничего похожего по возможностям на sshd никогда не водилось, так что я не понимаю, об чем базар in the 1st place?
Да, конфигурировать плящущие скрепки и прочий мусор на винде может и проще :-)

[identity profile] iron-bug.livejournal.com 2012-06-27 11:46 am (UTC)(link)
>идиотизм этой системы с дочерними процессами на каждый чих
дочерние процессы под никсами создаются даже быстрее, чем потоки под вендой. в никсах нет проблемы с обращением к общей памяти и процессы не такие тяжеловесные. а то, что там на поверхности какие-то юзерские финтифлюшки, на первый взгляд якобы удобные, так это далеко не всё, что делает система. внутри венды там полный бардак. например, приведу в пример хранилище драйверов в 7-ке (системщик, наелась уже этого говна по уши!). если можно придумать что-то более корявое и шизофреническое - тогда я даже не знаю, что это. а ещё, например, выполнение графических операций драйвером уровня ядра, когда браузер (браузер, чёрт побери!) может вызвать ошибку защиты памяти ядра. а поддержка 64 бит половиной вызовов ядра, когда вторая половина ничего не хочет знать о 64-битности адреса - это не просто глюк, это наглухо сырое недоделанное ядро, которое взяли посреди разработки и выпустили в релиз! в общем, с точки зрения программиста но это не операционная система, а помойное ведро. так оно и есть. я пишу под линь и под венду не один год и разница эта становится только очевиднее и очевиднее с каждым новым полутрупом от мелкомягких.
P.S. ну и отдельное "спасибо" виндузятникам за лицензирование дров (сам сделал железяку, сам написал дрова - заплати мелкософту за их использование, ага). и за отключение питания на шинах без согласия устройства. электричество они экономят! теперь половина юзеров просто вообще не могут включить режим powersave: ибо работа многих девайсов, которые работают в режиме обмена данных, просто накроется. сюда же относятся счастливые обладатели USB-девайсов, которые не переносят режима слип-мода венды, который им тупо отрубает питание без запроса о готовности. всё это не от большого ума делается и такое кривое проектирование никогда не вело ни к чему хорошему.
Edited 2012-06-27 11:53 (UTC)

[identity profile] http://users.livejournal.com/_winnie/ 2012-06-27 01:30 pm (UTC)(link)
Претензии какие-то странные.

Какая разница для пользователя каким образом запускается утилита? Какая разница - сотня файликов в папке или монолитный exe? Вам эти файлы в стойло загонять? Или сотню дискеток в кладовке раскладывать? :)

Или у вас какой-то скрипт тормозит именно из-за файликов-отдельных утилит, а не из-за файловой системы?



[identity profile] nponeccop.livejournal.com 2012-06-27 01:32 pm (UTC)(link)
Это не претензии, ваш комментарий нерелевантен.

[identity profile] os80.livejournal.com 2012-06-27 06:23 pm (UTC)(link)
>По факту чтобы делать "обыкновенные простые вещи", надо тянуть за собой килотонны экзешников и дллей.
Забавно, совпадает с моими ощущениями. Похоже экзешник должен быть не "программой", а "программным пакетом" c десятком-сотней "команд". Типа как svn:
file rm myfile.txt

[identity profile] nponeccop.livejournal.com 2012-06-27 05:38 am (UTC)(link)
GHC под виндой не поддерживает х64. Это было основное препятствие для меня, чтобы не писать на Хаскеле.

Си выбирается в качестве языка из неких религиозных соображений, а затем вы попадаете в лигаси и сидите на этом Си вечно, т.к. что-то пристыковать к нему с сохранением производительности не представляется возможным.

Религиозные соображения могут быть самые разные - стандартность, простота, производительность. Например, если вашему приложению нужно очень много памяти, то реализация структур данных на Си уменьшит её потребление в десятки раз, и вы перестанете упираться в пропускную способность шины.

С точки зрения сишника, остальные языки - для детских проектов, у которых требования к производительности настолько смешные, а бюджет настолько велик, что их можно заткнуть сотнями серверов. Настоящим мужчинам не пристало в игрушки играть, надо практикой заниматься!

[identity profile] huzhepidarasa.livejournal.com 2012-06-27 05:44 am (UTC)(link)
Обещали х64 под вендой начиная с 7.6.

[identity profile] eacher.livejournal.com 2012-06-27 06:00 am (UTC)(link)
ужe поддерживает http://www.haskell.org/ghc/dist/win64_alpha1

[identity profile] sassa-nf.livejournal.com 2012-06-27 07:05 am (UTC)(link)
"пропускную способность шины"

фигасе! у нас десятки мегабайт кэша ЦПУ и что такое пропускная способность шины, когда у нас есть сетевой интерфейс.

с другой стороны, какая-то там java из-за нормально заданной JMM выигрывает в простоте написания корректных конкурентных алгоритмов.

[identity profile] nponeccop.livejournal.com 2012-06-27 07:16 am (UTC)(link)
> что такое пропускная способность шины, когда у нас есть сетевой интерфейс.

Имеется ввиду боттлнек между процессором и RAM. Там и bandwidth и latency проблематичны, но сокращение объемов передаваемых в процессор данных за счет более плотной упаковки помогает хорошо. Толку, что JIT генерирует хороший код, если float занимает 40 байт вместо 4 и для доступа необходимо два indirection (условно).

Десятки мегабайт кеша не помогают при необходимости работы с десятками гигабайт в ОЗУ, а даже иногда мешают. См. также колонку "память" в http://www.supermicro.nl/products/system/1U/

Вот интересно, что по этому поводу гейдев думает.
Edited 2012-06-27 07:22 (UTC)

[identity profile] sassa-nf.livejournal.com 2012-06-27 08:37 am (UTC)(link)
задачи есть всякие разные. то, что беспокоит геймдев, это не самые распространённые задачи, как и то, что беспокоит кровавый энтерпрайз, не является самыми сложными задачами.

сколько гигабайт бывает я в курсе. но я также в курсе, что именно является ботлнеком у одной известной in-memory db и что является ботлнеком у разных известных приложений на одном известном application server, и это не cpu-memory latency и уж точно не bandwidth.

чтобы кэш мешал нужна очень специфическая задача :) а то бы все давно повыключили кэш.

[identity profile] thesz.livejournal.com 2012-06-27 09:15 am (UTC)(link)
>Например, если вашему приложению нужно очень много памяти, то реализация структур данных на Си уменьшит её потребление в десятки раз, и вы перестанете упираться в пропускную способность шины.

Я написал на Хаскельных структурах библиотеку графов (буквально, Data.IntMap, не поверите), которая на больших случайных изменениях случайных же графов приводит к обыгрыванию библиотеки на Си в разы по производительности.

В основном за счёт благотворного влияния сборки мусора на локальность.

[identity profile] nponeccop.livejournal.com 2012-06-27 09:20 am (UTC)(link)
А какое потребление памяти было? Мне интересны абсолютные значения и относительная разница Си/Хаскел. Если 4 ГБ и 12 ГБ - это интересно (т.е. существенные объемы и несущественный оверхед от боксинга).

[identity profile] thesz.livejournal.com 2012-06-27 10:01 am (UTC)(link)
За счёт всяких интересных приёмов (хеширование и всё такое) получилось что-то порядка трёх раз разницы.

[identity profile] dvig-al.livejournal.com 2012-06-27 11:36 am (UTC)(link)
Библиотека доступна для широких масс?

[identity profile] thesz.livejournal.com 2012-06-27 12:11 pm (UTC)(link)
Нет.

[identity profile] arkanoid.livejournal.com 2012-06-27 06:00 am (UTC)(link)
Там есть юниксовая подсистема. На серверных продуктах.

[identity profile] huzhepidarasa.livejournal.com 2012-06-27 06:17 am (UTC)(link)
Ей вроде бы end-of-life светит. Deprecated in Windows 8, будет убита в следующей версии.

[identity profile] arkanoid.livejournal.com 2012-06-27 06:25 am (UTC)(link)
Через одну. В смысле, в Windows 8 она deprecated, но еще есть.

Непонятно, чем она им мешала -- альтернатива ей только виртуалки.

[identity profile] huzhepidarasa.livejournal.com 2012-06-27 06:30 am (UTC)(link)
Поддерживать некому, видимо. Нужны юниксоголовые разрабы, а они в МС не держатся. Это чисто мое предположение :-)

[identity profile] rezkiy.livejournal.com 2012-06-27 06:35 am (UTC)(link)
скорее никому не нужна.

[identity profile] arkanoid.livejournal.com 2012-07-02 07:12 pm (UTC)(link)
а альтернативы?

[identity profile] rezkiy.livejournal.com 2012-06-27 06:09 am (UTC)(link)
Винда в отличие от *х систем это все-таки 90е а не 70е. Поэтому умение выйти из нотепада не является сакральным знанием, это все умеют.


Про павершелл религия не позволяет читать?

[identity profile] huzhepidarasa.livejournal.com 2012-06-27 06:23 am (UTC)(link)
А когда нотепад кажет весь файл в одну строчку, тут все знают, что делать? Это сакральное знание или не очень?

[identity profile] rezkiy.livejournal.com 2012-06-27 06:35 am (UTC)(link)
я вообще не вижу проблемы.

[identity profile] huzhepidarasa.livejournal.com 2012-06-27 06:43 am (UTC)(link)
В смысле у вас такого явления не наблюдается, или в смысле вы знаете что делать, если оно наблюдается?

[identity profile] rezkiy.livejournal.com 2012-06-27 06:54 am (UTC)(link)
да и да. Более того, я знаю, почему оно может наблюдаться.

ДОктор, откуда вы берете такие файлы?

[identity profile] sassa-nf.livejournal.com 2012-06-27 07:08 am (UTC)(link)
почему до сих пор не пофиксено?

[identity profile] rezkiy.livejournal.com 2012-06-27 08:23 am (UTC)(link)
что вы предлагаете фиксить?

[identity profile] sassa-nf.livejournal.com 2012-06-27 08:38 am (UTC)(link)
почему vim знает, как показывать такие файлы, а ноутпад всё ещё нет?

[identity profile] rezkiy.livejournal.com 2012-06-27 09:53 am (UTC)(link)
потому что авторы vim публично забили на RFC, решив сэкономить один байт на строку.

[identity profile] sassa-nf.livejournal.com 2012-06-27 10:56 am (UTC)(link)
какой RFC на CRLF есть? и при чём здесь vim?

и, главное, что теперь? HTML тоже не настоящий XML, и чё, браузерам теперь ругаться, что не парсится?

[identity profile] sassa-nf.livejournal.com 2012-06-28 07:35 am (UTC)(link)
ну и что? у нас тоже урлы найдутся.

http://vt100.net/docs/vt100-ug/ (см new line mode)

но и ms-dos тоже выдумывает всякого. кнопка Enter генерирует только 0xd (cr), а не пару символов с 0xa (lf). то есть, каким боком не повернись, дело в интерпретации.


notepad не в курсе, что 0xa (lf) нужно не в одну строку записывать, а переходить на следующую? ;-)

[identity profile] huzhepidarasa.livejournal.com 2012-06-27 09:20 am (UTC)(link)
Ну так я тоже знаю, как выйти из vi. Невелика хитрость.

У меня смешанная среда, много разных ОС, ну что поделать, не изжили пока пережитки прошлого.

[identity profile] http://users.livejournal.com/_winnie/ 2012-06-27 01:33 pm (UTC)(link)
хм, наверное надо взять другой редактор вместо стандартного notepad.exe.

Я не знаю почему это не пофиксали за 20 лет, но он до сих пор не понимает юниксового способа записи конца строк.

[identity profile] ivan-gandhi.livejournal.com 2012-06-27 01:57 pm (UTC)(link)
Спасибо. Я посмотрю, нельзя ли павершелл прикрутить.

[identity profile] codedot.livejournal.com 2012-06-27 06:18 am (UTC)(link)
Программное окружение *NIX должно быть в браузере и работать на сервере. Не надо больше экзешников, пожалуйста. Возьмите Chromebook и забудьте бинарники как страшный сон!

А что до функциональщины, так она никогда не породит серебрянную пулю. Это ж очевидно должно быть всем, кто хотя бы чуть-чуть с теорией знаком. Интересно, какой процент авторов учебников про Хаскель вообще брал в руки соответствующий том общей алгебры и действительно продрался до определения монад?

[identity profile] huzhepidarasa.livejournal.com 2012-06-27 06:28 am (UTC)(link)
Я думаю, все брали. Я брал, хотя я не автор учебников. То есть я чуть-чуть знаком с теорией, но, видимо, не так хорошо, чтобы видеть в ней какой-то особый запрет на серебряные пули.

[identity profile] migmit.livejournal.com 2012-06-27 06:50 am (UTC)(link)
> Программное окружение *NIX должно быть в браузере и работать на сервере.

А потом во всём районе три часа не будет не то что интернета, а и вообще электричества, и ноут превратится в тыкву.

> Это ж очевидно должно быть всем, кто хотя бы чуть-чуть с теорией знаком.

Я хорошо знаком с теорией. Не подскажете, почему мне должно быть "очевидно" (желательно чтобы аргументация хоть как-то коррелировала со словом "функциональщина", а не была универсальной).

[identity profile] codedot.livejournal.com 2012-06-27 07:19 am (UTC)(link)
Без электричества еще можно прожить несколько часов, пока батарейка жива. А вот без интернета нынче покакать нельзя. Речь, конечно, о странах, где, грубо говоря, iTunes поддерживается.



Подсказывать это мы бросим, не работает. Вот напишешь typeof \x.x x, и что? Да ничего, так что это гиблое дело. Крупнейшее разочарование теорией вычислимости произошло еще до первых компьютеров, а как появились, всем как-будто лоботомию сделали. Всем же кажется, что Си и *NIX сделали идиоты и держится оно на бюрократах. Хорошо еще к Web нет такого отторжения.

Тема очень связана и нынешними революционерами. Ну уйдет путинская кровавая гебня, а дальше что? Малейшее знакомство с исторей должно дать понять, что народ воспроизводит все то же самое вокруг себя вплоть до мельчайших деталей, даже когда уезжают из страны, казалось бы. Ан-нет, свято верят, что вот сейчас мы сделаем лучше. Окей, флаг в руки, че.

[identity profile] huzhepidarasa.livejournal.com 2012-06-27 09:26 am (UTC)(link)
Еще на ноль делить не получается. Кругом враги.

[identity profile] migmit.livejournal.com 2012-06-27 11:27 am (UTC)(link)
Интересно, у меня одного ощущение, что вы писали этот текст жопой?

[identity profile] dimpas.livejournal.com 2012-06-27 05:12 pm (UTC)(link)
+1

[identity profile] deni-ok.livejournal.com 2012-06-27 12:30 pm (UTC)(link)
SystemF> typeof \x.x x
Thinking...
Done!
(\x.x x) : (forall a. a -> a) -> (forall a. a -> a)
:)

[identity profile] ivan-gandhi.livejournal.com 2012-06-27 01:58 pm (UTC)(link)
Да они, может, и брали, да дочитали до седьмой страницы - сложно им.

[identity profile] os80.livejournal.com 2012-06-27 06:18 pm (UTC)(link)
Но ведь действительно сложность большинства учебников на порядок больше реальной сложности материала. Я бы даже сказал, что непонятен обычно не сам материал, а его интерпретация автором.
Похоже, надо заставлять всех авторов учебников общей алгебры заставлять читать Ловера, чтобы видели, как надо писать.

[identity profile] ivan-gandhi.livejournal.com 2012-06-27 06:21 pm (UTC)(link)
А он же им сложен, нет? Ну или слишком прост.

[identity profile] metaclass.livejournal.com 2012-06-27 06:49 am (UTC)(link)
gnuwin32 или msys

[identity profile] zamotivator.livejournal.com 2012-06-27 07:27 am (UTC)(link)
cygwin? msys?
wizzard: (Default)

[personal profile] wizzard 2012-06-27 08:29 am (UTC)(link)
1. powershell. если не установлено - доустановить
2. если надо работать на всяких windows98 - нуу, на худой конец, wsh.

Но зачем bat и sh-то?

[identity profile] ivan-gandhi.livejournal.com 2012-06-27 01:58 pm (UTC)(link)
А! Доустановить!

Если доустановить, так я лучше линух доустановлю.

Речь о кустомерских машинах.

[identity profile] http://users.livejournal.com/_winnie/ 2012-06-27 03:29 pm (UTC)(link)
я использую wsh через JScript , он встроен как bat файлы начиная с 9x винды.

Ещё я использовал питон (для кустомеров, "exe в папочке"), это весит обычно порядка 2-10 мегабайт с нужными библиотеками.

Инородный шелл для кустомеров для винды имхо лучше не использовать, иначе придётся помучаться с багами "не открывается файл на сетевых дисках", "не работают русские буквы в файлах", ...
Edited 2012-06-27 18:46 (UTC)

[identity profile] lev.livejournal.com 2012-06-27 06:28 pm (UTC)(link)
powershell идет в комплекте начиная с висты.

[identity profile] maxal.livejournal.com 2012-06-27 09:27 am (UTC)(link)
git идёт с msys. Ставлю его и добавляю к PATH "C:\Program Files\Git\bin"

[identity profile] http://users.livejournal.com/_winnie/ 2012-06-27 09:30 am (UTC)(link)
Я привык к cygwin. Кабалистика, dll-ки, библиотеки, кеш скачаных пакетов, всё это есть, да :) Есть ещё и другие альтернативы.

notepad не приспособлен к редактированию вообще ничего, если хочется нативного текстового редактора - поставь Notepad++ (Sublime Text, ...). Можно vim/emacs в cygwin.

Вместо bat - лучше использовать VBS(бяка), JScript(норм), PowerShell(не пробовал). Можно shell в том или ином порте под винду. Можно Python.

[identity profile] mehas.livejournal.com 2012-06-27 10:13 pm (UTC)(link)
Люблю ЖЖ. На пост про аппликативное программирование полтора коммента. Пост про консольку -- сотня комментов, включая наезды на функциональное программирование. :)

[identity profile] sherbinko.livejournal.com 2012-06-28 11:21 am (UTC)(link)
Вы случайно не троль?
PowerShell вроде как покруче любого баша будет.
Да и в cmd можно многое наворотить: есть и ветвления и циклы, фоновый запуск, большинство юниксовых утилит таких как греп тоже доступны. Что ещё надо?
Кроме того можно JScript юзать если припрёт.