タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
Web apps are a mandatory part of every modern application nowadays, no matter how small or complex it is. From one-click apps that convert pictures to Photoshop, everyone wants fast and easy access to the app, and the web is one of the easiest ways to do that. At Serokell, we use TypeScript for writing web applications. But our main programming language is Haskell. And in this article, we want to
GitHub - marpple/FxTS: A functional programming library for TypeScript/JavaScript
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Functional programming is finally going mainstream Object-oriented and imperative programming aren’t going away, but functional programming is finding its way into more codebases. Klint Finley // July 12, 2022 Paul Louth had a great development team at Meddbase, the healthcare software company he founded in 2005. But as the company grew, so did their bug count. That’s expected, up to a point. More
GitHub - candy-lang/candy: 🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.
🚧 Work in Progress! Candy is still in its early stages. We are actively working on it, but it's not ready for production use yet. If you want to help, please join our Discord server. See also: The current state. A sweet, functional programming language that is robust, minimalistic, and expressive. Many programming languages have a strict separation between compile-time and runtime errors. Sometim
Previous slideNext slideToggle fullscreenOpen presenter view Pragmatic Functional Programming in TypeScript Yuichi Goto | TSKaigi 2025 on May 24, 2025 発表者について Yuichi Goto @yasaichi パーフェクトRuby on Rails共著者 株式会社EARTHBRAIN [PR] EARTHBRAINとプロダクトについて 2021年7月創業のテクノロジースタートアップ 建設生産プロセスの生産性・安全性の向上を実現するデジタル ソリューション「Smart Construction®」を開発・保守 相互連携する複数のソフトウェア・ハードウェアの形で提供 プロダクトの一部は世界20カ国以上で利用 本セッションについて 関数型プログラ
GitHub - IBM/fp-go: Functional programming library for Go 1.24+, inspired by fp-ts. Uses generic type aliases for a clean, composable API. Provides Option, Either, Result, IO, IOResult, Reader, and ReaderIOResult monads, plus optics (Lens, Prism, Traversa
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
I’m happy to announce that the PDF of Haskell, The Craft of Functional Programming (3rd edition) is available to view and download for free. Later in the year I’ll revise it and make it available as an online text. But for now, here it is, uncorrected: https://simonjohnthompson.github.io/craft3e/craft3e.pdf
12.2.1. Promises · Functional Programming in OCaml
Promises In Lwt, a promise is a write-once reference: a value that is permitted to mutate at most once. When created, it is like an empty box that contains nothing. We say that the promise is pending. Eventually the promise can be resolved, which is like putting something inside the box. Instead of being resolved, the promise can instead be rejected, in which case the box is filled with an excepti
You may be aware of Nix or NixOS. Users love them for being superior tools for building, deploying, and managing software. Yet, Nix is generally perceived as notoriously hard to learn. The core Nix ecosystem consists of several distinct components: Nix is a build system and package manager that comes with a configuration language to declare software components, the Nix language. Software made avai
Beyond Functional Programming: The Verse Programming Language
Simon Peyton Jones, Tim Sweeney Lennart Augustsson, Koen Claessen, Ranjit Jhala, Olin Shivers Epic Games December 2022 Tim’s vision of the metaverse Social interaction in a shared real-time 3D simulation An open economy with rules but no corporate overlord A creation platform open to all programmers, artists, and designers, not a walled garden Much more than a collection of separately comp
Lately I’ve been messing around with Python 3.12, discovering new features around typing and pattern matching. Combined with dataclasses, they provide support for a style of programming that I’ve employed in Kotlin and Typescript at work. That style in turn is based on what I’d do in OCaml or Haskell, like modelling data with algebraic data types. However, the more advanced concepts from Haskell —
Knuth–Morris–Pratt illustrated | Journal of Functional Programming | Cambridge Core
String search is a classic problem. Given a string, the pattern, determine if it occurs in a longer string, the text. String search can be solved in $O(n+m)$ time and O(m) space, where n is the size of the text and m is the size of the pattern. Unfortunately, the algorithm that does so, Knuth–Morris–Pratt (KMP) (Knuth et al., Reference Knuth, Morris and Pratt1977), is hard to understand. Its pseud
GitHub - pen-lang/pen: The parallel, concurrent, and functional programming language for scalable software development
Pen is the parallel, concurrent, and functional programming language focused on application programming following Go's philosophy. It aims for further simplicity, testability, and portability to empower team (v. individual) and/or long-term (v. short-term) productivity. Its syntax, type system, effect system, and module system are fashioned to achieve those goals being simple and easy to grasp for
GitHub - coalton-lang/coalton: Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
ペーパーバック版の『Functional Programming in Scala, Second Edition』を買った - Magnolia Tech
既にセールの時に電子書籍版で買っていた『Functional Programming in Scala, Second Edition』、ペーパーバック版の方も追加で買った。 Functional Programming in Scala, Second Edition (English Edition) 作者:Pilquist, Michael,Chiusano , Paul,Bjarnasson, RúnarManningAmazon ソフトウェア関係の技術書がこの先、どのくらい需要があるのか、タイムリーに改版されるのか、更には日本で翻訳版が出版されるのか......市場のことはよく分からないけど、「この本はずっと手元に置いておく価値が有る」と思ったものはなるべく紙の書籍で手元に置くようにしている。 電子書籍だと、すっかりその存在を忘れてしまって、最後まで読まなくなってしまうのと、情報
Functional Programming in Lean
Copyright Microsoft Corporation 2023 and Lean FRO, LLC 2023–2025 This is a free book on using Lean as a programming language. All code samples are tested with Lean release 4.26.0.
GitHub - ken-okabe/functional-programming-from-scratch-ja: Functional Programming From Scratch 日本語版
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
How Functional Programming Shaped (and Twisted) Frontend Development A friend called me last week. Someone who’d built web applications back for a long time before moving exclusively to backend and infra work. He’d just opened a modern React codebase for the first time in over a decade. “What the hell is this?” he asked. “What are all these generated class names? Did we just… cancel the cascade? W
Functional Programming in Lean - Functional Programming in Lean
Functional Programming in Lean by David Thrane Christiansen Copyright Microsoft Corporation 2023 This is a free book on using Lean 4 as a programming language. All code samples are tested with Lean 4 release 4.1.0. Release history January, 2024 This is a minor bugfix release that fixes a regression in an example program. October, 2023 In this first maintenance release, a number of smaller issues w
GitHub - mieszkosabo/tartak: Tartak is a functional programming language that compiles to TypeScript types.
// file: parseRoute.tartak // exported types will be available for you to import from compiled files // to distinguish between objects ({}) and blocks, blocks have a colon before the opening brace (:{}) export type parseRoute = (route: string) => :{ // assign computations to variables like this let parts = route.split("/"); // -> ["users", "<id:string>", "posts", "<index:number>"] // last expressi
Grokking Functional Programming (English Edition) 作者:Plachta , MichalManningAmazon 2014年にManningのEarly Access Programで購入したもののずっと未完成のままだったので電子積読されていたのですが、昨年ようやく完結したようで、さらに今年になって日本語版も発売されたとのことで9年の歳月を経て読んでみました。 モナドという単語が一度も登場しないあたりからも本書の方向性がわかるのではないかと思いますが、関数型プログラミングのエッセンスを、実践的なプログラミングにおけるメリットと共に丁寧に解説されています。サンプルコードはScalaで書かれているのですが、特にScalaのことを知らなくても読めると思います（というかScalaを知っているのであればこの本の半分以上は読む必要ないかもしれません）
Like most people, I started my career by learning object-oriented programming, but for the last 15 years I have been doing functional programming. In this talk, I'll explain why learning functional programming has completely changed the way I design and write my programs. I believe that, thanks to functional programming, my code is easier to understand, less buggy, and more testable. To demonstrat
A blog about the whole ecosystem of PicoLisp - tutorials, real-world projects, functional programming theory. Check out https://gitlab.com/picolisp-blog for sources and more.
Journal of Functional Programming moving to Open Access « Computer Science# « Cambridge Core Blog
As the year winds down, the Journal of Functional Programming gets ready to open a new chapter. From January, every article in JFP will be available under Gold Open Access. The published ‘version of record’ will be made available to all upon publication, and will be found from the journal’s homepage. Papers will be free to read for anyone, anywhere. Authors will continue to retain copyright of the
Functional programming is finally going mainstream | Hacker News
Agreed. I'd have preferred a top-level discriminant, like Reddit has with /r and /u paths at the top. I'm not sure how I feel about this.If you look at my code in "multi-paradigm" languages like typescript, there's not a heck of a lot of loops, mutations or side effects. I like expressions, and immutability, and higher order functions. They make things shorter and means there's less state for me t
GitHub - fp-ts/core: Functional programming in TypeScript
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
The Implementation of Functional Programming Languages - Microsoft Research
Simon Peyton Jones Published by Prentice Hall Internaltional (UK) Ltd. | April 1987 Chapters also by: Philip Wadler, Programming Research Group, Oxford; Peter Hancock, Metier Management Systems, Ltd.; David Turner, University of Kent, Canterbury “The Implementation of Functional Languages” is a book about implementing functional programming languages using lazy graph reduction, and it divides into
Alternative ways to design with functional programming by Mark Seemann A catalogue of FP solutions to a sample problem. If you're past the novice stage of learning programming, you will have noticed that there's usually more than one way to solve a particular problem. Sometimes one way is better than alternatives, but often, there's no single clearly superior option. It's a cliche that you should
Download Chapter 14: NEWTON’S SECOND LAW Learn Physics with Functional Programming is your key to unlocking the mysteries of theoretical physics by coding the underlying math in Haskell. You’ll use Haskell’s type system to check that your code makes sense as you deepen your understanding of Newtonian mechanics and electromagnetic theory, including how to describe and calculate electric and magneti
FP^2: Fully in-Place Functional Programming (TR) - Microsoft Research
As functional programmers we always face a dilemma: should we write purely functional code, or sacrifice purity for efficiency and resort to in-place updates? This paper identifies precisely when we can have the best of both worlds: a wide class of purely functional programs can be executed safely using in-place updates without requiring allocation. We describe a linear _fully in-place_ (FIP) calc
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Functional Programming in TypeScript
Functional programming is finally going mainstream
Pragmatic Functional Programming in TypeScript
Haskell: The Craft of Functional Programming (PDF)
Nix – taming Unix with functional programming
Statically Typed Functional Programming with Python 3.12
How Functional Programming Shaped (and Twisted) Frontend Development
Grokking Functional Programming - たけぞう瀕死ブログ
What I have learned from 15 years of functional programming
Functional Programming with PicoLisp
Alternative ways to design with functional programming
Learn Physics with Functional Programming
x.com
omocoro.jp
finance.biggo.jp
www.itmedia.co.jp
anond.hatelabo.jp
oceans-nadia.com