Size: a a a

2021 February 06

[

[BRM]White Rabbit in Haskell
кана
show это в print, show конвертирует строку в строку, внутри которой валидный хаскельный строковой литерал

show "abc" = "\"abc\""

а putStrLn просто выводит символы как есть
в ghci результат функции выкидывается в show и уже после показывается нам, смертным
источник

к

кана in Haskell
[BRM]White Rabbit
в ghci результат функции выкидывается в show и уже после показывается нам, смертным
ну так результат putStrLn это IO ()
источник

к

кана in Haskell
IO () не показывается, даже () не показывается если он в IO
источник

[

[BRM]White Rabbit in Haskell
Ну, ладно
источник

к

кана in Haskell
когда нет Show инстанса, но значение в IO, то тоже не показывается
источник

[

[BRM]White Rabbit in Haskell
кана
это я так понимаю тоже приколы винды какие-то
У меня просто винда полностью англ
Наслушался знакомого, у которого из-за русского юзера были беды с путями для питона и решил, что РЯ у меня должен быть только номинально
источник

[

[BRM]White Rabbit in Haskell
В общем, вывод - пиши на англ и не выёжевыйся
источник

AA

A64m AL256m qn<co... in Haskell
надо в консоли просто chcp 65001
источник

[

[BRM]White Rabbit in Haskell
Просто в cmd ввести вот это вот?
источник

AA

A64m AL256m qn<co... in Haskell
да, перед тем как ghci пускануть
источник

AA

A64m AL256m qn<co... in Haskell
по умолчанию в виндовом терминале не юникод
источник

[

[BRM]White Rabbit in Haskell
А можно сунуть это в батник и поставить на автозапуск при перезагрузке?
Или надо каждое открытие терминала вводить?
источник

AA

A64m AL256m qn<co... in Haskell
ну можно это в винде по умолчанию нстроить, в реестре, но тогда че нибудь навернуться может, мало ли какое старье на винде запускают
источник

ЗП

Зигохистоморфный Пре... in Haskell
Кто-то проходил https://incredible.pm/ ?
источник

ЗП

Зигохистоморфный Пре... in Haskell
Я залип на ∀x.P(x) / (∃x.P(x)→⊥)→⊥
источник

ЗП

Зигохистоморфный Пре... in Haskell
Как тут правило исключённого третьего?
источник

AN

Alexander Novikov in Haskell
Привет! Строгая монада ST отрабатывает только при выходе из неё? Мне надо работать с большим массивом в памяти без создания копий.
источник

JS

Jerzy Syrowiecki in Haskell
Alexander Novikov
Привет! Строгая монада ST отрабатывает только при выходе из неё? Мне надо работать с большим массивом в памяти без создания копий.
действия внутри runST выполняются не при выходе, а при вычислении всего runST.

для работы с большим массивом в памяти без создания копий и существует ST
источник

JS

Jerzy Syrowiecki in Haskell
конечно, одного ST недостаточно. надо использовать ST в сочетании с соответствующими изменяемыми данными — STRef, MVector
источник

AN

Alexander Novikov in Haskell
Менял данные в STUArray, после runSTUArray получил UArray. После каждого прогона в старом UArray старые данные, а в новом - новые. Т.е. две копии. Если не выходить из ST, то ничего не исполняется. Поищу образец.,.
источник