Pinging s3-1.amazonaws.com [54.231.82.20] with 32 bytes of data: Reply from 54.231.82.20: bytes=32 time=130ms TTL=40 Reply from 54.231.82.20: bytes=32 time=137ms TTL=40 Reply from 54.231.82.20: bytes=32 time=132ms TTL=40

и в той же консоли stack --help stack --version

(Это две команды)

т.к. выглядит странно ошибка

C:\sr> stack —version Version 1.6.1, Git revision f25811329bbc40b0c21053a8160c56f923e1201b (5435 commits) x86_64 hpack-0.20.0

и у меня например никогда не встречалась, правда стек из платформы на винде я никогда не использовал

платформу на винде и стек на винде - использовал

хелп выдает длинную и адекватную портянку

но проверить прямо сейчас не могу, ноут с виндой в квартире от которой ключи в шахте лифта

так отлично

лол

какую команду делаешь где выдает ошибку

например stack setup или stack new

ок, давай в той же консоли stack setup

без verbose PS C:\Users\siusvi> stack setup Writing implicit global project config file to: C:\sr\global-project\stack.yaml Note: You can change the snapshot via the resolver field there. HttpExceptionRequest Request { host = "s3.amazonaws.com" port = 443 secure = True requestHeaders = [("Accept","application/json")] path = "/haddock.stackage.org/snapshots.json" queryString = "" method = "GET" proxy = Nothing rawBody = False redirectCount = 10 responseTimeout = ResponseTimeoutDefault requestVersion = HTTP/1.1 } (InternalException (HostCannotConnect "127.0.0.1" [Network.Socket.connect: <socket: 484>: failed (Connection refused (WSAECONNREFUSED))]))

может другое чо поставить вместо платформы?

а stack upgrade делает что?

вообще можно просто стек поставить

то же

да я и та ки так делал

у меня вопрос, а как это может s3.amazonaws.com смотреть на 127.0.0.1?

hosts?

https://docs.haskellstack.org/en/stable/README/#how-to-install

у меня вопрос, а как это может s3.amazonaws.com смотреть на 127.0.0.1?

хз

у меня вопрос, а как это может s3.amazonaws.com смотреть на 127.0.0.1?

hosts или настройки стека какие

может хитрый firewall

настройки пустые

но выше вроде пинги были, и до другого адреса

он заредиректил

вариантов много, вообще localhost, 127.0.0.1 в коде стека нету

когда-то у меня получалось вроде голый ghci поставить на винду, он работал а тут мистика какая-то

попробую щас другой комп, это ноутбук выданный на работу

чтобы исключить хитрый файервол

ghci и тут работать должен

в платформе

там и cabal/cabal-install есть

которыми тоже можно успешно пользоваться

но если стек нужен, то проще поставить только его

ссылка выше

да, ток ghci чот в path не прописался, что впрочем исправимо

но хотел всё-таки чтобы всё работало )

я бы поставил просто стек, а не платформу

он поставит свой mingw

тоже пробовал

можно сказать stack exec sh и жить в нормальном шеле

ставить программы через pacman

и радоваться жизни до тех пор пока не потребуется text-icu

но уже на этом этабе ghci будет работать

vmvare + ubuntu

блеать, на другом компе нет этой проблемы

ну похоже на что-то системное

да

у стека нету кода чтобы на localhost ходить

буду сисадмина мучить в понедельник ) хотя возможно он меня пошлёт с формулировкой что для работы тебе это не надо )

вот я боюсь, что на рабочем ноуте может быть что-то такое

вообще юзать рабочий ноут для своих дел - то ещё занятие

ибо некоторые фирмы могут сказать, что весь код написанный там рабочий и т.п.

в net crackers был знакомый который с выданного виндоноута специально не трогал свои проекты

чтобы не было таких вопросов

осторожность почти никогда не вредит )

можно сказать stack exec sh и жить в нормальном шеле

это sh нормальный? оно же не умеет ничего.

баш поставить можно и zsh

на любителя

Pinging s3-1.amazonaws.com [54.231.82.20] with 32 bytes of data: Reply from 54.231.82.20: bytes=32 time=130ms TTL=40 Reply from 54.231.82.20: bytes=32 time=137ms TTL=40 Reply from 54.231.82.20: bytes=32 time=132ms TTL=40

а напиши ка на всякий случай вывод curl https://s3.amazonaws.com/haddock.stackage.org/snapshots.json

точнее в PS это вроде пишется как wget вместо curl

