タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
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
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カ国以上で利用 本セッションについて 関数型プログラミング（FP）を学んでも、実務での活用方法に悩む方は少なくありません。純粋関数、イミュータブルな値、モナドなどの概念を、具
GitHub - IBM/fp-go: functional programming library for golang
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
Enriching Excel with higher-order functional programming
Ever since it was released in the 1980s, Microsoft Excel has changed how people organize, analyze, and visualize their data, providing a basis for decision-making for the millions of people who use it each day. It’s also the world’s most widely used programming language. Excel formulas are written by an order of magnitude more users than all the C, C++, C#, Java, and Python programmers in the worl
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
We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
GitHub - pen-lang/pen: The parallel, concurrent, and functional programming language for scalable software development
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 ソフトウェア関係の技術書がこの先、どのくらい需要があるのか、タイムリーに改版されるのか、更には日本で翻訳版が出版されるのか......市場のことはよく分からないけど、「この本はずっと手元に置いておく価値が有る」と思ったものはなるべく紙の書籍で手元に置くようにしている。 電子書籍だと、すっかりその存在を忘れてしまって、最後まで読まなくなってしまうのと、情報
GitHub - coalton-lang/coalton: Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
(in-package #:coalton-user) (named-readtables:in-readtable coalton:coalton) (coalton-toplevel ;; Define Coalton `Symbol`s as Lisp `cl:keyword`s. (repr :native cl:keyword) (define-type Symbol) ;; Bind a Lisp function into Coalton. (declare sym (String -> Symbol)) (define (sym s) "Create a new symbol named `s`." (lisp Symbol (s) (cl:intern s "KEYWORD"))) ;; Define equality of `Symbol` types using CL
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
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
Hazel is a live functional programming environment organized around typed holes. Quick Summary Hazel is a live functional programming environment that is able to typecheck, manipulate, and even run incomplete programs, i.e. programs with holes. There are no meaningless editor states. Motivation When programming, we spend a substantial amount of our time working with program text that is not yet a
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
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
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
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
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
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
This post explains why I stick with functional programming, using a rationale that a non-functional programmer can relate to. The reason is actually pretty simple: functional programming idioms are more enduring and portable than idioms from other programming paradigms (such as procedural or object-oriented programming). To explain why, I need to first define what I understand “functional programm
Functional programming languages should be so much better at mutation than they are
Functional programming languages should be so much better at mutation than they are A lot of people think that functional programming is mostly about avoiding mutation at all costs. Even though persistent data structures are great and there is definitely some truth to it, this view just doesn't really hold up in reality. Many data structures fundamentally require some form of mutation (e.g. union
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
Kazuho Okui さんをゲストに迎えて、ポッドキャスト、ニューヨーク暮らし、写真アプリ、ニュース、Hotwire などについて話しました。 Show Notes Steve Jobs Stories Spotify plans for podcast subscriptions Rebuild: Supporter Sign in with Apple - Apple Developer Twitter announces paid Super Follows to let you charge for tweets Making Twitter a better home for writers ATP 418: Dangerously Close to Being on a Phone Call How Clearview AI is using facial recogniti
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
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Functional Programming in TypeScript
Functional programming is finally going mainstream
![“一貫性”がすごい画像生成AI 冬服→夏服も一発変換 話題の「FLUX.1 Kontext[dev]」 (1/4)](https://cdn-ak-scissors.b.st-hatena.com/image/square/652413c43d8a1caedbe41246729c265b1e0b6514/height=288;version=1;width=512/https%3A%2F%2Fascii.jp%2Fimg%2F2025%2F07%2F14%2F4292779%2Fxl%2F385ab737b2135cf2.jpg%3F20200122)
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
Hazel, a live functional programming environment featuring typed holes.
Grokking Functional Programming - たけぞう瀕死ブログ
What I have learned from 15 years of functional programming
Why I prefer functional programming
Rebuild: 298: Functional Programming Is the Future (naan)
Learn Physics with Functional Programming
skyroad.asia
www.tokyo-np.co.jp
news.ksb.co.jp
news.yahoo.co.jp
www.itmedia.co.jp
tomo3diary.com