Commit Graph

788 Commits

Author SHA1 Message Date
Ozzie Gooen
9f0e4f34fe First attempt at integrating namespaces 2022-07-07 12:01:02 -07:00
Ozzie Gooen
6e968c492b
Merge pull request #786 from quantified-uncertainty/reducer-modules
Module.defineFFI
2022-07-05 21:26:20 -04:00
Ozzie Gooen
4054f7dbff
Small beta error message change 2022-07-05 19:48:41 -04:00
Umur Ozkul
29c9cad510 remove dead line 2022-07-05 06:19:42 +02:00
Umur Ozkul
f5f2d94fbc remove dead line 2022-07-05 06:17:15 +02:00
Umur Ozkul
a285d0b493 fix peggy warning 2022-07-05 06:17:03 +02:00
Umur Ozkul
6edacc78e4 foo test 2022-07-05 05:16:00 +02:00
Umur Ozkul
c0329dc73d resolve PR786 2022-07-05 00:58:25 +02:00
Quinn Dougherty
7889332052 polymorphic variants to neatly constrain types 2022-07-04 11:24:30 -04:00
Quinn Dougherty
4858aa9fe5 **most** comments, might do something with polymorphic variants so that types are more truthful next, but might not 2022-07-04 10:22:06 -04:00
Quinn Dougherty
9225710d2d Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-07-04 10:19:52 -04:00
Quinn Dougherty
7a419742ad moved error message sooner for invalid mean and stdev 2022-07-04 09:57:00 -04:00
Ozzie Gooen
d6bdf5bfeb Formatted code 2022-07-02 15:02:43 -04:00
Ozzie Gooen
d888f685d0 Quick fixes for EvType typescripting 2022-07-02 14:25:05 -04:00
Umur Ozkul
38cc93bdec Module.defineFFI 2022-07-02 14:53:33 +02:00
Quinn Dougherty
9dcac8dd48 fixed \-1\ I had forgotten; added basic mean tests 2022-06-30 12:20:50 -04:00
Quinn Dougherty
54cd636524 added comment for more direct wikipedia citation 2022-06-27 14:37:12 -04:00
Quinn Dougherty
14189fd848 #497 (no tests or examples) 2022-06-27 14:31:35 -04:00
Quinn Dougherty
acb0d3b9ee removed \TwoScalars\ material 2022-06-26 12:28:04 -04:00
Vyacheslav Matyukhin
8880b91c28
peggy: require instead of import, fixes tests 2022-06-26 12:13:38 +03:00
Vyacheslav Matyukhin
7cbece9212
optional location on NodeString (for record keys) 2022-06-26 11:42:33 +03:00
Vyacheslav Matyukhin
5a2b5b2a4d
return typed peggy AST from parse 2022-06-26 11:14:51 +03:00
Quinn Dougherty
29cf1cebb2 fixed paths to constructors 2022-06-24 09:19:15 -04:00
Quinn Dougherty
e0e2f12e27 added path to constructors 2022-06-24 09:07:15 -04:00
Quinn Dougherty
9dbd4f076c fixed paren balancing and so on 2022-06-24 08:56:16 -04:00
Quinn Dougherty
3e67180fe1 Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-06-24 08:48:07 -04:00
Ozzie Gooen
aeea4806b4
Merge pull request #752 from quantified-uncertainty/reducer-typescript-wall
Reducer typescript wall
2022-06-24 05:43:21 -07:00
Sam Nolan
3b84c2892c Fix typescript errors (start raw decoding early) 2022-06-24 10:53:53 +00:00
Umur Ozkul
e192fe5790 PR comments 2022-06-24 12:15:38 +02:00
Ozzie Gooen
934608d971
Merge pull request #750 from quantified-uncertainty/language-server
Language server; error location in SyntaxErrors
2022-06-23 17:30:29 -07:00
Umur Ozkul
07d5c6d8b3 Iev -> IEv Just more readable prefix 2022-06-23 20:38:07 +02:00
Umur Ozkul
24a9c52789 Merge branch 'develop' into reducer-typescript-wall 2022-06-23 20:07:05 +02:00
Quinn Dougherty
b74b83a2cb Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-06-23 11:34:03 -04:00
Sam Nolan
2b8545ad04 Fix 1 + distribution having reverse ordered points
Fixes #595
2022-06-23 03:40:40 +00:00
Umur Ozkul
e23f8b011b Merge branch 'develop' into reducer-typescript-wall
packages/squiggle-lang/src/rescript/ReducerInterface/ReducerInterface_GenericDistribution.res
packages/squiggle-lang/src/rescript/SquiggleLibrary/SquiggleLibrary_Math.res
2022-06-23 04:29:13 +02:00
Umur Ozkul
95d3bf6eaa merge Reducer 2022-06-23 04:03:50 +02:00
Umur Ozkul
7b2c16d90f fix typescript test 2022-06-23 04:03:14 +02:00
Umur Ozkul
ac9a468aa6 Reducer InternalExpressionValue created
this will allow complicated changes to execution without changing the typescript interface
2022-06-23 02:25:54 +02:00
Vyacheslav Matyukhin
84a0d83efb
store location on RESyntaxError; export parse() function 2022-06-22 00:34:35 +03:00
Quinn Dougherty
d80ea676c5 fixed tests after pair; error'd out mixed case 2022-06-21 12:23:58 -04:00
Quinn Dougherty
95adc67701 some adjustments I guess 2022-06-21 11:55:15 -04:00
93f5b4ba2a feat: Fix remaining scoring errors with Quinn
Value::0.3 to 0.9
2022-06-20 16:39:48 -04:00
4b1c226173 fix: PointSetDist_Scoring.WithScalarAnswer.scoreWithPrior
Done in pair coding with Quinn.
Value::[0.3 to 0.9]
2022-06-20 16:14:41 -04:00
Quinn Dougherty
633bab9c30 a fistful of comments 2022-06-20 11:11:11 -04:00
Quinn Dougherty
1a6ced0373 a few comments more 2022-06-20 09:34:56 -04:00
Quinn Dougherty
d156b24fd1 \yarn format\ pass 2022-06-20 08:51:34 -04:00
Quinn Dougherty
f5366540f7 Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-06-20 08:50:59 -04:00
Quinn Dougherty
18733f2d09 merged 592 2022-06-20 08:47:16 -04:00
Quinn Dougherty
74fe0296e0 Merge remote-tracking branch 'origin/scoring-cleanup-refactor' into scoring-cleanup-three 2022-06-20 08:36:31 -04:00
Quinn Dougherty
584c639d01 some of the comments 2022-06-20 08:28:30 -04:00
Ozzie Gooen
8d311a099d Added scaleMultiply 2022-06-17 06:44:06 -07:00
Ozzie Gooen
d4535df712
Merge pull request #696 from quantified-uncertainty/normalize-after-truncate
Normalize after truncate
2022-06-14 17:14:03 -07:00
Ozzie Gooen
6278dff818 Ran formatting 2022-06-14 17:00:09 -07:00
Ozzie Gooen
7ceae18611 Normalize after trunctae 2022-06-14 16:54:59 -07:00
Ozzie Gooen
62ed997de2 More progress on DistGeneric 2022-06-13 18:13:43 -07:00
Ozzie Gooen
6a4132c955 Ran format 2022-06-13 12:10:24 -07:00
Ozzie Gooen
2dc71315ef Added key math variables, all lowercase 2022-06-13 11:43:26 -07:00
Ozzie Gooen
f01df95381 Merge branch 'develop' into documentation-refactor-June12-2022
* develop:
  ⬆️ Bump @storybook/builder-webpack5 from 6.5.7 to 6.5.8
  ⬆️ Bump @storybook/react from 6.5.7 to 6.5.8
  ⬆️ Bump @storybook/addon-essentials from 6.5.7 to 6.5.8
  always merge stdlib
  ⬆️ Bump webpack-dev-server from 4.9.1 to 4.9.2
  ⬆️ Bump @types/node from 17.0.40 to 17.0.42
  ⬆️ Bump reanalyze from 2.22.0 to 2.23.0
  ⬆️ Bump @storybook/manager-webpack5 from 6.5.7 to 6.5.8
  ⬆️ Bump @storybook/addon-actions from 6.5.7 to 6.5.8
  ⬆️ Bump webpack-cli from 4.9.2 to 4.10.0
  ⬆️ Bump @storybook/addon-links from 6.5.7 to 6.5.8
  ⬆️ Bump @hookform/resolvers from 2.9.0 to 2.9.1
  ⬆️ Bump react-hook-form from 7.31.3 to 7.32.0
  ⬆️ Bump tailwindcss from 3.0.24 to 3.1.2
