・四則演算，fst，snd 関数に対する型推論を行う．・数値型の間に型階層を導入する．・Tuple 型の要素の型の違いによる型階層を考慮する．・その他型推論のもろもろのバグ修正．

Fork: 1

nitta-lab / AlgebraicDataflowArchitectureModel

Browse code ・四則演算，fst，snd 関数に対する型推論を行う．・数値型の間に型階層を導入する．・Tuple 型の要素の型の違いによる型階層を考慮する．・その他型推論のもろもろのバグ修正． ASE2022submit FACS2023 Models2024 SimulatorVisualization bug-pathParam bug-swingNativeReceiver controlFlowModeling dynamicResourceCreation experiment20231128 experiment_2023_1_25 extendForWebServices feature-addTableUI feature-keyboard-shortcuts feature_addLoggerToCFD fix-window-position fixSerializeException fix_connectionAnEdgeAtDependsOnMediator forMultipleOutputResources forWebServices gameEngine gameEngine-DTRAM gameEngine2 generatorBugFix4 generatorBugFix5 hieararchicalLayout htmlGUi importVisualModelingUpdates master moveCharacters outputChannelAsAClass refactor simulationLayout simulator simulatorAddFunctions swingInterface test two-stage-modeling update-dtram-parser updateHierarchicalResources
1 parent 47545d8 commit 866c0eedbd0851e5575edf50eefe6ab53894a663 Naoya Nitta authored on 2 Sep 2021

Browse code

・四則演算，fst，snd 関数に対する型推論を行う．

・数値型の間に型階層を導入する．
・Tuple 型の要素の型の違いによる型階層を考慮する．
・その他型推論のもろもろのバグ修正．

ASE2022submit FACS2023 Models2024 SimulatorVisualization bug-pathParam bug-swingNativeReceiver controlFlowModeling dynamicResourceCreation experiment20231128 experiment_2023_1_25 extendForWebServices feature-addTableUI feature-keyboard-shortcuts feature_addLoggerToCFD fix-window-position fixSerializeException fix_connectionAnEdgeAtDependsOnMediator forMultipleOutputResources forWebServices gameEngine gameEngine-DTRAM gameEngine2 generatorBugFix4 generatorBugFix5 hieararchicalLayout htmlGUi importVisualModelingUpdates master moveCharacters outputChannelAsAClass refactor simulationLayout simulator simulatorAddFunctions swingInterface test two-stage-modeling update-dtram-parser updateHierarchicalResources

1 parent 47545d8 commit 866c0eedbd0851e5575edf50eefe6ab53894a663

Naoya Nitta authored on 2 Sep 2021

Patch

Unified Split

Showing 3 changed files

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/src/algorithms/TypeInference.java

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/src/models/algebra/Type.java

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java

Show line notes below