Commit Graph

443 Commits

Author SHA1 Message Date
Sam Nolan
a590a84e33 Remove Docsify as dependency 2022-04-22 10:32:29 -04:00
Sam Nolan
3da34a59ff Removed bs-json as a dependency 2022-04-22 10:23:27 -04:00
Umur Ozkul
2c5c5095b8 moved externalBindings to ReducerInterface 2022-04-22 04:51:31 +02:00
Sam Nolan
cfb969f2b3 Remove rescript warning 102 2022-04-21 18:42:15 -04:00
Sam Nolan
6eddb5a4af Remove warning 20 2022-04-21 18:19:38 -04:00
Sam Nolan
e1bf47b6b3 Remove old parser and warning 27 2022-04-21 18:09:06 -04:00
Umur Ozkul
b903863fe7 eval partial all tested 2022-04-22 00:07:34 +02:00
Umur Ozkul
2aa3a5ac48 format 2022-04-22 00:02:27 +02:00
Umur Ozkul
5038e2c691 eval partial tested 2022-04-21 23:55:23 +02:00
Sam Nolan
10d9d8bc37 Fix warning 41 2022-04-21 17:30:39 -04:00
Umur Ozkul
a02bc27852 eval partial tested 2022-04-21 21:33:12 +02:00
Umur Ozkul
4826337a6a eval with bindings tested 2022-04-21 19:41:18 +02:00
Umur Ozkul
46f3ee3d2c parse partial tested 2022-04-21 19:16:09 +02:00
Umur Ozkul
6b800c498e Merge branch 'develop' into reducer-dev 2022-04-21 18:36:47 +02:00
Umur Ozkul
a3a7b9b269 remove unused case 2022-04-21 18:22:36 +02:00
Umur Ozkul
f272568b97 Merge branch 'develop' into reducer-dev
packages/squiggle-lang/src/rescript/Reducer/Reducer_Expression/Reducer_Expression.res
2022-04-21 18:20:54 +02:00
Quinn Dougherty
cc29eb33be used skip instead of commenting out 2022-04-20 19:07:25 -04:00
Quinn Dougherty
264d970348 code review. 2022-04-20 18:48:04 -04:00
Quinn Dougherty
a5cb34ff7f eerge remote-tracking branch 'origin/develop' into ts-property 2022-04-20 16:58:51 -04:00
Ozzie Gooen
e83d5b111d
Merge pull request #323 from quantified-uncertainty/fix-reducer-warnings
Fix rescript warnings
2022-04-20 14:17:28 -04:00
Sam Nolan
c2b93831e3 Fix rescript warnings 2022-04-20 13:51:27 -04:00
Quinn Dougherty
806ba86446 fixed lint 2022-04-20 12:13:31 -04:00
Quinn
c101cdac18
update signature for result 2022-04-20 11:54:17 -04:00
Quinn
cbd93b7e79
back out of double Ok 2022-04-20 11:50:08 -04:00
Quinn
4631c183d9
wrap #Cauchy in Ok 2022-04-20 11:49:41 -04:00
Quinn
5875880c06
nested Ok because cauchy requires no input validation 2022-04-20 11:44:33 -04:00
Quinn
0540fef63a
Update ReducerInterface_GenericDistribution.res 2022-04-20 11:39:00 -04:00
Quinn
017cbe7274
hotfix: cauchy in binary dist constructors 2022-04-20 11:22:10 -04:00
Quinn Dougherty
3ff810ee1b commented out tests are now explained 2022-04-20 00:50:46 -04:00
Quinn Dougherty
4f5a1ff946 factored into TestHelpers.ts file 2022-04-19 23:42:24 -04:00
Quinn Dougherty
1395a36c63 fixed or bailed from failing tests; added typescript code coverage to codecov 2022-04-19 22:58:09 -04:00
Quinn Dougherty
36f929b726 Tackled infinite loop by changing float64Array generator to
`float32Array` generator; gave up on avoiding `any` type in
`Jstat_test.ts`
2022-04-19 20:52:53 -04:00
dependabot[bot]
eb578e3d00
Bump mathjs from 10.4.3 to 10.5.0
Bumps [mathjs](https://github.com/josdejong/mathjs) from 10.4.3 to 10.5.0.
- [Release notes](https://github.com/josdejong/mathjs/releases)
- [Changelog](https://github.com/josdejong/mathjs/blob/develop/HISTORY.md)
- [Commits](https://github.com/josdejong/mathjs/compare/v10.4.3...v10.5.0)

---
updated-dependencies:
- dependency-name: mathjs
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-19 14:42:16 +00:00
Umur Ozkul
da37536b4b Merge branch 'develop' into reducer-dev 2022-04-17 20:38:20 +02:00
Umur Ozkul
52ac2e2ece Binding tests imlemented and skipped 2022-04-17 20:36:04 +02:00
Umur Ozkul
e2015e1098 Outer and Partial: test helpers defined 2022-04-17 20:07:21 +02:00
Umur Ozkul
0585aa33a9 parseOuter, parsePartial 2022-04-17 19:47:05 +02:00
Umur Ozkul
b1e2b27cee partials compile. TODO tests 2022-04-17 19:24:39 +02:00
Ozzie Gooen
cf9c12f786
Merge pull request #258 from quantified-uncertainty/handle-arrays-in-components
Playground improvements with new types
2022-04-15 19:18:49 -04:00
Ozzie Gooen
69fb8be1f1 Ran prettier on index.ts, improved playground showing in website 2022-04-15 18:00:31 -04:00
Ozzie Gooen
20f93539ad Merged with develop 2022-04-15 16:32:22 -04:00
Ozzie Gooen
fe2be53d04
Merge pull request #295 from quantified-uncertainty/add-isNormalized
Added isNormalized function, for testing
2022-04-15 16:30:56 -04:00
Ozzie Gooen
9febf3f182 Changed isNormalize in response to CR 2022-04-15 16:28:51 -04:00
Ozzie Gooen
2ed7d03005 Added formatting 2022-04-15 14:10:17 -04:00
Ozzie Gooen
2df6a7f537 Removed Js.log 2022-04-15 13:59:25 -04:00
Ozzie Gooen
73b950078d Added isNormalized function, for testing 2022-04-15 13:58:00 -04:00
c15412642a fix: Failing tests 2022-04-15 13:01:49 -04:00
8743b235d6 fix: typo 2022-04-15 12:54:04 -04:00
Umur Ozkul
7ab69a1708 issue 234
Define partial code
2022-04-15 14:48:58 +02:00
Umur Ozkul
3f95ca455b imports #234 2022-04-15 08:56:48 +02:00
1677d63375 fix: std of lognormal symbolic division 2022-04-14 21:54:06 -04:00
Ozzie Gooen
4918ee790a Merged with develop 2022-04-14 20:18:20 -04:00
9910afd74b fix: Failing tests
The tests were wrong, not the code. Feels like it should be
the other way around
2022-04-14 16:52:36 -04:00
6d82adca25 Merge branch 'develop' into audit-2022-04-14-SymbolicDist.res 2022-04-14 16:50:37 -04:00
aad6a9c603 fix: Bad tests
These tests are failing because I increased the precision of a magic
constant.

This might be a signal that these are bad tests
2022-04-14 16:35:24 -04:00
bd3f2c99d1 tweak: add explanation for magic number 2022-04-14 16:25:15 -04:00
e5655dc2d1 fix: formatting 2022-04-14 16:20:23 -04:00
69148bb350 fix: Rescript bugs 2022-04-14 16:17:59 -04:00
Ozzie Gooen
8854eed91e
Merge pull request #242 from quantified-uncertainty/analytic-normal
Analytic normal
2022-04-14 16:11:36 -04:00
ec9c67f090 feat: Audit SymbolicDist.res
- Fix buggy lognormal multiplication code
- Add precision to 90% confidence intervals code
- Simplified lognormal code
- Added sources for many of the manipulations
2022-04-14 16:03:54 -04:00
Umur Ozkul
53c44cdc9d refactor macro definitions 2022-04-14 18:17:45 +02:00
Umur Ozkul
1fa1867470 Merge branch 'develop' into reducer-dev 2022-04-14 17:04:54 +02:00
Umur Ozkul
35f7077248 remove unused code 2022-04-14 17:02:01 +02:00
Umur Ozkul
fb63d44ab9 PR#226 2022-04-14 17:00:12 +02:00
Quinn
a9cbcf2079
hotfix: develop-- branch deploy rather than deploy preview in module docstring 2022-04-13 21:12:40 -04:00
Umur Ozkul
9b4f397859 remove unnecessary rec 2022-04-14 03:10:45 +02:00
Umur Ozkul
de379b6c04 Merge branch 'develop' into reducer-dev 2022-04-14 03:03:08 +02:00
Quinn Dougherty
b3c0adcd30 last CR comments 2022-04-13 20:58:16 -04:00
Umur Ozkul
4512ad623a Add dead code analysis 2022-04-14 02:41:22 +02:00
Umur Ozkul
daf2a27182 PR#226, add missing variants to switch statements
Code is passing unit tests however there were missing variands. Fixed
2022-04-14 02:40:59 +02:00
Quinn Dougherty
99d1c345c5 CR comments 2022-04-13 19:58:36 -04:00
Ozzie Gooen
478bbf5740 First attempt at handling arrays and records 2022-04-13 19:37:59 -04:00
Quinn Dougherty
b0ff2c19f5 yarn format 2022-04-13 19:18:08 -04:00
Quinn Dougherty
24fe66c9d3 6/6 tasks done 2022-04-13 19:17:49 -04:00
Quinn Dougherty
3bf571f953 CR comment 2022-04-13 12:06:50 -04:00
Quinn Dougherty
7e6a26a2d0 comments and type signatures 2022-04-13 11:54:37 -04:00
Quinn Dougherty
165427f137 refactored to a higher level of abstraction 2022-04-13 10:30:23 -04:00
Quinn Dougherty
e9e6cab099 silenced warning about toString not having switch case for ArgumentError 2022-04-13 10:26:10 -04:00
Sam Nolan
948a8dd651 Add analytic solutions for normal and lognormal 2022-04-13 15:11:14 +10:00
Quinn Dougherty
b6e423a6e3 fixed bug after rebase: hope it doesn't cause problems 2022-04-13 01:08:51 -04:00
Quinn Dougherty
de81928ea9 Ran yarn format 2022-04-13 01:05:09 -04:00
Quinn Dougherty
8287f51aae yarn test:quick to skip invariants 2022-04-13 01:05:09 -04:00
Quinn Dougherty
72b557d64a renamed Algebra subdir to Invariants 2022-04-13 01:05:09 -04:00
Quinn Dougherty
af0577f85e test count: 386 2022-04-13 01:05:09 -04:00
Quinn Dougherty
59fcd6a26c intermediate commit to checkout something else 2022-04-13 01:05:08 -04:00
Quinn Dougherty
dd53c7554b (rebase): begin setup for big redo 2022-04-13 01:05:08 -04:00
Quinn Dougherty
396fb9f6b0 intermediate commit before I do a rebase 2022-04-13 01:05:08 -04:00
Quinn Dougherty
12d2397b57 improved messaging 2022-04-13 01:05:08 -04:00
Quinn Dougherty
49174827f8 (rebase): added more test 2022-04-13 01:05:08 -04:00
Quinn Dougherty
9d857bf79b (rebase): documented ratio of lognormals 2022-04-13 01:05:08 -04:00
Quinn Dougherty
a637fe5dff inv precise 2022-04-13 01:05:08 -04:00
Quinn Dougherty
a64cd75ead inv and cdf 2022-04-13 01:05:08 -04:00
Quinn Dougherty
6a4d615d3d (rebase): (rebase): (rebase): **refactor**: rm duplicated genericDist and error declarations 2022-04-13 01:04:53 -04:00
Sam Nolan
348b1c9ac6 Add normal distribution analytical simplifications 2022-04-13 14:36:30 +10:00
Sam Nolan
117c08bfa9 Fix unweighted average of distributions 2022-04-13 12:03:04 +10:00
Sam Nolan
38135f0c81 Merge branch 'develop' into mix-distributions 2022-04-13 11:22:43 +10:00
Quinn Dougherty
b17f638483 EBindings -> T.EBindings 2022-04-12 20:48:53 -04:00
Quinn Dougherty
4f95c019eb yarn format 2022-04-12 20:22:19 -04:00
Sam Nolan
e234951d62 Hotfix bundle failure 2022-04-13 10:14:11 +10:00
Sam Nolan
f2f885f269 Hotfix Typescript checker failing 2022-04-13 10:07:33 +10:00
Umur Ozkul
fea990de2d Sam's patch PR#226 2022-04-13 01:34:06 +02:00
Umur Ozkul
d1ea15e4f9 fix ts export 2022-04-12 17:12:19 +02:00
Umur Ozkul
1b4422bb90 revise lisp references - close umuro/squiggle#50 2022-04-12 16:26:55 +02:00
Umur Ozkul
a95cdfabe3 dont use short Desc - close umuro/squiggle#51 2022-04-12 16:19:50 +02:00
Umur Ozkul
05b5efce18 remove -> in switch cases. close umuro/squiggle#59
squiggle
2022-04-12 16:15:27 +02:00
Umur Ozkul
4fe72b8fb4 remove Reduce_Expression.rsi.
Too many changes. Hot target. Preventing development
2022-04-12 15:47:46 +02:00
Umur Ozkul
9c7f930549 Merge branch 'develop' into reducer-dev
packages/squiggle-lang/src/rescript/Reducer/Reducer_Expression/Reducer_Expression.resi
2022-04-12 15:46:48 +02:00
Sam Nolan
f102d70d80 Add mixture alias 2022-04-12 17:45:44 +10:00
Sam Nolan
60a345dd6d Implement mx for distributions 2022-04-12 17:39:38 +10:00
Sam Nolan
d316ad0a07 Merge branch 'develop' into reducer-playground 2022-04-12 16:45:14 +10:00
Sam Nolan
e5f8b6c7d3 Fix build errors for components and lang 2022-04-12 16:21:32 +10:00
Sam Nolan
440bfabffa Run prettier on monorepo + fix crashing playground 2022-04-12 15:41:36 +10:00
Quinn
8a69c54fd8
coverage:ci 2022-04-11 20:33:32 -04:00
Umur Ozkul
352cccaab8
Merge branch 'develop' into reducer-dev 2022-04-12 01:47:07 +02:00
Quinn Dougherty
c7908e85a8 prettier is proper now with yarn scripts 2022-04-11 19:15:09 -04:00
Quinn Dougherty
a498ed4611 branch names in *.yml 2022-04-11 17:41:40 -04:00
Umur Ozkul
f0008c1e20 offer reducer:format as an example 2022-04-11 16:51:44 +02:00
Umur Ozkul
87116d12d5 reformat 2022-04-11 16:51:15 +02:00
Umur Ozkul
3a8e6a8f60 Merge branch 'staging' into reducer-dev 2022-04-11 16:42:37 +02:00
Umur Ozkul
660c0c70ae variables and statements
format only reducer

reformat lint

multi-line test

spelling

multi-line semantic mapping

todo multi-line eval

multi-line tests todo

change context to bindings

simplify tests

rename exception test methods

bindings is an expression value

make bindings callable

reformat

Emphasize the nature of Lisp AST

Initial definition of macros

make functions private

fixed functionNode type casting

macro call skeleton

sort ReducerInterface

fix test

macros skeleton

bindings is not a value

assignment semantics

let semantics defined

format

reformat

reformat

TODO function calls and list hd variables are confused

reformat

tmp

works

reformat

reformat

add test

reformat

add test
2022-04-11 16:31:10 +02:00
Quinn Dougherty
af3cab01bc added .resi files to lint checker 2022-04-11 09:35:25 -04:00
Sam Nolan
26433c5289 Fix failing tests based on new toString 2022-04-11 16:31:54 +10:00
Sam Nolan
cb07f5f68a A playground based on reducer 2022-04-11 16:16:29 +10:00
Quinn Dougherty
16258c2538 install dependencies in lint job 2022-04-11 01:27:21 -04:00
Quinn Dougherty
9f97213ec5 added deeper path in lint.sh 2022-04-11 01:24:56 -04:00
Quinn Dougherty
3f2cd652d4 path to rescript executable in lint.sh 2022-04-11 01:23:09 -04:00
Quinn Dougherty
3689caa1fc finally nailed the triggers! (I hope) 2022-04-11 01:08:54 -04:00
Quinn Dougherty
d4b00b15c1 debugging triggers again 2022-04-11 01:05:47 -04:00
Quinn Dougherty
19d5fa109b rescript format on DistPlus.res 2022-04-11 00:59:47 -04:00
Quinn Dougherty
518f082c53 (rebase): A rescript linter! 2022-04-11 00:24:12 -04:00
Quinn Dougherty
00e98766cb a rescript linter! 2022-04-11 00:23:15 -04:00
Quinn Dougherty
e4e8e4b847 ran rescript format on ProgramEvaluator.res 2022-04-11 00:23:15 -04:00
Sam Nolan
61b589d0bd Change typescript interface to reducer 2022-04-11 13:16:31 +10:00
Sam Nolan
6565d97f53 Rename eval to evaluate
eval is a JS keyword
2022-04-11 11:18:38 +10:00
Sam Nolan
d6c541036f Run prettier + add missing pointWiseAdd signature 2022-04-11 11:08:34 +10:00
Sam Nolan
8f49b64083 Fix failing lang tests due to rename 2022-04-11 11:06:13 +10:00
Sam Nolan
e5baf23950 Run prettier in squiggle-lang 2022-04-11 10:51:43 +10:00
Sam Nolan
1825b1f250 Type the lang typescript interface 2022-04-11 10:48:45 +10:00
Ozzie Gooen
eecd501d04 Merged with master 2022-04-10 13:22:57 -04:00
Ozzie Gooen
c94a70b93a Fixed tests 2022-04-09 21:56:05 -04:00
Ozzie Gooen
ec5dc4667f Samples_test -> SampleSetDist_test 2022-04-09 21:39:10 -04:00
Ozzie Gooen
5b0efbb3a8 Bandwidth -> SampleSetDist_Bandwidth 2022-04-09 21:31:34 -04:00
Ozzie Gooen
4338f482ef Added genType to SampleSetDist to make pass tests, other minor fixes 2022-04-09 21:24:44 -04:00
Ozzie Gooen
9ad73fe69b Power should be ** to be consistent 2022-04-09 20:36:33 -04:00
Ozzie Gooen
db104694fd Cleaned up resultStringToResultError 2022-04-09 20:34:21 -04:00
Ozzie Gooen
f17a842c52 Cleanup from previous refactor 2022-04-09 20:27:03 -04:00
Ozzie Gooen
fa3d874a4e Start of refactor for toPointSetDist 2022-04-09 20:21:02 -04:00
Ozzie Gooen
61aaca3e2f Gave SampleSetDist a private type 2022-04-09 18:10:06 -04:00
Ozzie Gooen
9430653b7a Namechange: Exponential -> Power 2022-04-09 12:37:26 -04:00
Ozzie Gooen
54b6b18d3a Cleanup and commenting for PR 2022-04-08 22:55:06 -04:00