Я работаю с Haskell довольно долгое время, но я далек от того, чтобы быть экспертом. Но я вижу, что функциональный подход к программированию мне подходит лучше всего.
До сих пор я работаю над проектом, чтобы рассчитать некоторые серьезные вещи, такие как токи и потенциалы, излучаемые из данной структуры.
Я следил за блогом, написанным Conal Elliott (здесь еще Линейные карты), что очень приятно и фундаментально.
К сожалению, мне не хватает простого примера:)
Чтобы быть более точным, у меня есть кривая
f:[0,1] in R -> R³
t -> a*e_y + 2*t*e_z
которая является простой прямой в (0, a, 2 * t). Когда я хочу вычислить производную f, например. для длины кривой я знаю математический результат, который довольно прост (0,0,2), но как это сделать в Haskell, особенно с vector-space?
Я действительно хочу использовать эту библиотеку из-за ее функциональности, это именно тот подход, который я бы взял тоже (но я не настолько далеко продвинулся по дороге Haskell)
Что я до сих пор знаю:
{-# LANGUAGE Rank2Types, TypeOperators, FlexibleContexts, TypeFamilies #-}
{-# OPTIONS_GHC -Wall #-}
import Numeric.GSL.Integration
import Data.VectorSpace
import Data.Basis
import Data.Cross
import Data.Derivative
import Data.LinearMap
type Vec3 s = Three s
prec :: Double
prec = 1E-9
f1 :: (Floating s, VectorSpace s, Scalar s ~ s) => s -> s
f1 = id
c1 :: Double -> Vec3 Double
c1 = \t -> linearCombo [((v 0 0 1),f1 t),(( v 0 1 0),2)]
derivC :: Double -> Vec3 (Double :> Double)
derivC t = c1 (pureD t)
Это фактическая реализация функции pureD, до сих пор ничто из того, что я пробовал, не работает, чтобы получить этот фрагмент для компиляции. Я получаю следующую ошибку:
tests.hs:26:12:
Couldn't match expected type `Double :> Double'
with actual type `Double'
Expected type: Vec3 (Double :> Double)
Actual type: Vec3 Double
In the return type of a call of `c1'
In the expression: c1 (pureD t)
Failed, modules loaded: none.
Существует также графическая библиотека, которая использует векторное пространство, и есть даже пример на торе, где используется pureD. Я попытался вывести пример, но я не вижу, как я могу сопоставить его с моей проблемой.
Любая помощь будет принята с благодарностью.
Заранее спасибо
PS: Я не могу опубликовать все ссылки, которые мне бы хотелось, но я желаю предоставить