Тухлый Александр (0xd34df00d)

*haskell *говно
Блин, почему GHC на коде типа
somefunc xfersSt = xfersSt'
where xfersSt' = Data.Map.update baz stuff xfersSt'
не предупреждает, что случится кровьговно из-за лишнего ' в самом конце последней строчки?
2 часа жизни из сердца вон.

#978025
from idead, 10 months ago

← All messages

Replies (38)

Post a reply (xmpp)

@mejik:
я тут пару дней пропустил, так чо там про твой хуй?
#978025/1
from LaptopB23958AC, 10 months ago
@Shchvova:
ЗАТО ХАСКЕЛЬ БЛЯ ЭТО КРУТО НАХ
#978025/2
from Yei993C16E4, 10 months ago
@0xd34df00d:
@mejik У меня хороший, годный, няшный хуй, Маке понравился!
#978025/3
from idead, 10 months ago, in reply to /1
@0xd34df00d:
@Shchvova Да на плюсцах я бы все то, что написал за сегодня, писал бы неделю. STFU.
#978025/4
from idead, 10 months ago, in reply to /2
@Shchvova:
@0xd34df00d не пизди ка а?
#978025/5
from Yei993C16E4, 10 months ago, in reply to /4
@PineappleZombie:
Он недостаточно умён, чтобы увидеть нетерминацию
#978025/6
from 046cb161dc561c982af2a68e371312b8, 10 months ago
@mejik:
@0xd34df00d она ж сказала что он короткий, емнип
#978025/7
from LaptopB23958AC, 10 months ago, in reply to /3
@0xd34df00d:
@PineappleZombie Ну вот я и спрашиваю — сфигали?
#978025/8
from idead, 10 months ago, in reply to /6
@0xd34df00d:
@Shchvova int x = x; // попизди мне тут
#978025/9
from idead, 10 months ago, in reply to /5
@0xd34df00d:
@mejik У нее такая форма выражения восторга.
#978025/10
from idead, 10 months ago, in reply to /7
@PineappleZombie:
@0xd34df00d Надо либо доказывать, что будет нетерминация, либо будут false positives. Есть, например fixed-point combinator (Я, правда, так и не вкурил за каким лешим он нужен, но он есть)

fix :: (a -> a) -> a
fix f = f (fix f)
#978025/11
from 046cb161dc561c982af2a68e371312b8, 10 months ago, in reply to /8
@Shchvova:
@0xd34df00d нахуй такую ебню. Хаскель не нужен.
#978025/12
from Yei993C16E4, 10 months ago, in reply to /9
@0xd34df00d:
@PineappleZombie Дык то ж не error, то warning'ом сделать, и пусть будут false positives. А как в том коде доказать нетерминацию — хрен знает, едва ли это вообще там возможно.
А нафиг этот комбинатор? )
#978025/13
from idead, 10 months ago, in reply to /11
@PineappleZombie:
@0xd34df00d Говорю же не понял. Напиши ticket в GHC'шный трак.
#978025/14
from 046cb161dc561c982af2a68e371312b8, 10 months ago, in reply to /13
@Shchvova:
@0xd34df00d но зато это круто, это ж хаскель
#978025/15
from Yei993C16E4, 10 months ago, in reply to /13
@0xd34df00d:
@Shchvova Слил ок.
#978025/16
from idead, 10 months ago, in reply to /12
@0xd34df00d:
@PineappleZombie Ох, надо бы собраться и написать. Перед этим потыкать тебя или Пауля в мой конкретный код и сказать, это у меня руки из жопы или човаще.
#978025/17
from idead, 10 months ago, in reply to /14
@Shchvova:
@0xd34df00d пауль это такой осьминожик?
#978025/18
from Yei993C16E4, 10 months ago, in reply to /17
@0xd34df00d:
@Shchvova @jtootf
#978025/19
from idead, 10 months ago, in reply to /18
@Shchvova:
@0xd34df00d а хуле он пауль?
#978025/20
from Yei993C16E4, 10 months ago, in reply to /19
@0xd34df00d:
@Shchvova Имя у него такое.
#978025/21
from idead, 10 months ago, in reply to /20
@0xd34df00d:
@Shchvova paste.pocoo.org ошибка в ' в 38 строке на конце, ололо.
#978025/22
from idead, 10 months ago, in reply to /15
@Shchvova:
@0xd34df00d ож бля русский. Откуда у русского имя "Пауль"?
#978025/23
from Yei993C16E4, 10 months ago, in reply to /21
@0xd34df00d:
@Shchvova Так получилось.
#978025/24
from idead, 10 months ago, in reply to /23
@Shchvova:
@0xd34df00d бля, походу он такой же Пауль, как я Влад. Ну и хуй с ним. От этого хаскель нужным не становится
#978025/25
from Yei993C16E4, 10 months ago, in reply to /19
@0xd34df00d:
@Shchvova Перепиши на плюсиках то вот, быстраблять.
#978025/26
from idead, 10 months ago, in reply to /25
@Shchvova:
@0xd34df00d если бы я знал что оно делает, то может бы и переписал. Я ж вашу хуетень не просцыкаю )
#978025/27
from Yei993C16E4, 10 months ago, in reply to /26
@0xd34df00d:
@Shchvova Так бы сразу и сказал, что ты просто ниасилил.
#978025/28
from idead, 10 months ago, in reply to /27
@Shchvova:
@0xd34df00d сцуко. Чтобы не асилить, нужно хотя бы попробовать.
#978025/29
from Yei993C16E4, 10 months ago, in reply to /28
@0xd34df00d:
@Shchvova Да ты просто заранее знаешь, что ниасилишь.
#978025/30
from idead, 10 months ago, in reply to /29
@Shchvova:
@0xd34df00d меня языки из разряда "изотерические" никогда не привлекали; да и хуле я буду делать с твоим хаскелем?
#978025/31
from Yei993C16E4, 10 months ago, in reply to /30
@PineappleZombie:
@Shchvova А не изотермические случайно?
#978025/32
from 046cb161dc561c982af2a68e371312b8, 10 months ago, in reply to /31
@Shchvova:
@PineappleZombie да, они скорее изохЕрические же.
#978025/33
from Yei993C16E4, 10 months ago, in reply to /32
@Shchvova:
@Shchvova и апоебатические.
#978025/34
from Yei993C16E4, 10 months ago, in reply to /33
@Shchvova:
@Shchvova мда. "Изучения хаскеля — апоебатический процесс"
#978025/35
from Yei993C16E4, 10 months ago, in reply to /34
@jtootf:
@PineappleZombie factorial = fix (\f x -> if x == 0 then 1 else x * f (x-1))
#978025/36
from galois, 10 months ago, in reply to /11
@jtootf:
@jtootf в смысле, с помощью fix можно делать рекурсивные лямбды. а ещё fmap . fix . return ~ id
#978025/37
from galois, 10 months ago, in reply to /36
@jtootf:
@Shchvova это прозвище. по паспорту я вообще Павло
#978025/38
from galois, 10 months ago, in reply to /23

Тухлый Александр (0xd34df00d)

Subscribe

Replies (38)

Messages

Tags all

Search

Statistics