2022-06-13 11:04:21 -07:00
Umur Ozkul
e661665385 Merge branch 'develop' into reducer-modules 2022-06-13 18:56:37 +02:00
Umur Ozkul
28938adf53 always merge stdlib 2022-06-13 18:54:48 +02:00
Ozzie Gooen
bb85869303 Lots of documentation tweaks 2022-06-12 21:19:28 -07:00
Ozzie Gooen
a690cd15fd
Merge pull request #638 from quantified-uncertainty/Documentation-auto-generation
First attempt at a complete API definition
2022-06-11 13:37:27 -07:00
Ozzie Gooen
79b71c39a0 Ran formatter and fixed tests 2022-06-11 08:47:52 -07:00
Umur Ozkul
f406ae9053 Merge branch 'develop' into reducer-modules 2022-06-11 15:23:54 +02:00
Umur Ozkul
0704c8d9f5 module tests pass 2022-06-11 15:15:25 +02:00
Ozzie Gooen
6dc8b711bb Lots of simple cleanup to api docs 2022-06-10 17:35:48 -07:00
Ozzie Gooen
590480d4e1 Merged with develop 2022-06-10 11:53:04 -07:00
Ozzie Gooen
7226a06d39
Merge pull request #662 from quantified-uncertainty/utility-functions
Adds a few utility functions
2022-06-10 11:18:54 -07:00
Ozzie Gooen
844dfd369c
Update FunctionRegistry_Library.res 2022-06-10 11:17:47 -07:00
Umur Ozkul
69bab17331 Math module tests defined (failing)
rename modules

