Applicative: The Forgotten Functional Pattern
1APPLICATIVE APPLICATIVE THE FORGOTTEN FUNCTIONAL PATTERN THE FORGOTTEN FUNCTIONAL PATTERN BEN DEANE / CPPCON / 2023-10-04 BEN DEANE / CPPCON / 2023-10-04 2DISCLAIMERS DISCLAIMERS No AI was used in FIRST, A QUICK SURVEY I've heard of these functional patterns, but that's all 6.1FIRST, A QUICK SURVEY FIRST, A QUICK SURVEY I've heard of these functional patterns, but that's all I (think I) kind of of understand how they work 6.2FIRST, A QUICK SURVEY FIRST, A QUICK SURVEY I've heard of these functional patterns, but that's all I (think I) kind of understand how they work I don't see many use cases0 码力 | 141 页 | 11.33 MB | 5 月前3Back To Basics: Functional Programming in C++
What is functional programming? Jonathan Müller — @foonathan Back to Basics: Functional Programming in C++ CppCon 2024-09-19 1Imperative Programming Definition Specify instructions that manipulate state state in order to achieve a goal. Jonathan Müller — @foonathan Back to Basics: Functional Programming in C++ CppCon 2024-09-19 2Imperative Programming Definition Specify instructions that manipulate manipulate state in order to achieve a goal. C and C++ Jonathan Müller — @foonathan Back to Basics: Functional Programming in C++ CppCon 2024-09-19 2Imperative Programming Definition Specify instructions that0 码力 | 178 页 | 918.67 KB | 5 月前3CMake Configuration for Asio Basic Library and Tests
cppcon_add_library(basic LIBRARIES Asio::asio) add_subdirectory(tests)0 码力 | 1 页 | 71.00 B | 5 月前3Quickly Testing Qt Desktop Applications With Approval Tests
with Approval Tests Clare Macrae (She/her) clare@claremacrae.co.uk 16 September 2020 CppCon (Online)2 Audience: Developers testing Desktop GUIs, including Qt-based ones Approval Tests: claremacrae tations.html3 Contents •Introduction •Qt –Setting Up Testing –Error-prone Things –Approval Tests •Extras –Tools –Summary4 About Me • Scientific C++ and Qt developer since 1999 • My mission: mission: Sustainable and efficient testing and refactoring of legacy code – Co-author of “Approval Tests for C++” • Consulting & training via “Clare Macrae Consulting Ltd” – claremacrae.co.uk • All links0 码力 | 77 页 | 6.96 MB | 5 月前3Leveraging a Functional Approach for More Testable and Maintainable ROS 2 Code
Overview of ROS 2 ● ROS 2 Conventional Approach ● Introduction to Functional Programming Principles ● Refactoring using Functional Programming Principles ● ConclusionIntroductionAbout Me ● Robotics client expect proper operation of the software once they start developing on top of it? Answer: Tests and documentation! Lots and lots of documentation!Why give this talk? ● Engineers at PickNik experiment client expect proper operation of the software once they start developing on top of it? Answer: Tests and documentation! Lots and lots of documentation! ● ROS 2 documentation encourages an object-oriented0 码力 | 200 页 | 1.77 MB | 5 月前3Behavior-driven Tests for Microservices-based Algo Trading System
Behavior-driven Tests for Microservices-based Algo Trading System Summary : Introduction : This poster will introduce a test framework we use at Bloomberg to enable behavior-based tests in natural language often non-trivial to automate the system-level tests with external dependencies. Controlling external dependencies are especially important for algo tests since certain algo behaviors require hard-to-produce condition. ● Fully automated : Running tests are integrated into CI so algo behaviors are regressed for any dependent code change. ● Natural language layer: Tests are written in natural language so0 码力 | 1 页 | 65.24 KB | 5 月前3Khronos APIs for Heterogeneous Compute and Safety: SYCL and SYCL SC
platformsPARALLEL INDUSTRY INITIATIVES 2011 OpenCL 1.2 OpenCL C Kernel Language OpenCL 2.1 SPIR-V in Core 2015 OpenCL 2.2 2017 2020 202X SYCL 1.2 C++11 Single source programming SYCL 1.2.1 C++11 Single Extension – 2017 Graph-based vision and inferencing OpenVX 1.3 – 2019 SC Extension integrated into core OpenVX specificationKHRONOS AUTOSAR LIAISON: SYCL DEMONSTRATOR Thank you to AUTOSAR and IntelliasPART unanticipated conversions, timing errors, termination errors ▪ Static guarantees based on the C++ Core Guidelines ▪ Static analysis ▪ Library components as alternatives to error-prone constructs (casts0 码力 | 82 页 | 3.35 MB | 5 月前3Building Safe and Reliable Surgical Robotics with C++
Software Development in Medical Devices 13 www.medicaldevicehq.com www.jhc-technology.comIEC 62304: Functional Safety Software Development in Medical Devices 14 www.qualitiso.com +V&V Software Development Definitions Strive to Achieve Correctness, Safety and Security 20 Functional Correctness: Meeting specifications and requirements. Functional Safety: Zero unintended behavior; Medical device operates correctly part of software acceptance criteria: IEC 62304 Annex B.5.5 Internal Coding Standards: Generic C++ Core Guidelines: Generic Google C++ Style Guide: Generic MISRA 2023 C++17: Safety Critical AUTOSAR C++14:0 码力 | 71 页 | 4.02 MB | 5 月前3Conan 2.1 Documentation
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 657 9.2 Core guidelines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Conan built-in commands, but that will allow further extensions. There are subapis for different functional groups, like api.list, api.search, api.remove, api.profile, api.graph, api.upload, api.remotes metadata files associated to recipes and packages. This feature can be very useful to manage build logs, tests executable, test results, coverage data and many other different files needed for traceability, compliance0 码力 | 694 页 | 4.13 MB | 1 年前3Conan 2.5 Documentation
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 721 9.2 Core guidelines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Conan built-in commands, but that will allow further extensions. There are subapis for different functional groups, like api.list, api.search, api.remove, api.profile, api.graph, api.upload, api.remotes metadata files associated to recipes and packages. This feature can be very useful to manage build logs, tests executable, test results, coverage data and many other different files needed for traceability, compliance0 码力 | 769 页 | 4.70 MB | 1 年前3
共 260 条
- 1
- 2
- 3
- 4
- 5
- 6
- 26
相关搜索词
ApplicativeTheForgottenFunctionalPatternBackToBasicsProgramminginC++CMakeConfigurationforAsioBasicLibraryandTestsQuicklyTestingQtDesktopApplicationsWithApprovalLeveragingApproachMoreTestableMaintainableROSCodeBehaviordrivenMicroservicesbasedAlgoTradingSystemKhronosAPIsHeterogeneousComputeSafetySYCLSCBuildingSafeReliableSurgicalRoboticswithConan2.1Documentation2.5