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

*haskell *говно
Чем красивее и выразительнее код я пытаюсь написать, тем более он получается write-only.

#979345
from idead, 10 months ago

← All messages

Replies (11)

Post a reply (xmpp)

@lexszero:
эзотерические языки. они такие.
#979345/1
from home, 10 months ago
@Stiletto:
Потому что чем оптимальнее ты придумал решение, тем сложнее потом его становиться перегондонить чтобы решать что-то другое, да :3
#979345/2
from Эмкаббер-говнаббер, 10 months ago
@PineappleZombie:
U doing it wrong
#979345/3
from 046cb161dc561c982af2a68e371312b8, 10 months ago
@0xd34df00d:
@PineappleZombie О, вот ты-то мне и нужен. Как бы ты переписал лямбду в этом filter?
filter (\(GBlockID (_, pid)) -> pid <= piece) (missingBlocks nInfo)

Я пытаюсь скомбинировать snd, частично приложенный (<=) и так далее, но необходимость паттерн-матчить по конструктору GBlockID все ломает.
#979345/4
from idead, 10 months ago, in reply to /3
@0xd34df00d:
@Stiletto Да хрен с ним с перегондониванием, его читать труднее )
#979345/5
from idead, 10 months ago, in reply to /2
@PineappleZombie:
@0xd34df00d filter go (missingBlocks ninfo) where go (GBlockID (_,pid)) = pid <= piece

OR

filter ((<= piece) . myPreciousGetter) (missingBlocks ninfo)

Но для второго варианта нужен геттер

А GBlockID действительно надо делать newtype вокруг тупли?
#979345/6
from 046cb161dc561c982af2a68e371312b8, 10 months ago, in reply to /4
@0xd34df00d:
@PineappleZombie Ну он именно что newtype по смыслу, это не просто тупля, а именно конкретный тип же.
#979345/7
from idead, 10 months ago, in reply to /6
@PineappleZombie:
@0xd34df00d Но тогда почему newtype Foo = Foo (A,B) , а не data Foo A B или

Data Foo = Foo { getA :: A , getB :: B } (+ геттеры нахаляву)
#979345/8
from 046cb161dc561c982af2a68e371312b8, 10 months ago, in reply to /7
@0xd34df00d:
@PineappleZombie Хм, а скажи мне тогда best practices по newtype vs data.
#979345/9
from idead, 10 months ago, in reply to /8
@PineappleZombie:
@0xd34df00d newtype нужен когда тип имеет только один конструсктор с одним параметром. Тогда новый тип в рантайм будет иметь то же самое представление, что и старый. Затем и нужны

newtype FD = FD CInt — Будет представлен так же как и CInt

А тупли просто несколько выделены. (a,b) будет иметь такое же представление как и Foo a b. Поэтому newtype вокруг тупли ничего не даёт кроме синтактического мусора. Иногда, конечно, он бывает оправдан
#979345/10
from 046cb161dc561c982af2a68e371312b8, 10 months ago, in reply to /9
@0xd34df00d:
@PineappleZombie Гм, надо срочно переписывать.
type BlockID = Int
type PieceID = Int
newtype GBlockID = GBlockID (BlockID, PieceID)
deriving (Show, Eq, Ord)
#979345/11
from idead, 10 months ago, in reply to /10

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

Subscribe

Replies (11)

Messages

Tags all

Search

Statistics