define module

Math module

test helper fixed for defaults and test defined
2022-06-10 16:35:39 +02:00
Umur Ozkul
3ca209a53d bindings and module managers
bindings are a module
2022-06-10 14:19:42 +02:00
Ozzie Gooen
8fd5c6a1be Merge branch 'develop' into Documentation-auto-generation
* develop: (22 commits)
  components-lint respects components prettierignore
  format main.css and prettierignore base.css
  scoped tailwind preflight, top-level .squiggle wrapper
  grammar: identifiers with modules
  Refactored reducerInterface files
  Added simple scientific units
  Added stdev to table of stats, when needed
  Added stdev and variance to Distribution Operation Constructors
  Quick addition of stdev-variance-min-max-mode
  ⬆️ Bump @types/node from 17.0.38 to 17.0.40
  ⬆️ Bump webpack from 5.72.1 to 5.73.0
  ⬆️ Bump @storybook/react from 6.5.6 to 6.5.7
  ⬆️ Bump ts-node from 10.8.0 to 10.8.1
  ⬆️ Bump @storybook/builder-webpack5 from 6.5.6 to 6.5.7
  ⬆️ Bump peggy from 2.0.0 to 2.0.1
  ⬆️ Bump @storybook/addon-essentials from 6.5.6 to 6.5.7
  ⬆️ Bump @storybook/preset-create-react-app from 4.1.1 to 4.1.2
  ⬆️ Bump @hookform/resolvers from 2.8.10 to 2.9.0
  ⬆️ Bump typescript from 4.7.2 to 4.7.3
  ⬆️ Bump @storybook/manager-webpack5 from 6.5.6 to 6.5.7
  ...
