Commit Graph

1182 Commits

Author SHA1 Message Date
Umur Ozkul
ddb6d7f958 remove opaque type violations 2022-08-19 23:20:45 +02:00
Umur Ozkul
7957b89bb4 remove opaque type violations 2022-08-19 23:19:30 +02:00
Umur Ozkul
05ce6d2872 Comment opaue type violations 2022-08-19 23:01:38 +02:00
Umur Ozkul
4bf5f33f25 result tag 2022-08-19 22:03:55 +02:00
Umur Ozkul
5c75da4736 TypescriptInterface functions 2022-08-19 21:58:06 +02:00
Umur Ozkul
d7ed875566 demolish external value 2022-08-19 21:12:04 +02:00
Umur Ozkul
f573c326d2 demolish ExternalValue 2022-08-19 21:01:02 +02:00
Umur Ozkul
decc12637f bind common type 2022-08-19 20:23:30 +02:00
Umur Ozkul
a9ce3ca40d fix errorValue 2022-08-19 20:11:43 +02:00
Umur Ozkul
3e3ae50498 fix getIncldues result 2022-08-19 20:09:26 +02:00
Umur Ozkul
14ceaa2667 missing genType 2022-08-19 19:54:20 +02:00
Umur Ozkul
3c1a49e44d index.ts 2022-08-19 18:44:32 +02:00
Umur Ozkul
610fa0227e opaque result 2022-08-19 18:28:03 +02:00
Umur Ozkul
bc7f1317da fix project test 2022-08-19 18:27:50 +02:00
Umur Ozkul
975b1ffda8 error value 2022-08-19 18:04:24 +02:00
Umur Ozkul
e9c55fe802 demolish FFI 2022-08-19 17:33:37 +02:00
Umur Ozkul
af4070a34f demolish external expression value 2022-08-19 17:30:29 +02:00
Umur Ozkul
f0ba68f64a project 2022-08-19 17:22:22 +02:00
Umur Ozkul
fdc7f06f08 result 2022-08-18 15:33:01 +02:00
Umur Ozkul
868f9f428a parametric types for typescript 2022-08-17 21:22:10 +02:00
Umur Ozkul
55c03ed520 missing gentype 2022-08-17 19:32:11 +02:00
Umur Ozkul
a8c7297621 TypeScript experiment 2022-08-17 18:57:34 +02:00
Umur Ozkul
3f92e7c3e1 Merge branch 'reducer-project' of github.com:quantified-uncertainty/squiggle into reducer-project 2022-08-16 19:02:05 +02:00
Umur Ozkul
32f3aeba13 tutorial TODO 2022-08-16 19:01:47 +02:00
Vyacheslav Matyukhin
c204156b75
fix gentype issues with "this" keyword 2022-08-16 20:58:47 +04:00
Umur Ozkul
454a545ef6 tutorial: initial
Also missing public API function
2022-08-16 17:07:15 +02:00
Vyacheslav Matyukhin
716ec61913
fix some gentype errors 2022-08-16 16:02:23 +04:00
Umur Ozkul
dc642774eb reformat 2022-08-16 02:49:16 +02:00
Umur Ozkul
b3a32b1231 more typescript friendly 2022-08-16 02:14:45 +02:00
Umur Ozkul
ee17bd9e57 more typescript friendly & remove an unnecessary call 2022-08-16 01:51:01 +02:00
Umur Ozkul
1b69ce3aa1 compatibility to change environment at runtime
There will be changes in develop to change environment at runtime. This
fix provides compatibility. So that they can be merged easier.
2022-08-15 15:18:14 +02:00
Umur Ozkul
66f2f18a00 fix merging develop 2022-08-15 14:45:45 +02:00
Umur Ozkul
58e1cf187d Merge branch 'develop' into reducer-project 2022-08-15 13:59:07 +02:00
Umur Ozkul
9075b74536 Edit comments 2022-08-14 17:40:52 +02:00
Umur Ozkul
0c1c5c9499 seperate Project Topology Module 2022-08-14 16:18:07 +02:00
Ozzie Gooen
5dd988ac13
Merge pull request #900 from quantified-uncertainty/reducer-typecheck-example
Reducer real life type checking example to build a library
2022-08-11 17:45:30 -07:00
Umur Ozkul
f21725d86c remove TODO 2022-08-10 12:09:06 +02:00
Umur Ozkul
2e8e71bbd0 project
test

remove setResult

parse end of outerblock

test end of outer block

compiles

testing

bindings tested

todo chain bindings

