Skill UI

TaskEither is a functional programming utility from fp-ts designed for handling asynchronous operations that might fail. It provides a robust, type-safe mechanism for managing complex async workflows, such as chained API calls or promise wrappers. Instead of relying on traditional try/catch blocks where errors can be lost, TaskEither forces the developer to explicitly handle both success and failure paths, making error management predictable and composable.

A comprehensive quick reference guide for functional programming types in TypeScript using the fp-ts library. It helps users decide which type (`Option`, `Either`, `Task`, etc.) to use based on whether operations are synchronous, asynchronous, and if they involve errors or missing values. It provides decision trees, common import patterns, and utility function patterns for robust TypeScript development.

A comprehensive, generics-first utility library designed for Go developers who prefer declarative, functional programming patterns over manual loops. It provides 500+ type-safe functions for common data transformations (Map, Filter, Reduce, GroupBy, etc.) on slices, maps, and strings. By defaulting to immutable operations, it ensures thread safety and predictable state changes. The library also offers specialized packages (lop, lom, loi) to address performance bottlenecks, such as CPU-bound parallel processing or lazy evaluation, allowing engineers to choose the optimal approach for their c...

A comprehensive, multi-phase quality engineering audit tool designed to test codebases beyond standard unit tests. It first explores the codebase's domain and architecture to derive behavioral requirements, then executes a rigorous sequence including spec-traced functional tests, three-pass code reviews, and a multi-model specification audit (Council of Three). It is specifically engineered to find the critical 35% of real-world defects that structural code review alone might miss. Works with any programming language.

A comprehensive guide detailing idiomatic and efficient coding practices for Kotlin, covering modern features like null safety, functional collections, coroutines, and Jetpack Compose UI development. Learn to write clean, concise, and robust Kotlin code.

This comprehensive guide details idiomatic best practices for writing high-performance, safe code in Rust. It covers advanced topics such as understanding Ownership and Borrowing rules, robust error handling using the '?' operator, optimizing functional programming with Iterators, implementing structured concurrency, and defining robust data models with Structs and Enums.

A comprehensive guide covering modern Swift best practices. Learn how to handle optionals safely, utilize functional transforms, manage concurrency with async/await, and adopt Protocol-Oriented Programming (POP). This reference helps developers write highly performant, idiomatic, and safe Swift applications.

This skill guides authors on optimizing manuscripts for the ACM SIGPLAN International Conference on Functional Programming (ICFP). It helps assess the technical depth, scope fit, and required evidence (e.g., type systems, semantics, compilers) needed to successfully position a functional programming paper for this top-tier venue. Use it for pre-submission refinement, framing, and strategic planning.

A critical guide for authors submitting to ICALP (International Conference on Logic, Artificial Intelligence and Programming). It clarifies that ICALP is a pure theoretical venue where the core contribution is a mathematical theorem and its verifiable proof, not a functional code artifact. This document advises authors from systems or ML backgrounds on how to adjust their focus and what constitutes a valid contribution.

This comprehensive guide assists reviewers and authors in determining the most appropriate venue for programming language research within the SIGPLAN community. It provides a detailed 'center-of-mass' test, helping categorize contributions based on whether they emphasize metatheory (POPL), performance engineering (PLDI), functional techniques (ICFCP), or the broad design scope characteristic of OOPSLA. It guides the decision-making process for academic submissions.

This skill provides functional programming patterns for building type-safe and testable backend services using fp-ts in Node.js or Deno environments. It covers dependency injection, service composition, and handling typed backend errors with ReaderTaskEither. Ideal for developers implementing functional architecture principles in modern JavaScript runtimes to ensure robust and maintainable server-side applications.

This skill teaches you to handle errors in TypeScript without relying on try/catch blocks. Instead, it uses functional programming concepts like Either and TaskEither from the fp-ts library. You will learn to treat errors as values, making your code more predictable and maintainable. It covers validation patterns and practical error contracts suitable for real-world applications.