2022-06-09 16:50:46 -07:00
Umur Ozkul
2f4db3230d format 2022-06-09 15:53:07 +02:00
Ozzie Gooen
e4eceb9cd3 Minor fix for EvModule support 2022-06-09 06:44:03 -07:00
Ozzie Gooen
1acd4fc259 Minor cleanup 2022-06-09 06:34:31 -07:00
Umur Ozkul
afffdd8559 typescript work in progress 2022-06-09 15:27:51 +02:00
Umur Ozkul
710756bc50 EvModule defined 2022-06-09 15:27:37 +02:00
Umur Ozkul
b623be5f9b format 2022-06-09 14:57:35 +02:00
Umur Ozkul
02c06b638e module access to expression 2022-06-09 14:57:25 +02:00
Umur Ozkul
346c83f2be module parse 2022-06-09 14:35:44 +02:00
Umur Ozkul
cfcf3cb144 module grammar type correction 2022-06-09 14:30:17 +02:00
Ozzie Gooen
b48a0575d9 Cumprod and formatting 2022-06-08 08:21:20 -07:00
Umur Ozkul
b41e32805c grammar: identifiers with modules 2022-06-08 17:00:17 +02:00
Ozzie Gooen
fc40744053 Simple additions of first, last, cumulative sum, diff 2022-06-08 08:00:06 -07:00
Ozzie Gooen
12cdb4ed36 Added dict keys, values, fromList, toList 2022-06-08 07:24:06 -07:00
Ozzie Gooen
8d1d08eaa0 Simple dict merge and mergeMany 2022-06-07 22:35:40 -07:00
Ozzie Gooen
0fcf7e197e Added listMake and upTo 2022-06-07 21:08:39 -07:00
Ozzie Gooen
ff3efeac4c Adding math utility functions 2022-06-07 09:40:24 -07:00
Ozzie Gooen
b022ea2fae
Merge pull request #656 from quantified-uncertainty/stdev-variance
Quick additions of Stdev, Variance, and Mode for SampleSet, and Min and Max for all
2022-06-06 15:52:02 -07:00
Ozzie Gooen
b675b33dfe Refactored reducerInterface files 2022-06-06 14:42:49 -07:00
Ozzie Gooen
a15c0fa888 Added simple scientific units 2022-06-06 13:55:51 -07:00
Ozzie Gooen
079553cd71 Added stdev and variance to Distribution Operation Constructors 2022-06-06 12:21:03 -07:00
Ozzie Gooen
7d9bae96e1 Quick addition of stdev-variance-min-max-mode 2022-06-06 12:08:00 -07:00
Ozzie Gooen
441ac3c251 Changed the name of select functions 2022-06-05 21:47:29 -07:00
Ozzie Gooen
6567f1b8ef Moved API files to API directory 2022-06-05 20:02:17 -07:00
Ozzie Gooen
b0b48c7129 First attempt at new API documentation generation 2022-06-04 09:26:52 -07:00
Ozzie Gooen
10de355f86 First attempt at auto-documentation 2022-06-03 17:59:02 -07:00
Umur Ozkul
9e4a70c516 Merge branch 'develop' into reducer-type-grammar 2022-06-02 14:29:33 +02:00
Umur Ozkul
6b25e82f58 typeExpression
type statements

type paranthesis

type paranthesis

comments

TODO

typeExpression

type statements

type paranthesis

type paranthesis

comments

TODO

peggy construct functions

typeExpression

type statements

type paranthesis

type paranthesis

comments

TODO

peggy construct functions

apply

typeExpression

type statements

type paranthesis

type paranthesis

comments

TODO

peggy construct functions

apply

all types are expressions

typeExpression

type statements

type paranthesis

type paranthesis

comments

TODO

peggy construct functions

apply

all types are expressions

modifiers

typeExpression

type statements

type paranthesis

type paranthesis

comments

TODO

peggy construct functions

apply

all types are expressions

modifiers

0 arg constructors and $ (low priority type modifier)

remove GeneratedParser.js

peggy test helpers

test type parsing

type of test defined

act of binding refactored

recognize all binding functions | "$_setBindings_$" | "$_setTypeOfBindings_$" | "$_setTypeAliasBindings_$"

doBindStatement

bindings default statemetn

doBindExpression

clone type references and type aliases

doSetBindingsInNamespace

member_of, min, max

typeOr

