Kojo — среда для обучения языку Scala

> Странно, мою новость о Kojo выпилили. Шо за беспредел

Дык твоя состояла из трех строчек и десяти ошибок. Думаешь, шкворц растет на деревьях? Фиг! Добывается непосильным трудом. :)

> программа на Эрланге уступит даже лиспу и делфи

даже лиспу и делфи

даже лиспу

Вот никак не могу понять, это толсто или тонко. Сейчас же придут лиспари со своим SBCL и с гомном тебя скушают.

> И? Ссылку на тесты в студию!

Карапуз, ты о чем это сейчас? Ты, вообще, понимаешь, чем отличается for-comprehension от sequence-comprehension?

чем отличается for-comprehension от sequence-comprehension?

Нет конечно, поэтому и спрашиваю тесты

Сейчас же придут лиспари со своим SBCL и с гомном тебя скушают

А что они возразят? Что эрланг медленнее SBCL? Так я ж это и говорю

> Нет конечно, поэтому и спрашиваю тесты

С тем же успехом можно было спросить о том, какой будет следующая фаза луны ;) Вопрос не в тему.

Так в том-то и дело, что тестировали производительность Erlang HIPE, который в нативный код может компилировать.

А вообще конечно стоит учитывать, что все эти тесты нифига не тестируют то, ради чего Эрланг создавался. Для реальной сферы применения картина скорее всего иной будет.

тестировали производительность Erlang HIPE, который в нативный код может компилировать

А это не важно. Говорят, в эрланге даже чтобы инкрементировать счетчик, вызывается функция, которая возвращает новую «переменную». Такой вот оверхед на каждой элементарной операции

Ну дык, там ведь функциональщина чистой воды. Зато с синхронизацией проблем нет. Для написания высоконагруженных распределенных серверов язык сгодится. А вот зачем на нем фрактары Мандельброта и прочую хунту строить - вопрос риторический :)

Я — учитель математики в школе для девочек из малообеспеченных семей, в маленьком городке Dehradun в Северной Индии.

почему-то вспомнился саныч :)

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

> Ты, вообще, понимаешь, чем отличается for-comprehension от sequence-comprehension?

Оюъясни в двух словах :)

Для написания высоконагруженных распределенных серверов язык сгодится

А ты в курсе, что уже вышел 6-ядерный проц от Интел для десктопа, что AMD такой для сервера год назад сделала, что в следующем году ожидаются 8-32-100 ядерные? И где там место эрлангу?

А вот что в стэнфорде делают http://ppl.stanford.edu/wiki/images/9/93/PPL.pdf

«Software developers will soon face systems with

1 TFLOP of compute power

20+ of cores, 100+ hardware threads
Heterogeneous cores (CPU+GPUs), app-specific accelerators
Deep memory hierarchies
Challenge: harness these devices productively
Improve performance, power, reliability and security

Goal: the parallel computing platform for 2012
Make parallel programming practical for the masses

Next-gen web platform
Immersive collaboration
Social gaming
Millions of players in vast landscape»

То есть ты будешь заходить на linux.org.ru и уже не читать треды в html, а бродить по комнатам, заходить в них, слушать, что обсуждают, смотреть что рисуют на интерактивной доске и даже сможешь виртуально избить битой модератора :)

«Challenges
DSL implementation ⇒ embed in base PL
Start with Scala (OO, type-safe, functional, extensible)
Use Scala as a scripting DSL that ties multiple DSLs»

Scala уже выбрана языком будущего :)

Оюъясни в двух словах :)

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

>Оюъясни в двух словах :)

Вопрос был для тестеров :)

Не надо ждать в Scala, есть ScalaCL

Вот демка code.google.com/p/nativelibs4java/source/browse/trunk/libraries/OpenфCL/ScalaCL/src/main/scala/scalacl/ScalaCLTest.scala

Оно напрямую генерирует kernel core для OpenCL из кода Scala просто наследованием класса! Не хило так.

Оно напрямую генерирует kernel core для OpenCL из кода Scala просто наследованием класса! Не хило так.

Есть тесты?

кажись пока готовят. Можете сделать ))) Я сейчас тоже пытаюсь запустить

Удалось запустить, но надо много JARов. И падает segfaultом после завершения. Сильно ранняя версия.

Но работает.

package scalacl1;

import scalacl._;
import scala.reflect.Manifest
import SyntaxUtils._
import ScalaCL._

object Main extends Application {
    
  class VectAdd(i: Dim) extends Program(i) {
    val a = FloatsVar
    val b = FloatsVar
    val result = FloatsVar
    content = result := a + sin(b)
  }

  override def main(args: Array[String]) = {
    var prog1 = new VectAdd(Dim(200))
    
    //prog1.alloc
	prog1.a.write(1 to 110)
	prog1.b.write(1000 to 1109) 
    prog1 !;
    
    for (i <- 0 to 109)
      println(prog1.result.get(i))

  }
}

Вот это само по Scala коду сгенерировало (из дебага).

#pragma OPENCL EXTENSION cl_khr_byte_addressable_store : require
__kernel void function(__global const float* in1, __global const float* in2, __global float* out) {
	int dim1 = get_global_id(0);
	out[dim1] = (in2[dim1]) + (sin(in1[dim1]));
}

> Я тут на днях прочитал про for-comprehension в скале. Как-то разочаровало оно меня. Еще чуть-чуть и могли бы дотянуть до computation expressions как в f#. Но не вышло...

В чём разница-то? Насколько я понял, и то и другое — те же саме монады из хаскеля. Вариации на тему do-notation.

> Насколько я понял, и то и другое — те же саме монады из хаскеля. Вариации на тему do-notation.

Computation expressions еще и моноиды умеют. Например, можно определить then без bind. Что очень важно, computation expressions имеют практически такой же синтаксис как и обычный код на f#. Можно определить аналоги while, for, use, try, не считая доступных по определению let, if, match. Особенно впечатляет обработка try, на основе которой можно построить use и for. И без try невозможно построить полноценный workflow на основе продолжений.

В общем, computation expressions на голову или даже две головы выше.