topological sort
2022-08-10 11:53:39 +02:00
Ozzie Gooen
63e2b1f8c9 Updated npm versions to 0.3.0 2022-08-09 11:55:49 -07:00
Ozzie Gooen
2aaa43008d Very simple implementation of pointset mapY 2022-08-08 10:31:05 -07:00
Forrest Wolf
90cd7f2a4a Fix example in squiggle-lang README 2022-08-04 15:00:05 -04:00
dependabot[bot]
bf90427bfa
⬆️ Bump fast-check from 3.1.0 to 3.1.1
Bumps [fast-check](https://github.com/dubzzz/fast-check/tree/HEAD/packages/fast-check) from 3.1.0 to 3.1.1.
- [Release notes](https://github.com/dubzzz/fast-check/releases)
- [Changelog](https://github.com/dubzzz/fast-check/blob/main/packages/fast-check/CHANGELOG.md)
- [Commits](https://github.com/dubzzz/fast-check/commits/v3.1.1/packages/fast-check)

---
updated-dependencies:
- dependency-name: fast-check
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-08-01 15:13:32 +00:00
Vyacheslav Matyukhin
37aa63438f
Merge pull request #917 from quantified-uncertainty/issue-916
Reducer lambda context, hiddenNameSpace
2022-07-31 00:35:13 +04:00
Vyacheslav Matyukhin
5d744fe2d0
fix genType 2022-07-31 00:20:51 +04:00
Umur Ozkul
4c21aa902e the last property of a record can have a following comma 2022-07-30 22:14:16 +02:00
Umur Ozkul
17c3fe9dd8 hiddenNameSpace 2022-07-30 16:58:45 +02:00
Vyacheslav Matyukhin
52bee6a0e3
fix EvVoid ts conversion 2022-07-29 23:35:11 +04:00
Ozzie Gooen
209ecafb22
Updating to version 0.3.0 2022-07-29 10:25:27 -07:00
Umur Ozkul
c6eb69628d merge issue 904 2022-07-29 05:53:47 +02:00
Umur Ozkul
1a5f8dee72 Merge branch 'develop' into reducer-typecheck-example 2022-07-29 05:52:35 +02:00
Umur Ozkul
5576bf2ef3 fixes #904. E.O.default performance 2022-07-29 02:12:07 +02:00
Umur Ozkul
e1c53c9087 any type
any will be depreciated after the implementation of binding type
variables
2022-07-28 22:25:51 +02:00
Umur Ozkul
6733319403 switch replacement by type checking 2022-07-28 22:20:00 +02:00
Quinn Dougherty
33e5ebd6da yarn format compels me 2022-07-28 10:43:59 -04:00
Umur Ozkul
fc88b065f5 remove unused test file 2022-07-28 13:42:27 +02:00
Ozzie Gooen
fb0aa72aac
Merge pull request #882 from quantified-uncertainty/issue-872
fixes #872
2022-07-25 12:10:36 -07:00
Umur Ozkul
66e48dd834 fixes #872 2022-07-25 19:56:18 +02:00
Ozzie Gooen
4c756a1448
Merge pull request #879 from quantified-uncertainty/dependabot/npm_and_yarn/mathjs-11.0.1
⬆️ Bump mathjs from 10.6.4 to 11.0.1
2022-07-25 09:08:00 -07:00
dependabot[bot]
6f1f23108b
⬆️ Bump mathjs from 10.6.4 to 11.0.1
Bumps [mathjs](https://github.com/josdejong/mathjs) from 10.6.4 to 11.0.1.
- [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.6.4...v11.0.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
2022-07-25 15:46:51 +00:00
Quinn
fbb6b03e5b
Merge pull request #878 from quantified-uncertainty/dependabot/npm_and_yarn/webpack-5.74.0
⬆️ Bump webpack from 5.73.0 to 5.74.0
2022-07-25 11:44:06 -04:00
dependabot[bot]
26a6f06c1a
⬆️ Bump webpack from 5.73.0 to 5.74.0
Bumps [webpack](https://github.com/webpack/webpack) from 5.73.0 to 5.74.0.
- [Release notes](https://github.com/webpack/webpack/releases)
- [Commits](https://github.com/webpack/webpack/compare/v5.73.0...v5.74.0)

---
updated-dependencies:
- dependency-name: webpack
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-07-25 14:25:33 +00:00
dependabot[bot]
712f393df6
⬆️ Bump fast-check from 3.0.1 to 3.1.0
Bumps [fast-check](https://github.com/dubzzz/fast-check/tree/HEAD/packages/fast-check) from 3.0.1 to 3.1.0.
- [Release notes](https://github.com/dubzzz/fast-check/releases)
- [Changelog](https://github.com/dubzzz/fast-check/blob/main/packages/fast-check/CHANGELOG.md)
- [Commits](https://github.com/dubzzz/fast-check/commits/v3.1.0/packages/fast-check)

---
updated-dependencies:
- dependency-name: fast-check
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-07-25 14:22:11 +00:00
Umur Ozkul
4a98cc210a fix compiler warnings 2022-07-22 17:49:53 +02:00
Ozzie Gooen
3165e1e499 Updated version 2022-07-21 13:57:11 -07:00
Ozzie Gooen
38ef109291 Merge branch 'develop' into add-reducer-to-function-registry
* develop:
  Simple refactors to versioning
2022-07-21 13:56:48 -07:00
Ozzie Gooen
e7d63a463c Merge branch 'develop' into add-reducer-to-function-registry
* develop:
  Simple version number
  ⬆️ Bump terser from 4.8.0 to 4.8.1
2022-07-21 13:55:04 -07:00
Ozzie Gooen
0d4141a899 Simple refactors to versioning 2022-07-21 13:51:14 -07:00
Ozzie Gooen
8dd7aff77f Simple version number 2022-07-21 13:48:51 -07:00
Ozzie Gooen
47f1be0702 Story cleanup 2022-07-21 11:29:59 -07:00
Ozzie Gooen
acebaa517b Simple SampleSet.fromDist function 2022-07-21 10:31:53 -07:00
Ozzie Gooen
223ddf6a3e Fixed bug with namespaces 2022-07-21 08:54:41 -07:00
Ozzie Gooen
d3a12eb4e9 Fixed bug with namespaces 2022-07-21 08:31:46 -07:00
Ozzie Gooen
aa3d91d78f Merge branch 'develop' into add-reducer-to-function-registry
* develop:
  Minor component fix to show Void statements
  Fixed typescript build
  Introduce void type
2022-07-20 16:50:49 -07:00
Ozzie Gooen
4055d1e93c
Merge pull request #865 from quantified-uncertainty/reducer-void
Reducer: void type
2022-07-20 16:46:48 -07:00
Ozzie Gooen
078534f7c8 Fixed typescript build 2022-07-20 08:27:57 -07:00
Umur Ozkul
1c4557b638 Introduce void type
yarn all:rescript

EvVoid

parsing void

void
2022-07-20 17:01:42 +02:00
Ozzie Gooen
9173b103f5 Fixed major bug for module functions 2022-07-19 23:06:10 -07:00
Ozzie Gooen
90d3f89c0a Trying to fix things, but breaking a lot of tests. 2022-07-19 21:32:11 -07:00
Ozzie Gooen
35cd9f37d1 Basic changes to API 2022-07-19 20:52:08 -07:00
Ozzie Gooen
100ec2c1a8 Adjusting documentation to reflect new functions 2022-07-19 16:18:28 -07:00
Ozzie Gooen
7316d27b54 Added SampleSet fns to FunctionRegistry 2022-07-19 15:52:28 -07:00
Ozzie Gooen
f8d6db61c5 Moved list functions into FunctionRegistry 2022-07-19 10:35:31 -07:00
Ozzie Gooen
835ce6b81f Added reducer to Function Registry 2022-07-19 08:42:08 -07:00
Ozzie Gooen
28036bfb36 Minor cleanup 2022-07-19 08:12:04 -07:00
Ozzie Gooen
ee244463fa Merged with develop 2022-07-18 22:27:59 -07:00
Ozzie Gooen
5891d23462
Merge pull request #845 from quantified-uncertainty/reducer-typecheck
Reducer typecheck
2022-07-18 22:25:40 -07:00
Ozzie Gooen
6f25fca814 Minor cleanup 2022-07-18 22:21:57 -07:00
Ozzie Gooen
173c17e13d Simple cleanup 2022-07-18 22:17:38 -07:00
Ozzie Gooen
dbfee988d2 Pulled out cache in Registry, to make more sense 2022-07-18 22:14:46 -07:00
Ozzie Gooen
905d2fbb23 Removed now-uneeded Function Registry test file 2022-07-18 21:29:46 -07:00
Ozzie Gooen
e6b402c7d8
Merge pull request #860 from quantified-uncertainty/sampleN
`mapSamplesN`
2022-07-18 21:17:38 -07:00
Sam Nolan
7887256ca1 Reorder function declarations to compile 2022-07-19 11:45:07 +10:00
Sam Nolan
5bdc19f35f Refactor sampleN code and remove log 2022-07-19 11:38:43 +10:00
Sam Nolan
ffaf349e0a Basic mapSampleN support 2022-07-19 11:33:11 +10:00
Ozzie Gooen
30f721eeb6 Simple conversion away from using modules 2022-07-18 16:10:19 -07:00
Umur Ozkul
4535041876 less test clutter 2022-07-18 22:52:19 +02:00
Umur Ozkul
6e1be862d2 reducer passed to external library 2022-07-18 18:51:05 +02:00
dependabot[bot]
074a084853
Merge pull request #859 from quantified-uncertainty/dependabot/npm_and_yarn/gentype-4.5.0 2022-07-18 16:39:43 +00:00
Ozzie Gooen
beb22274d6 Immediate fix for merge conflict 2022-07-18 09:32:23 -07:00
Umur Ozkul
15d63a6a96 type modifiers -> type contracts 2022-07-18 18:31:09 +02:00
dependabot[bot]
925d2e65bb
⬆️ Bump gentype from 4.4.0 to 4.5.0
Bumps [gentype](https://github.com/cristianoc/gentype) from 4.4.0 to 4.5.0.
- [Release notes](https://github.com/cristianoc/gentype/releases)
- [Changelog](https://github.com/rescript-association/genType/blob/master/Changes.md)
- [Commits](https://github.com/cristianoc/gentype/compare/v4.4.0...v4.5.0)

---
updated-dependencies:
- dependency-name: gentype
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-07-18 16:28:39 +00:00
Ozzie Gooen
72659050c3
Merge pull request #852 from quantified-uncertainty/dependabot/npm_and_yarn/ts-node-10.9.1
⬆️ Bump ts-node from 10.8.2 to 10.9.1
2022-07-18 09:17:53 -07:00
Umur Ozkul
c1429e0907 simplified modules 2022-07-18 18:16:49 +02:00
Umur Ozkul
06134a6524 Merge branch 'reducer-parsermodules' into reducer-typecheck 2022-07-18 18:08:44 +02:00
Umur Ozkul
479f60df01 before math library
no module (tested)

fix parser and Math library
2022-07-18 18:04:47 +02:00
dependabot[bot]
dda6d652a6
⬆️ Bump ts-node from 10.8.2 to 10.9.1
Bumps [ts-node](https://github.com/TypeStrong/ts-node) from 10.8.2 to 10.9.1.
- [Release notes](https://github.com/TypeStrong/ts-node/releases)
- [Commits](https://github.com/TypeStrong/ts-node/compare/v10.8.2...v10.9.1)

---
updated-dependencies:
- dependency-name: ts-node
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-07-18 15:51:07 +00:00
Ozzie Gooen
628b105535 PointSet -> Pointset 2022-07-18 08:24:11 -07:00
Umur Ozkul
abee4db340 Merge branch 'develop' into reducer-typecheck 2022-07-18 15:18:10 +02:00
Umur Ozkul
6966c8d3e5 ternary validation 2022-07-18 15:17:41 +02:00
Umur Ozkul
8fb75d57fc type check 2022-07-18 15:15:36 +02:00
Ozzie Gooen
08a7b8586b Simple tests for function library 2022-07-16 22:01:26 -07:00
Ozzie Gooen
b502e21a0f Format 2022-07-16 20:33:15 -07:00
Ozzie Gooen
c5447b8d7a All autogenerated FunctionLibrary tests pass 2022-07-16 20:32:37 -07:00
Ozzie Gooen
395477ed12 Initial testing of FunctionRegistry Library 2022-07-16 19:50:18 -07:00
Ozzie Gooen
5e8b46b7df Cleaning up Function Registry to Reducer interface 2022-07-16 19:06:48 -07:00
Ozzie Gooen
d88fb95767 Simple reformatting, got RequiresNamespace to work 2022-07-16 18:11:38 -07:00
Ozzie Gooen
0c032e710c Moved function library modules to separate files 2022-07-16 14:01:00 -07:00
Umur Ozkul
b65aeaf0d2 spell check 2022-07-16 17:09:39 +02:00
Umur Ozkul
4522b46900 basic type compiler 2022-07-16 16:13:39 +02:00
Ozzie Gooen
e3ef7a3048 Added examples to most items in function registry library 2022-07-15 19:47:57 -07:00
Ozzie Gooen
9d5aaf43a8 Simple tests for fake FunctionRegistry output types 2022-07-15 19:18:36 -07:00
Ozzie Gooen
8839f1d9c7 Added FunctionRegistry test and got simple polymorphism working 2022-07-14 22:14:23 -07:00
Ozzie Gooen
3f09f5f307 Move namespace from fnDefinition to fn 2022-07-14 17:21:07 -07:00
Ozzie Gooen
3c396e0ccc FunctionRegistry examples should be an array 2022-07-14 16:43:38 -07:00
Ozzie Gooen
c3b0009fb8 Minor cleanup 2022-07-14 16:13:22 -07:00
Ozzie Gooen
fc95253dd5 Cleanup of Dict Fromlist in Function Registry Library 2022-07-14 15:15:03 -07:00
Ozzie Gooen
feb198d205 Add and use extra pathway for FunctionRegistry to use internalValues directly 2022-07-14 14:53:53 -07:00
Ozzie Gooen
cae59cb84b Split up function definitions 2022-07-14 13:31:48 -07:00
Ozzie Gooen
04accf0075 Merge branch 'develop' into namespace-integration
* develop: (61 commits)
  Minor UI refactors
  tweak: Indicate that the configuration step is optional
  tweak: Show what to click in the extension
  tweak: Better documentation
  Formatted code
  Moved env to GenericDist, and used it
  Replaced some scoring functions with functionRegistry functions
  Prior can't be a point
  v0.2.23
  Made new test call polymorphic constructor #ToFloat
  ⬆️ Bump @typescript-eslint/parser from 5.30.5 to 5.30.6
  ⬆️ Bump postcss-cli from 9.1.0 to 10.0.0
  ⬆️ Bump @typescript-eslint/eslint-plugin from 5.30.5 to 5.30.6
  ⬆️ Bump @docusaurus/preset-classic
  ⬆️ Bump clsx from 1.2.0 to 1.2.1
  ⬆️ Bump postcss-loader from 7.0.0 to 7.0.1
  ⬆️ Bump @hookform/resolvers from 2.9.3 to 2.9.5
  ⬆️ Bump @types/node from 18.0.0 to 18.0.3
  ⬆️ Bump @docusaurus/core from 2.0.0-beta.21 to 2.0.0-beta.22
  ⬆️ Bump @typescript-eslint/parser from 5.30.4 to 5.30.5
  ...
2022-07-13 15:19:26 -07:00
Ozzie Gooen
d8b1e0d5ff Formatted code 2022-07-13 10:11:59 -07:00
Ozzie Gooen
78e9e48626 Moved env to GenericDist, and used it 2022-07-13 09:37:39 -07:00
Ozzie Gooen
3d71d7bf4e Replaced some scoring functions with functionRegistry functions 2022-07-13 08:56:22 -07:00
Ozzie Gooen
652394f535 Prior can't be a point 2022-07-12 09:45:41 -07:00
Quinn Dougherty
e9968288fd Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-07-11 15:34:50 -04:00
Ozzie Gooen
50049177e4
Merge pull request #803 from quantified-uncertainty/reducer-modules
Reducer modules - define function returning result
2022-07-11 12:28:26 -07:00
Quinn Dougherty
20114d9a84 Made new test call polymorphic constructor #ToFloat 2022-07-11 14:23:58 -04:00
Quinn Dougherty
d682f28faf Merge remote-tracking branch 'origin/develop' into scoring-cleanup-three 2022-07-11 14:20:00 -04:00
dependabot[bot]
89ac966276
⬆️ Bump ts-node from 10.8.1 to 10.8.2
Bumps [ts-node](https://github.com/TypeStrong/ts-node) from 10.8.1 to 10.8.2.
- [Release notes](https://github.com/TypeStrong/ts-node/releases)
- [Commits](https://github.com/TypeStrong/ts-node/compare/v10.8.1...v10.8.2)

---
updated-dependencies:
- dependency-name: ts-node
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-07-11 16:27:40 +00:00
Umur Ozkul
532a878911 define function returning result 2022-07-11 17:46:50 +02:00
Umur Ozkul
d25e052b61 rename to Reducer_Module_test 2022-07-11 17:04:21 +02:00
Ozzie Gooen
7afae96cf4 Simple integration of module functionality 2022-07-07 18:30:56 -07:00
Ozzie Gooen
c866cc812a wip 2022-07-07 18:09:41 -07:00
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
b425743484
Merge pull request #785 from quantified-uncertainty/beta-from-mean-stdev
`beta({mean: 0.39, stdev: 0.1})` #497
2022-07-05 21:02:38 -04:00
Ozzie Gooen
4054f7dbff
Small beta error message change 2022-07-05 19:48:41 -04:00
Umur Ozkul
b3ac8848d2 comment 2022-07-05 15:27:56 +02:00
Umur Ozkul
e0b2632028 format 2022-07-05 06:20:57 +02:00
Umur Ozkul
29c9cad510 remove dead line 2022-07-05 06:19:42 +02:00
Umur Ozkul
746ca695af fix test 2022-07-05 06:17:26 +02:00