type function

type with expression
2022-06-02 14:20:55 +02:00
Ozzie Gooen
793c42ce20
Merge pull request #599 from quantified-uncertainty/toPointSet-fn 2022-06-02 05:16:32 -07:00
Sam Nolan
23bc41d61c Change import to import type when needed 2022-05-31 04:16:04 +00:00
Umur Ozkul
ac3fa859c0 Replace $$_block__$$ with {}
More redable language tests
2022-05-29 17:55:01 +02:00
Ozzie Gooen
178ec6f89d
Merge pull request #600 from quantified-uncertainty/issue597
fixed #597
2022-05-28 11:10:27 -04:00
Umur Ozkul
217a783d0a format 2022-05-28 16:02:16 +02:00
Umur Ozkul
ce5f12360a fixed #597 2022-05-28 15:52:35 +02:00
Ozzie Gooen
ba34c1abf1 Ran formatter 2022-05-27 14:09:17 -04:00
Ozzie Gooen
c2b90b7023 ToDiscretePointSet 2022-05-27 14:03:41 -04:00
Ozzie Gooen
f49697b64a Simple toContinousPointSet 2022-05-27 13:37:37 -04:00
Ozzie Gooen
70664c0a91
Merge pull request #591 from quantified-uncertainty/declare-test
Declare() functionality
2022-05-27 11:44:51 -04:00
Ozzie Gooen
3566311817 Did formatting 2022-05-27 09:44:36 -04:00
Ozzie Gooen
0da95bd21e Cleanup of SampleSet map 2022-05-27 09:40:49 -04:00
Ozzie Gooen
d3a2f391a7 Added map3 to samplesMap 2022-05-27 09:24:06 -04:00
Ozzie Gooen
20f901e3f8 Added Declaration toString 2022-05-27 07:58:43 -04:00
Ozzie Gooen
cbc51c23de Minor improvement of error type 2022-05-27 07:29:39 -04:00
Ozzie Gooen
d630f7335d Minor fixes 2022-05-26 08:23:43 -04:00
Ozzie Gooen
298d3923bc Fixed bug caused by bad genType format of Declaration 2022-05-25 19:27:15 -04:00
Ozzie Gooen
239abbdcf8 Minor refactors 2022-05-25 18:10:05 -04:00
Quinn Dougherty
6a9179d4b8 Last cleanup
Value: [1e-5 to 1e-3]
2022-05-25 14:40:39 -04:00
Quinn Dougherty
3aaad14f11 slghtly more robust solution to mixed kldivergences (and removed a
warning)

Value: [1e-5 to 1e-2]
2022-05-25 13:51:01 -04:00
Quinn Dougherty
a266b8ed09 Fixed tests (plausibly slightly naively)
Value: [1e-4 to 1e-1]
2022-05-25 13:38:55 -04:00
Quinn Dougherty
cbaf4c150d one CR comment; chasing kldivergence on mixeds bug
Value: [1e-10 to 1e-3]
2022-05-25 13:10:31 -04:00
Ozzie Gooen
5d8f07c1b4 Minor fixes 2022-05-25 10:55:03 -04:00
Quinn Dougherty
249f58d3d8 Slightly baffled why klDivergence : mixed x mixed -> float is busted.
Value: [1e-4 to 3e-2]

hypothesis: I need to reintroduce `combineAlongSupportOfSecondArgument`
2022-05-25 10:39:30 -04:00
Quinn Dougherty
f2460a5e12 It compiles
Value: [1e-3 to 4e-1]
2022-05-25 08:22:57 -04:00
Quinn Dougherty
3a56d6fca4 intermediate commit
Value: [1e-10 to 1e-5]
2022-05-25 08:22:57 -04:00
Quinn Dougherty
bafcb4f7b8 Cleaned up Scoring file: no dispatch yet
Value: [1e-4 to 6e-2]
2022-05-25 08:22:57 -04:00
Ozzie Gooen
c5673fd1b1 Trying to add squigglechart types for declaration 2022-05-24 19:14:13 -04:00
Ozzie Gooen
533c97c41c Added very simple lambdaDeclaration to React components 2022-05-24 17:23:37 -04:00
Ozzie Gooen
d1f2f71912 Made formal Declaration type 2022-05-24 17:02:27 -04:00
Ozzie Gooen
9185719641 Merge branch 'develop' into declare-test
* develop:
  Added type to appease bisect
  Minor additions to datetime units
  Trying to appease the CI tests, which are failing here for some reason.
  Delete Reducer_Peggy_GeneratedParser.js
  Formatted Code
  Moved DateTime functionality into separate file
  remove unit evaluation test
  generic unit support
  numbers with units (tested)
  Cleaned up arithmetic operations of time durations
  Simple better format for Duration toString
  More sophisticated makeFromYear function, that accepts floats
  Added better Duration toString and Date makeWithYear functionality
  Simple dateTime integration
