ALT Linux Team development discussions
 help / color / mirror / Atom feed
From: Maxim Tyurin <mrkooll@tdr.pibhe.com>
To: community@altlinux.ru, devel@altlinux.ru
Subject: [devel] Re: [Comm] Вопрос к программирующему community
Date: Tue, 2 Sep 2003 15:00:55 +0300
Message-ID: <20030902120054.GA20196@mrkooll.tdr.pibhe.com> (raw)
In-Reply-To: <Pine.LNX.4.55L.0308292122500.24816@ontil.ihep.su>

[-- Attachment #1: Type: text/plain, Size: 1358 bytes --]

On Fri, Aug 29, 2003 at 09:26:50PM +0400, Vitaly Lugovsky wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
> 
> 
>  А мне вот тут стало интересно - насколько эффективны мои усилия
> в процессе продвижения кошерных программерских технологий?
> 
>  То есть, несколько настораживает отсуствие пользовательского
> feedback-а по поводу OCaml, Haskell-пакетов, систем вроде Coq и
> Phox, и даже Octave... Просто мне сейчас нужно расставить
> приоритеты, и решить - следует ли спешить с поддержкой
> обновлённых версий (ghc 6.0, грядущего ocaml-3.07, к коему
> shared-patch таки готов уже, но ещё не тестирован, Krokatoa, и
> других подобных).
> 
>  Если же значительная часть народа просто не в курсе - что всё
> это такое из себя, и зачем оно надо - то я лучше приложу силы к
> написанию всяческих там общепросветительских статеек.
> 
>  Итак, community, вам решать - на что мне потратить своё
> свободное время. ;)

OcaML вещь полезная и нужная.
И просветительные статейки тоже очень нужны (особенно по OcaML, по
Haskell хоть что-то есть на русском, а вот по ocaml вообще глухо,
многие вообще такого слова не разу не слышали :(

P.S. Сразу вопрос вдогонку: для ocaml есть редактор (желательно мода к
emacs) c автодополнением? Если есть - то где ее брать? Очень уж оно
время экономит.
-- 

With Best Regards, Maxim Tyurin
JID:	MrKooll@jabber.pibhe.com
			

[-- Attachment #2: Type: application/pgp-signature, Size: 189 bytes --]

      parent reply	other threads:[~2003-09-02 12:00 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-08-29 17:26 [devel] " Vitaly Lugovsky
2003-08-29 17:55 ` Дмитрий Герасимов
2003-08-30  3:56 ` [devel] Re: [Comm] " Sergei Dolmatov
2003-08-30  8:30 ` [devel] ÷ÏÐÒÏÓ Ë ÐÒÏÇÒÁÍÍÉÒÕÀÝÅÍÕ community Сергей Глодин
2003-08-30  9:16   ` [devel] Re: Вопрос к программирующему community Michael Shigorin
2003-08-30 18:27     ` [devel] Re: ÷ÏÐÒÏÓ Ë ÐÒÏÇÒÁÍÍÉÒÕÀÝÅÍÕ community Сергей Глодин
2003-08-31 12:40       ` [devel] Re: Вопрос к программирующему community Alexandre Prokoudine
2003-09-01  6:36         ` [devel] Re: ÷ÏÐÒÏÓ Ë ÐÒÏÇÒÁÍÍÉÒÕÀÝÅÍÕ community óÅÒÇÅÊ çÌÏÄÉÎ
2003-08-31 20:56       ` Re[2]: " Volkov Serge
2003-09-01  8:20         ` óÅÒÇÅÊ çÌÏÄÉÎ
2003-09-01 18:46           ` Re[4]: " Volkov Serge
2003-08-30 14:57 ` [devel] Вопрос к программирующему community Dmitry Malenko
2003-09-01  6:29   ` Igor Tertishny
2003-09-01  6:53     ` [devel] " Michael Shigorin
2003-08-31 22:22 ` [devel] " Sergey V Kalinin
2003-09-01  7:38   ` Alexey I. Froloff
2003-09-01  7:37 ` Alexey I. Froloff
2003-09-01 15:13   ` [devel] " Michael Shigorin
2003-09-02 12:00 ` Maxim Tyurin [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20030902120054.GA20196@mrkooll.tdr.pibhe.com \
    --to=mrkooll@tdr.pibhe.com \
    --cc=community@altlinux.ru \
    --cc=devel@altlinux.ru \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

ALT Linux Team development discussions

This inbox may be cloned and mirrored by anyone:

	git clone --mirror http://lore.altlinux.org/devel/0 devel/git/0.git

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V2 devel devel/ http://lore.altlinux.org/devel \
		devel@altlinux.org devel@altlinux.ru devel@lists.altlinux.org devel@lists.altlinux.ru devel@linux.iplabs.ru mandrake-russian@linuxteam.iplabs.ru sisyphus@linuxteam.iplabs.ru
	public-inbox-index devel

Example config snippet for mirrors.
Newsgroup available over NNTP:
	nntp://lore.altlinux.org/org.altlinux.lists.devel


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git