
Vladimir
02.11.2016
22:05:09
вообще все работает в cmd в винде, если сначала переключить кодировку через chcp 65001
чисто окружения проблема, походу)
спасибо за советы!

Evgenij
02.11.2016
22:05:38
Ну видишь - да винда

Google

Evgenij
02.11.2016
22:11:22

Vladislav
03.11.2016
05:37:15
Подскажите, какие есть практические применения у XRankNTypes, помимо ST?

Alexander
03.11.2016
08:27:59
hSetEncoding если функциями из prelude которые со string работают

Vladislav
03.11.2016
08:30:57

Alexander
03.11.2016
08:32:21
Ну RankN дает хранить полиморфные функции не специализируя
В маршрутку сяду смогу пример набросать

Vladislav
03.11.2016
08:33:02

Alexander
03.11.2016
08:43:13
В общем можно делать
foo :: (forall x . Show x a=> x -> String) ...
Тогда в foo нужно передавать функцию которая работает для любого неизвестного передающему x
Она специализирована не будет

Vladislav
03.11.2016
08:45:34
кажется что-то понимаю

Google

Vladislav
03.11.2016
08:46:03
и внутри foo ее можно применять к любому типу (который реализует Show), так?

Alexander
03.11.2016
08:46:11
Да

Vladislav
03.11.2016
08:46:59
круто, спасибо!

Alexander
03.11.2016
08:49:43
Все остальные кейсы через эти выражаются
Про типы данных с RankN еще например для динамической подстановки словарей
reflection пакет
Ну и статьи соотв
Но это все следствия того чтобы переменная не убежала
сишники!
кто хорошо понимает в objdump, dwarf и т.п.
и есть кому не лень отвечать на мои тупые вопросы?

Konstantin
03.11.2016
15:22:02
был тут один плюсовик, кек :)

Evgenij
03.11.2016
15:44:23

Konstantin
03.11.2016
15:44:37
который жирно троллил
@GnuFreedom

Evgenij
03.11.2016
15:44:50
Печаль((

Sergey
03.11.2016
16:14:51
Я конечно плюсовик, но не каноничный линуксоид, так что за дворфы много не отвечу, но вопросы попробуй задать. Тут я так понимаю не борщехлебствующих хаскелистов пишущих на крестах довольно много
А вообще что за странная привычка спрашивать о с++ в треде по хаскелю? Офтоп же и нонтаргет
https://telegram-club.ru/go/ProCxx

Alexander
03.11.2016
16:46:14

Google

Alexander
03.11.2016
16:46:53
вроде уже нашёл что надо
но взможно дальше ещё что вылезет

blkmrkt
03.11.2016
21:22:40
занятно http://www.clash-lang.org/

Sergey
03.11.2016
22:35:53
Я вам игрушку принёс:
Введите:
@rextester_bot haskell
main = print "ko"
Language: haskell
Source: main = print "hell o dword"
Result: "hell o dword"
Stats: Compilation time: 0.52 sec, absolute running time: 0.14 sec, cpu time: 0 sec, memory peak: 3 Mb, absolute service time: 0,66 sec

Vladislav
03.11.2016
22:40:59
эх, agda с idris не положили(
asm, c, c#, c++, c_clang, c_gcc, clang, clang++, clangplusplus, clisp, common_lisp, cplusplus, cplusplus_clang, cplusplus_gcc, cpp, cpp_clang, cpp_gcc, csharp, d, fpc, g++, gcc, go, golang, haskell, java, javascript, js, lisp, lua, msvc, mysql, nasm, node, objc, objective_c, oracle, pas, pascal, perl, php, postgresql, prolog, py2, py3, python, python2, python3, r, ruby, scala, scheme, sql_server, tcl, v8, vb, vb.net, vc++, visual_basic_dotnet, visual_c, visual_cplusplus, visual_cpp

Sergey
03.11.2016
22:41:51
Да тут все языки бесполезны
Пока я был тут. Прочие языки обсуждали только 2 раза
Но имхо годно сделано. Я прям как в родном лексахе пишу

Sergey
03.11.2016
22:43:23
Репл в телеграмме. Притом не просто компилит, а ещё и запускает
Да, эрланг вот тоже

Vladislav
03.11.2016
22:46:49
да даже банального rust'а нет(
зато visual_basic_dotnet

Paul
03.11.2016
23:11:15
Прикольная тема.

Sergey
03.11.2016
23:11:58
Хаскель то? Ну да. Вообще оборжака

Vladislav
03.11.2016
23:14:15

Admin
ERROR: S client not available

Google

Paul
03.11.2016
23:16:44
Для бота забавная идея.
Вообше, жаль, нет бот-платформы (@manybot), программируемой прямо из панели управления. Тогда даже школьники бы тренировались, создавая своих простых ботов из элементарных команд.

corpix
03.11.2016
23:24:18

Vladislav
03.11.2016
23:24:53
так и думал что это та еще дыра в безопасности)

corpix
03.11.2016
23:25:01
И недоверенный код они походу совсем не в контейнерах запускают

Vladislav
03.11.2016
23:25:40
что с них взять, dotnetчики
жаль там ftp закрыт, я бы им языков добавил)

Sergey
04.11.2016
02:10:08
а как айпишник получил?
И таки идея добавить языков шикарна) Может ломанем?)

corpix
04.11.2016
02:34:59

Sergey
04.11.2016
02:38:39
годно (:

Denis
04.11.2016
09:27:29
rm -rf *

Anatolii
04.11.2016
09:27:50
я тоже об этом подумал:)

Denis
04.11.2016
09:27:58
Но больно жестко будет
Дык можно так и форк бомбу сунуть

Donat
04.11.2016
10:02:36
вот так стараешься для людей, а они тебе rm -rf делают

Denis
04.11.2016
10:07:01
Не все люди добрые )

Vladimir
04.11.2016
10:38:48
* Couldn't match type `ByteString'
with `Data.ByteString.Internal.ByteString'
NB: `Data.ByteString.Internal.ByteString'
is defined in `Data.ByteString.Internal'
`ByteString' is defined in `Data.ByteString.Lazy.Internal'
Expected type: ByteString -> IO ()
Actual type: Data.ByteString.Internal.ByteString -> IO ()
а что в таких ситуациях обычно делают?
а, я смешал лейзи и не лейзи, туплю

corpix
04.11.2016
12:10:36
Дык можно так и форк бомбу сунуть
Форк-бомба не сработает, у процесса есть супервайзер, который прибёт всё дерево по таймауту.
А с rm -rf не всё так просто, у бинаря rm нет прав на исполнение. Не то что бы это остановило знающего человека от запуска, но того кто способен сделать именно rm -rf /* скорее всего остановит :)

Google

Paul
04.11.2016
14:19:54
https://telegram.me/proglibrary/896

Boris
04.11.2016
14:50:37
какие люди ;-)

Andrey
04.11.2016
14:58:22
привет :)

Boris
04.11.2016
14:58:32
привет :)

Andrey
04.11.2016
15:02:27
http://www.seas.upenn.edu/~cis194/fall16/ мне тут курс посоветовали, думаете норм?

Vladimir
04.11.2016
16:23:59
Я несколько глав сделал, потом что-то заленился. Там прикольные задачки, но не очень практичные