2022-05-24 16:26:32 -04:00
Ozzie Gooen
f5fcd4f9ae Added type to appease bisect 2022-05-24 15:51:22 -04:00
Ozzie Gooen
628cb0c807 Minor additions to datetime units 2022-05-24 14:49:04 -04:00
Ozzie Gooen
822771afe8 Merge branch 'develop' into DateTime-integration
* develop:
  Delete Reducer_Peggy_GeneratedParser.js
  remove unit evaluation test
  generic unit support
  numbers with units (tested)
2022-05-24 14:30:33 -04:00
Ozzie Gooen
8757448900 Trying to appease the CI tests, which are failing here for some reason. 2022-05-24 14:28:02 -04:00
Ozzie Gooen
1e4aecd4fc
Delete Reducer_Peggy_GeneratedParser.js
I'm pretty sure this should be in the gitignore.
2022-05-24 14:23:26 -04:00
Ozzie Gooen
5fd5c1c1f8 Formatted Code 2022-05-24 14:12:49 -04:00
Ozzie Gooen
31e6f13472 Minor cleanup 2022-05-24 07:52:27 -04:00
Ozzie Gooen
6248818531 First attempt at function declaration 2022-05-23 20:49:10 -04:00
Umur Ozkul
5caad73586 Merge branch 'develop' into reducer-dev 2022-05-23 20:40:56 +02:00
Ozzie Gooen
8b0615eec0 Merged with develop 2022-05-23 14:38:15 -04:00
Ozzie Gooen
003b320acb Fixing lint and tests 2022-05-23 14:28:32 -04:00
Ozzie Gooen
faf4718f4d Merged with develop 2022-05-23 13:49:39 -04:00
Ozzie Gooen
bb5af13ddc Moved DateTime functionality into separate file 2022-05-23 13:44:41 -04:00
Umur Ozkul
a386eee570 remove unit evaluation test
We provide no implementation
2022-05-23 18:18:30 +02:00
Umur Ozkul
08c73ac22f Merge branch 'Umur-reducer-dev' into reducer-dev
packages/squiggle-lang/__tests__/Reducer/Reducer_Peggy/Reducer_Peggy_Parse_test.res
packages/squiggle-lang/src/rescript/Reducer/Reducer_Peggy/Reducer_Peggy_GeneratedParser.js
packages/squiggle-lang/src/rescript/Reducer/Reducer_Peggy/Reducer_Peggy_GeneratedParser.peggy
2022-05-23 18:07:50 +02:00
Umur Ozkul
0124181bce Merge branch 'generic-units' into Umur-reducer-dev
packages/squiggle-lang/src/rescript/Reducer/Reducer_Peggy/Reducer_Peggy_GeneratedParser.js
2022-05-23 18:02:21 +02:00
Umur Ozkul
107bce506f generic unit support 2022-05-23 17:51:38 +02:00
Quinn Dougherty
d32b6bb615 rm generated output
Value: [1e-10 to 1e-4]
2022-05-23 07:10:38 -04:00
Quinn Dougherty
ebcd228232 .gitignore, package.json, .prettierignore: #576
Value: [1e-7 to 1e-3]
2022-05-23 07:05:42 -04:00
Umur Ozkul
4628140069 numbers with units (tested) 2022-05-23 08:13:51 +02:00