[<<][meta_siso][>>][..]

Bridge meta/dspm with rai. RAI: practical (working) C code generator with ad-hoc model. DSPM: collection of Haskell type classes, extracting the useful combinators. The 4 problems: - properly relate composition of implementation of state machines to arrows. their behavior is already arrow like. - time domain: represent sub/super-sampling. some ad-hoc implementation of this exists. find a way to abstract. - integrate spatial domain operations as presented in Feldspar - allow for the abstraction of data primitives (e.g. parameterize over the the instruction set of a DSP).

20160216 Haskell vs. Scheme

20150904 Block computing

20150830 Functions of signals

20150829 Sequences as folds

20150823 Loop fusion for accumulating maps

Next?

sys vs <*>

20150821 Vector representation

ReturnVec

20150820 Vector output

Abstract Vectors

Code vector representation

While loop

20150819 curried Comp function induction

Curried primitives

accelerate

Feldspar fusion trick

20150818 Next

Unfold

Struct

Normal forms

If (Int -> m t) works, [m t] or m [t] should work as well.

20150817 Int -> m t

RSignal.hs

Joining state

Comonads?

Running in circles

r (Sig m t) ?

What does it mean?

goals recap

Expressing temporal behavior

Pair again

Trying out Applicative representation

20150815 Feedback does produce "infinite lists"

Eval: finite lists?

20150814 m

Status

Pair

Expression syntax

Allowing expressions

Taking out Siso.hs

Unweildy

20150813 Comp (Sig Comp o) -> Sig Comp o

Missing Link: generate Comp signals

Not getting it

SysState, StateFB, StateFold

20150811 Signals and connectors.

Only applicative?

20150809 Signal-oriented..

Two things to solve by re-arranging

20150807 Ordinary state monad

Seq?

20150806 Applicative remarks

20150805 Prelim conclusion

Monad...

It's the outputs.

The other monad

20150804 Applicative signal processor

20150803 Duplication

Applicative: Conclusions & Questions

Next

(a -> a -> m a ) -> m a -> m a -> m a

lifting Ring over Sys

20150802 fold over sys

Multiple vectors

commutation again

Next: generic Term traversal

CompRed try

GHC error

State as hierarchical binding constructs

Continuation Monad - reasoning problems

20150801 Next: fish out state

Dumping state

20150731 next: fold

weird error

20150729 Representation of Collection, or collection of representations?

So what's the type for mix?

Liftable...

20150726 Space

next: Space

20150725 next: define Ring over (,)

Compiling Sys

Compilation monad

nesting Sys

20150724 Structuring

s -> i -> (s, o)

Data.hs from meta/dspm

Target Assembly

20150723 Representation type constructor

Next

20150722 Compiler instance

Data spec

Removing the 2 approaches comment

20150721 Compilation monad

Figure out the code generation existential

The problem is not the Arrow instance

Code gen / Existentials

20150720 Dont expose the state

Getting used to types

Pick apart

TODO

Quarks?

Phantom types and existential types

generator = language -> program

Stop

Only unit delay?

20150719 I'm looking at it the wrong way

Very interesting problem

This is a problem of levels

Parameterized arrow

Let's ask on the Haskell list

Causal or not?

Revisit after RAI implementation

[Reply][About]

[<<][meta_siso][>>][..]