Patents
Literature
3 results about "Functional programming" patented technology
Efficacy Topic
Property
Owner
Technical Advancement
Application Domain
Technology Topic
Technology Field Word
Patent Country/Region
Patent Type
Patent Status
Application Year
Inventor
In computer science, functional programming is a programming paradigm—a style of building the structure and elements of computer programs—that treats computation as the evaluation of mathematical functions and avoids changing-state and mutable data. It is a declarative programming paradigm in that programming is done with expressions or declarations instead of statements. In functional code, the output value of a function depends only on its arguments, so calling a function with the same value for an argument always produces the same result. This is in contrast to imperative programming where, in addition to a function's arguments, global program state can affect a function's resulting value. Eliminating side effects, that is, changes in state that do not depend on the function inputs, can make understanding a program easier, which is one of the key motivations for the development of functional programming.
Kit and Method for Functional Programming Training in a Low-Tech System
Owner:HARL TECNOLOGIA E DESIGN LTDA
Method for constructing microservice field algebraic data types based on functional programming
PendingCN122111394Aimprove readabilityImprove maintainabilityError detection/correctionCode compilationService domainMicroservices
The application relates to the computer technical field, in particular to a micro-service domain algebra data type construction method based on functional programming, which comprises the following steps: obtaining a variant list of a target business domain; identifying the properties of each variant in the variant list, and determining the type of each variant according to the properties of each variant; combining all the variants in the variant list based on the type of each variant to obtain an algebra data type tree, compiling the algebra data type tree, verifying the compiled algebra data type tree, and performing business processing through the verified algebra data type tree. Therefore, the problems of scattered domain object definition, high coupling degree, lack of clear boundaries and complex and lengthy verification logic in the micro-service are solved, the readability and maintainability of the code are improved, and the overall reliability and development efficiency of the micro-service system are enhanced.
Owner:中邮人寿保险股份有限公司
A functional programming method, system, device and medium supporting pipeline programming and algebraic data types
PendingCN122111403ADigital data information retrievalVisual/graphical programmingPattern matchingData modeling
The application discloses a functional programming method, system, device and medium supporting pipeline programming and algebraic data types, and has the following beneficial effects: the application provides a novel programming language system, which can fuse algebraic data types, pipeline programming and pattern matching under a unified syntax framework, wherein rigorous data modeling is provided through the algebraic data types, clear branch logic is realized through the pattern matching, and a readable, maintainable and powerful data processing flow is constructed through the highly flexible pipeline programming, so that the readability, maintainability and expression capacity of programming code are improved, and the application is suitable for various high-demand fields such as financial payment, real-time analysis and system integration, and shows the positive exploration of modern programming languages in paradigm fusion and syntax innovation.
Owner:GUANGZHOU YUNBIAO NETWORK TECH CO LTD