search

singnet / ai-dsl

Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
MIT License
70 stars 18 forks source link

added simple linear regression using idris #5

Closed Eman22S closed 3 years ago

ngeiswei commented 3 years ago

@Eman22S, could you apply the suggestions of using zipWith and fst to simplify the code? I'm very pedantic when it comes to that sort of things, but that's cause I know how important it is to combat the growth of technical dept over time. Thanks.

ngeiswei commented 3 years ago

BTW, we'll probably want to use Vect instead of List especially when we start attempting to formalize linear regression and estimate its quality attribute (given say a noise and number of data points). But that is obviously better left for another PR.

sroberti commented 3 years ago

100% agree about preferring Vect over List whenever possible, if only to get past the requirements to prove that a List is non-empty for any non-trivial use cases.