IP
крестики нолики на хаскелле по tcp уже давно есть на гитхабе
Size: a a a
2020 October 25
DI
Вот может быть интересно тем, кто считает GHC очень умным: https://godbolt.org/z/zb1oso
надо крестики нолики чисто на типах.
чтобы только программа скомпилилась, а ты уже проиграл.
тогда и tcp в целом не нужен
чтобы только программа скомпилилась, а ты уже проиграл.
тогда и tcp в целом не нужен
MK
Dmitry Ivanov
Вот может быть интересно тем, кто считает GHC очень умным: https://godbolt.org/z/zb1oso
эх,
-fllvm там не попробоватьMK
а что, он честно цепочку сравнений сделал?
DI
да
DI
https://github.com/haskell/bytestring/pull/315 я в bytestring запуллреквестил
DI
а в base уже двенадцать лет назад пожаловались и шесть лет назад починили
IO
эх,
-fllvm там не попробовать-fllvm -pgmlo /opt/compiler-explorer/clang-6.0.0/bin/opt -pgmlc /opt/compiler-explorer/clang-6.0.0/bin/llcAV
надо крестики нолики чисто на типах.
чтобы только программа скомпилилась, а ты уже проиграл.
тогда и tcp в целом не нужен
чтобы только программа скомпилилась, а ты уже проиграл.
тогда и tcp в целом не нужен
Вывести идеальную стратегию по типам
AV
Учитывая, что в крестиках ноликах она есть
AV
Ну или хотя бы верифицировать
2020 October 26
R
надо крестики нолики чисто на типах.
чтобы только программа скомпилилась, а ты уже проиграл.
тогда и tcp в целом не нужен
чтобы только программа скомпилилась, а ты уже проиграл.
тогда и tcp в целом не нужен
R
У меня есть крестики-нолики на зависимых типах с самописными алгебраическими эффектами: https://github.com/effectfully/Eff/tree/master/Examples/Resources/TicTacToe
AA
иногда кажется, что Клапауций там присутствовал при зачатии Хаскеля
на самом деле я про это мало что знаю, архивы первой рассылки хаскель-комитета не выкладывались (кроме полутора писем), драфты репорта не отсканированы
т.е. приходится судить только по пейперам комитетчиков того времени и по отсылкам к прошлым событиям в обсуждениях новой рассылки
есть правда история написанная некоторыми комитетчиками 20 лет спустя, но я не люблю использовать такие тексты
т.е. приходится судить только по пейперам комитетчиков того времени и по отсылкам к прошлым событиям в обсуждениях новой рассылки
есть правда история написанная некоторыми комитетчиками 20 лет спустя, но я не люблю использовать такие тексты
AA
А как было? Я так понимаю стандарт написал комитет, потом было несколько конкурирующих компиляторов. Какой-то из них мог быть форком компилятора миранды ( в том смысле в каком форки, тогда вообще могли существовать).
два были форками компилятора лмл, у миранды не было компилятора, по крайней мере официального: был компилятор только у одного из клонов миранды FAST
AA
Вообще интересно как образовался синтаксис хаскела. Он очень похож на гопер и миранду. Те скорее всего из чего-то более старого взяли свой.
гофер это и есть хаскель, просто сначала недоделанный, а потом одновременно недоделанный и с экспериментальными фичами, та его имплементация, которая потом называлась Hugs
AA
Вообще интересно как образовался синтаксис хаскела. Он очень похож на гопер и миранду. Те скорее всего из чего-то более старого взяли свой.
половина синтаксиса хаскеля, которая "уравнения" происходит от языка Вадлера Оруэлл, который клон миранды, в основном отличающийся от нее только синтаксисом для параметров типов. сначала без were со скоупом на все уравнение, это появилось уже после первой версии репорта, и только после этого Тернер посчитал что хаскель слишком похож на миранду и стал слать комитетчикам недовольные письма
половина, которая выражения типа лямбд, let in и case of - это влияние лмл и смл и тоже не весь сразу
{;} синтаксис из языка Худака ALFL
половина, которая выражения типа лямбд, let in и case of - это влияние лмл и смл и тоже не весь сразу
{;} синтаксис из языка Худака ALFL
і
половина синтаксиса хаскеля, которая "уравнения" происходит от языка Вадлера Оруэлл, который клон миранды, в основном отличающийся от нее только синтаксисом для параметров типов. сначала без were со скоупом на все уравнение, это появилось уже после первой версии репорта, и только после этого Тернер посчитал что хаскель слишком похож на миранду и стал слать комитетчикам недовольные письма
половина, которая выражения типа лямбд, let in и case of - это влияние лмл и смл и тоже не весь сразу
{;} синтаксис из языка Худака ALFL
половина, которая выражения типа лямбд, let in и case of - это влияние лмл и смл и тоже не весь сразу
{;} синтаксис из языка Худака ALFL
Спасибо!