История изменений

Гм, интерес теоретический или практический?

Я думаю совершенно точно можно описать на Idris, Coq, Agda и т.п. (гм.. а что тут в т.п. положить я даже не в курсе, ребят..) Вполне вероятно получится на Хаскеле и/или Окэмле как уже тут упоминалось.

Может даже на с++ можно описать, но лично я вряд ли смогу навскидку.. я правда задачу не понял.. но это честно говоря уже детали реализации :)

Гм, интерес теоретический или практический?

Я думаю совершенно точно можно описать на Idris, Coq, Agda и т.п. (гм.. а что тут в т.п. положить я даже не в курсе, ребят..) Вполне вероятно получится на Хаскеле и/или Окэмле как уже тут упоминалось.

Может даже на с++ можно описать.. я правда задачу не понял.. но это честно говоря уже детали реализации :)

Гм, интерес теоретический или практический?

Я думаю совершенно точно можно описать на Idris, Coq, Agda и т.п. (гм.. а что тут в т.п. положить я даже не в курсе, ребят..) Вполне вероятно получится на Хаскеле и/или Окэмле как уже тут упоминалось.

Гм, интерес теоретический или практический?

Я думаю совершенно точно можно описать на Idris, Coq, Agda и т.п. Вполне вероятно получится на Хаскеле и/или Окэмле как уже тут упоминалось.