Size: a a a

2020 May 10

AA

A64m AL256m qn<co... in Haskell
Ilya Kos
только если обарачивать в какой-то SomeMatrix
все работает
{-# LANGUAGE DataKinds, PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables, TypeApplications #-}

import Eigen.Matrix
import GHC.Natural
import GHC.TypeNats
import Data.List
import Data.Proxy

main = do
 xs <- readLn @[[Double]]
 ys <- readLn @[[Double]]
 print $ case someNatVal . genericLength $ xs of
   SomeNat pn ->
     case someNatVal . genericLength . head $ xs of
       SomeNat pm ->
         case someNatVal . genericLength $ ys of
           SomeNat pm' ->
             case someNatVal . genericLength . head $ ys of
               SomeNat pn' ->
                 case mmult pn pm pn' xs ys of
                   Just m -> toList m
 
mmult :: forall n m n' . (KnownNat n, KnownNat m, KnownNat n')
     => Proxy n -> Proxy m -> Proxy n' -> [[Double]] -> [[Double]] -> Maybe (MatrixXd n n')
mmult _ _ _ xs ys = do
 a :: MatrixXd n m  <- fromList xs
 b :: MatrixXd m n' <- fromList ys
 return $ mul a b
 
{-
[[1,2,3],[4,5,6]]
[[3,4,5],[3,4,5],[4,5,6]]
[[21.0,27.0,33.0],[51.0,66.0,81.0]]
-}
источник

AV

Alexander Vershilov in Haskell
Я вообще профилировкой давно не пользовлся
источник

AV

Alexander Vershilov in Haskell
Так вот со сложными штуками fct не работает и не может доказать, что a++b++c = concat [a,b,c]
источник

MK

Maxim Koltsov in Haskell
Alexander Vershilov
Так вот со сложными штуками fct не работает и не может доказать, что a++b++c = concat [a,b,c]
unsafeCoerce
источник

AV

Alexander Vershilov in Haskell
Ну я могу написать Tagged.unTagged
источник

AV

Alexander Vershilov in Haskell
Но получается, что я могу сформировать кривой кодет и никто меня за это не наругает
источник

YS

Yan Shkurinskiy in Haskell
Alexander Vershilov
странно
Так всё, отбой
источник

AV

Alexander Vershilov in Haskell
Что такое?
источник

YS

Yan Shkurinskiy in Haskell
Запрос не тот выполнял
источник

YS

Yan Shkurinskiy in Haskell
Я дурак
источник

AV

Alexander Vershilov in Haskell
Бывает
источник

AV

Alexander Vershilov in Haskell
2.30 ночи!
источник

YS

Yan Shkurinskiy in Haskell
2.28
источник

YS

Yan Shkurinskiy in Haskell
С:
источник

YS

Yan Shkurinskiy in Haskell
Зато ghc обновил до 8.8.3
источник

MK

Maxim Koltsov in Haskell
а засунуть k в ассоциированный тип не вышло?
источник

MK

Maxim Koltsov in Haskell
вместо фандепов
источник

MK

Maxim Koltsov in Haskell
кстати, почему QuantifiedConstraints не работает с семействами? обидно :(
источник

AV

Alexander Vershilov in Haskell
Насколько я понимаю теорию это невозможно
источник

MK

Maxim Koltsov in Haskell
это к какому сообщению?
источник