Haskell

09 Jan 2021 15:24

Ну, вроде он нужен для ScopedTypeVariables

Haskell

09 Jan 2021 15:23

вроде нет, я хочу вполне человеческой вещи

Haskell

09 Jan 2021 15:22

тааак

g :: b -> Bool
g _ = False

f :: a -> Set a -> Bool
f x xs = g @a x

Haskell

09 Jan 2021 14:47

реально ли собрать пакет с custom setup с помощью cabal-install-3.2.0.0 И GHC-8.0.2 ?

Haskell

09 Jan 2021 14:37

Это всё не сложно по идее, всеми этими лопатаморфизмами джунов фронтендеров пугайте

Haskell

09 Jan 2021 14:29

это нормально для начала. возьми степик для начала 😉

Haskell

09 Jan 2021 14:28

знание хаскеля оцениваю на 5 шляп из 10

Haskell

09 Jan 2021 14:22

я ждал твоего прихода. как ты уровень хаскеля свой оцениваешь?

Haskell

08 Jan 2021 22:50

Есть способ сделать этот код валидным, кроме как писать
parseR str = Many . map (map read . words) . splitOn ";" $ str?
Ошибка — Equations for ‘parseR’ have different numbers of arguments

Haskell

08 Jan 2021 22:21

вот весь модуль

{-# LANGUAGE TemplateHaskell #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}

module Database.Persist.Sql.Extra (
  module Sql,
  entityPair,
) where

import Data.Currency (Alpha (..))
import Data.Scientific
import Database.Persist.Postgresql
import Database.Persist.Sql as Sql
import Database.Persist.TH
import Refined
import Universum

entityPair :: Entity record -> (Sql.Key record, record)
entityPair = entityKey &&& entityVal

instance (PersistField a, Predicate p a) => PersistField (Refined p a) where
  toPersistValue = toPersistValue . unrefine
  fromPersistValue = (first show . refine) <=< fromPersistValue

instance (PersistFieldSql a, Predicate p a) => PersistFieldSql (Refined p a) where
  sqlType _ = sqlType (Proxy :: Proxy a)

instance PersistField Scientific where
  toPersistValue = PersistRational . toRational
  fromPersistValue (PersistRational r) = Right $ fromRational r
  fromPersistValue (PersistDouble d) = Right $ fromFloatDigits d
  fromPersistValue (PersistInt64 i) = Right $ fromIntegral i
  fromPersistValue x = Left $ "PersistField Scientific: Expected Scientific, received: " <> show x

instance PersistFieldSql Scientific where
  sqlType _ = SqlNumeric 32 20

derivePersistField "Alpha"

Haskell

08 Jan 2021 22:20

сегодня запустил ghcid только 11 модулей подхватил

Haskell

08 Jan 2021 22:19

может какая-то темплейт магия с линзами? .-.

Haskell

08 Jan 2021 22:13

https://functionalprogramming.slack.com

Haskell

08 Jan 2021 22:12

Кто-нибудь знает чатик просто по функциональному программированию? Пишу не только на хаскелле и возникают вопросы по функциональному стилю в целом, куда можно податься?

Haskell

08 Jan 2021 20:39

какая же это проверка, если её нельзя завалить?

Haskell

09 Jan 2021 15:23

TypeApplications и ScopedTypeVariables есть

Haskell

09 Jan 2021 15:22

или я хочу странного?

Haskell

09 Jan 2021 14:48

или нужно также требовать Cabal старшей версии?

Haskell

09 Jan 2021 14:37

Я с советского матфака

Haskell

09 Jan 2021 14:33

А с Окасаки уже начнется веселье

Haskell

09 Jan 2021 14:29

Работодатель по скале сказал быть пэшонейт ту фанкшонал программинг
Так что я открою того мужика на степике и буду у вас как свой

Haskell

09 Jan 2021 14:26

оригинальная градация оценки

Haskell

09 Jan 2021 14:18

А Артём забил на бота что ли?

Haskell

08 Jan 2021 22:21

ща попробую th убрать

Haskell

08 Jan 2021 22:21

(а не, в линзах ix)

Haskell

08 Jan 2021 22:20

вчера вечером в ghcid проект нормально собирался

Haskell

08 Jan 2021 22:17

При сборке проект эксепшен вылетел вот такой, первый раз такое вижу
*** Exception: Ix{Int}.index: Index (4195828) out of range ((0,2638))
Быстрый гуглинг не помог, как с этим бороться?

Haskell

08 Jan 2021 22:13

есть англоязычный слак по фп в целом

Haskell

08 Jan 2021 21:19

любая на пути к Сансаре

Haskell

30 Dec 2017 01:54

Ты главное потом назад в ST не конвертируй.