Недавно я начал читать о языке программирования Go и нашел переменные канала очень привлекательной концепцией. Возможно ли подражать той же концепции в Haskell? Возможно иметь тип данных Channel a и структуру монады для включения изменяемого состояния и функций, которые работают как ключевое слово go.
Я не очень хорош в параллельном программировании, и такой простой механизм передачи каналов, как этот, в Haskell, действительно облегчит мою жизнь.
EDIT
Люди просили меня уточнить, какие паттерны Го я хотел бы перевести на Хаскелл. Таким образом, Go имеет переменные канала первого класса, которые могут передаваться и возвращаться функциями. Я могу читать и писать на эти каналы, и поэтому легко общаться между подпрограммами, которые могут работать одновременно. Go также имеет ключевое слово go, которое в соответствии со спецификацией языка инициирует выполнение функции одновременно как независимый поток и продолжает выполнять код без ожидания.
Точный шаблон, который меня интересует, выглядит примерно так (синтаксис Go странный - переменные объявляются varName varType вместо обычного инвертированного способа - но я думаю, что он читабелен):
func generateStep(ch chan int) {
//ch is a variable of type chan int, which is a channel that comunicate integers
for {
ch <- randomInteger() //just sends random integers in the channel
}
func filter(input, output chan int) {
state int
for {
step <- input //reads an int from the input channel
newstate := update(state, step) //update the variable with some update function
if criteria(newstate, state) {
state = newstate // if the newstate pass some criteria, accept the update
}
output <- state //pass it to the output channel
}
}
func main() {
intChan := make(chan int)
mcChan := make(chan int)
go generateStep(intChan) // execute the channels concurrently
go filter(intChan, mcChan)
for i:=0; i<numSteps; i++ {
x <- mcChan // get values from the filtered channel
accumulateStats(x) // calculate some statistics
}
printStatisticsAbout(x)
}
Мой основной интерес заключается в том, чтобы выполнять симуляции Монте-Карло, в которых я генерирую конфигурации последовательно, пытаясь изменить текущее состояние системы и принимая изменение, если оно удовлетворяет некоторым критериям.
Тот факт, что с помощью этих каналов я мог написать очень простую, читаемую и небольшую симуляцию Монте-Карло, которая параллельно выполнялась бы в моем многоядерном процессоре, поразил меня.
Проблема в том, что у Go есть некоторые ограничения (особенно, ему не хватает полиморфизма, как я привык в Haskell), и, кроме того, мне действительно нравится Haskell, и я не хочу торговать им. Таким образом, вопрос заключается в том, есть ли какой-нибудь способ использовать некоторую механику, которая выглядит как приведенный выше код, для простого выполнения параллельного моделирования в Haskell.
РЕДАКТИРОВАТЬ (2, контекст):
Я не учился в области компьютерных наук, особенно в параллельности. Я просто парень, который создает простые программы для решения простых задач в моей повседневной исследовательской работе в дисциплине, совсем не связанной с CS. Я просто нахожу способ, которым Haskell работает интересно, и люблю использовать его для выполнения своих маленьких дел.
Я никогда не слышал об одиночных каналах пи-исчисления или CSP. Извините, если вопрос кажется некорректным, это, наверное, вина моего огромного невежества.
Вы правы, я должен быть более конкретным в отношении того, какой шаблон в Go я бы хотел воспроизвести в Haskell, и я постараюсь отредактировать вопрос, чтобы он был более конкретным. Но не ждите глубоких теоретических вопросов. Дело в том, что из немногих вещей, которые я читал и кодировал, кажется, что Go имеет изящный способ выполнения параллелизма (и в моем случае это просто означает, что моя работа по заполнению всех моих ядер с помощью численных вычислений легче), и если бы я мог использовать подобный синтаксис в Haskell, я был бы рад.