PS C:\Users\siusvi> curl https://s3.amazonaws.com/haddock.stackage.org/snapshots.json StatusCode : 200 StatusDescription : OK Content : {"lts-2":"lts-2.22","lts-10":"lts-10.5","lts-9":"lts-9.21","lts-4":"lts-4.2","lts-3":"lts-3.22","lts-5":"lts-5.18","lts":"lts-10.5","lts-0":"lts-0.7","nightly":" nightly-2018-02-17","lts-1":"lts-1.15",... RawContent : HTTP/1.1 200 OK x-amz-id-2: 2uyuSuvI0OihoxxPrudUOeV0UmBUG2Z/QN7s2R/k17pgqshoISH02/WU1qFcRviwl++aM0ekVpA= x-amz-request-id: E1A19D72C2F84B5F Accept-Ranges: bytes Content-Length: 257 Content-Type: ... Forms : {} Headers : {[x-amz-id-2, 2uyuSuvI0OihoxxPrudUOeV0UmBUG2Z/QN7s2R/k17pgqshoISH02/WU1qFcRviwl++aM0ekVpA=], [x-amz-request-id, E1A19D72C2F84B5F], [Accept-Ranges, bytes], [Conte nt-Length, 257]...} Images : {} InputFields : {} Links : {} ParsedHtml : mshtml.HTMLDocumentClass RawContentLength : 257

пашет

у меня последняя гипотеза что криво поставилась платформа

думаешь стоит почистить и переставить?

ghc и ghci работают хотябы )

вообще странно что файервол может так избирательно блокировать

может и платформа виновата

хз, не помогает удаление/установка

буду пока ghc обходиться с этой машины

http://dalila.sip.ucm.es/safe/index.html

random nightly link

@qnikst , там линейных типов в комплекте нету?

поидее должны, я не разбирался пока

@qnikst Я всё жду, когда у кого-нибудь дойдут руки сделать конкатенативный язык с линейными типами. Тем более, что их там можно сделать на обычном HM, запретив линейным объектам быть операндами "dup" (и быть захваченными в локальные переменные)

@qnikst , там линейных типов в комплекте нету?

Нет, там не линейные

@qnikst Я всё жду, когда у кого-нибудь дойдут руки сделать конкатенативный язык с линейными типами. Тем более, что их там можно сделать на обычном HM, запретив линейным объектам быть операндами "dup" (и быть захваченными в локальные переменные)

ATS, Idris

Конкатенативный

а конкатенативный хоть с какими-нибудь типами уже есть?

а конкатенативный хоть с какими-нибудь типами уже есть?

Cat, Kitten, Michelson

"конкатенативный" это как, если по простому?

https://ru.wikipedia.org/wiki/%D0%9A%D0%BE%D0%BD%D0%BA%D0%B0%D1%82%D0%B5%D0%BD%D0%B0%D1%82%D0%B8%D0%B2%D0%BD%D1%8B%D0%B9_%D1%8F%D0%B7%D1%8B%D0%BA_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F

а конкатенативный хоть с какими-нибудь типами уже есть?

В конкатенативных языках вся соль в бестиповости

Ты можешь только стек-эффекты проверять анализом кода

В конкатенативных языках вся соль в бестиповости

ну вот есть же

вроде конкатенативный язык должен быть частным случаем кобина'торного

Фишка в том, что при конкатенации последующая команда может брать со стека не всё из того что положила предыдущая, или наоборот - взять больше.

Ты можешь положить на стек некий пакет (request к серверу, например), а следющим шагом взять только пару байт, обработать (на стеке же) и положить обратно.

Впрочем реализации могут быть разные. Можно на стеке хранить указатели на данные, а не сами данные. Тогда можно и типами озаботиться

мне кажется в итоге можно прийти к тому что C лучше

чисто из соображений того что история повторяется

@qnikst Я всё жду, когда у кого-нибудь дойдут руки сделать конкатенативный язык с линейными типами. Тем более, что их там можно сделать на обычном HM, запретив линейным объектам быть операндами "dup" (и быть захваченными в локальные переменные)

почитал вики, посмотрел на cat, похоже что контроля за dup недостаточно например, cond "выбрасывает" один из двух элементов на стеке, а while реюзает сколько угодно(включая 0)

т.е. видимо нужно делать множество сортов quote для !A -> !B !A -o !B A -o B !(A -o B)

и то же самое со всякими циклами/условиями

Для поглощения замыканием всё равно придётся делать dup. А те же while/cond следует реализовывать через базовые операции