Algebraic Effects for the Rest of Us — overreacted
Algebraic Effects for the Rest of UsJuly 21, 2019 Have you heard about algebraic effects? My first attempts to figure out what they are or why I should care about them were unsuccessful. I found a few pdfs but they only confused me more. (There’s something about academic pdfs that makes me sleepy.) But my colleague Sebastian kept referring to them as a mental model for some things we do inside of
Unison | A friendly, statically-typed, functional programming language from the future · Unison programming language
Distributed programming No more writing encoders and decoders at every network boundary. Say where you want computations to run and it happens 🔮 — Dependencies are deployed on the fly. Learn More Refactoring Your codebase is always live and typechecks, even in the middle of a refactoring. Unison has structured refactoring sessions, not a big misleading list of type errors. Learn More Durable stor
The Essence of FRP
Conal Elliott proposed functional reactive programming twenty years ago with a clear denotational semantics. Over time the idea gained popularity but the original conception became blurred. In this video Conal explains FRP’s original formulation and its benefits. Slides are available here. Summary FRP is is receiving more interest now but has become misunderstood The notion of FRP was very precise
Arrow
Start learning nowArrow is composed of different libraries that greatly improve your developer experience using Kotlin
How to deal with dirty side effects in your pure functional JavaScript
How to deal with dirty side effects in your pure functional JavaScript So, you’ve begun to dabble in functional programming. Once you’ve started, it won’t be long before you come across pure functions. And, as you go on, you will discover that functional programmers appear to be obsessed with them. “Pure functions let you reason about your code,†they say. “Pure functions are less likely to start
Pure UI
Pure UI@rauchg|July 13, 2015 (9y ago)688,780 views I recently redesigned and implemented a new version of VideoPress, the WordPress video platform. The process involved, among other things, creating a new UI, ditching the dependency on Flash in favor of HTML5 <video> and introducing new functionality. The particular way in which I implemented it led me to some interesting insights around the growi
What's new in purely functional data structures since Okasaki?
Since Chris Okasaki's 1998 book "Purely functional data structures", I haven't seen too many new exciting purely functional data structures appear; I can name just a few: IntMap (also invented by Okasaki in 1998, but not present in that book) Finger trees (and their generalization over monoids) There are also some interesting ways of implementing already known datastructures, such as using "nested
The JavaScript Problem - HaskellWiki
The problem[edit] The JavaScript problem is two-fold and can be described thus: JavaScript, the language. JavaScript, the language, has some issues that make working with it inconvenient and make developing software harder : lack of module system (only pre-ES6), weak-typing, verbose function syntax1 (pre-ES6), late binding2, which has led to the creation of various static analysis tools to allevia
ãªãœæ¬¡ã«å¦ã¶è¨€èªžã¯é–¢æ•°åž‹ã§ã‚ã‚‹ã¹ãã‹ - YAMAGUCHI::weblog
ã¯ã˜ã‚ã« ã“ã‚“ã«ã¡ã¯ã€Pythonç•Œã®æƒ…å¼±ã§ã™ã€‚ã¡ã‚‡ã£ã¨å‰ã«OCamlç³»ã®ã‚¨ãƒ³ãƒˆãƒªã‚’色々ã¨çœºã‚ã¦ã„ãŸã‚‰Yaron Minskyæ°ã®ã‚¨ãƒ³ãƒˆãƒªã‚’見ã¤ã‘ãŸã®ã§ç¿»è¨³ã—ã¦ã¿ã¾ã—ãŸã€‚ OCaml for the Masses - ACM Queue Yaron Minskyæ°ã¯Jane Streetã§ç¬¬ä¸€ç·šã§æ´»èºã•ã‚Œã‚‹ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ã§ã€Jane Streetã®æŠ€è¡“ページをã¯ã˜ã‚多ãã®å ´æ‰€ã§OCamlã«é–¢ã—ã¦ã®çŸ¥è¦‹ã‚’語ã£ã¦ãã ã•ã£ã¦ã„ã¾ã™ã€‚ Jane Street Tech Blogs 本エントリã¯John Hughesã®åエントリ「ãªãœé–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¯é‡è¦ã‹ã€ã‚’å—ã‘ã¦ACM Queueã«å¯„稿ã•ã‚ŒãŸã‚‚ã®ã®æ—¥æœ¬èªžè¨³ã§ã™ã€‚ ãªãœé–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¯é‡è¦ã‹ Why the next language you learn should be functional YARON MINSKY, JANE STREE
Rinkou - Types and Programming Languages
輪講スケジュール èªã‚€æœ¬ B. Pierce: Types and Programming Languages ãŠçŸ¥ã‚‰ã› Bounded polymorphism 以é™ã¯ç§‹å£ã‹ã‚‰è¡Œã„ã¾ã™ã€‚ å‚åŠ è€… å¤§æ ¹ç”° 末永 ç«‹æ²¢ æ´ª å°æž— アフェルト 清木 å‰ç”° é è—¤ å·å´Ž å·ä¸ スケジュール
Lambda the Ultimate | Programming Languages Weblog
The idea of Platonic C# is to enforce referential transparency within the context of C#, by enforcing a set of rules around defaulting to immutability of data structures and requiring uniqueness of instances of mutable types. The Computer History Museum, in conjunction with Adobe, has released the PostScript source code. Here is the release, with some helpful historical context and several photos:
ã¯ã¦ãªãƒ–ãƒã‚° | 無料ブãƒã‚°ã‚’作æˆã—よã†
å¤ä¼‘ã¿ä½•é£Ÿã¹ã¦ã‚‹ï¼Ÿé ‘張らãªã„ç·¨ 「ã†ã‰ã‰ï¼ä½•ã§ã¿ã‚“ãªä¸€æ—¥ä¸ãŠè…¹ç©ºã„ã¦ã‚‹ã‚“ã ーï¼ã€å†·è”µåº«ã‚’é–‹ãå ãˆã‚‹å¤ä¼‘ã¿ã€‚æ¯ã•ã‚“ã®å«ã³ã‚’èžãã€2ダースã®åµãŒä¸€æ–‰ã«ã“ã¡ã‚‰ã‚’見ã¦æ…°ã‚るよã†ãªé¡”ã‚’ã—ãŸã€‚分ã‹ã£ã¦ã‚‹ã‚よã€å ãˆãŸã£ã¦ã”飯ã¯å‡ºã¦ã“ãªã„ã‚ã‚ˆï¼ ä½œã‚‹â†’é£Ÿã¹ã‚‹â†’片付ã‘る→作るã®ç„¡é™ãƒ«ãƒ¼ãƒ— ãã“ã«ã€é€è¿Žã¨â€¦
未æ¥è¨€èªžAgda - æ•°å¦çŒ«ã®ç”Ÿæ´»ã¨æ„見
最近Agdaを触る機会ãŒã‚ã£ãŸã®ã ãŒã€Agdaã“ã未æ¥ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã¯ãªã„ã‹ã¨ã„ã†æ°—ãŒã—ã¦ããŸã€‚ã“ã“ã§ã¯è¡Œåˆ—ã®è»¢ç½®ã‚’ã™ã‚‹é–¢æ•°ã‚’定義ã™ã‚‹ã“ã¨ã§ã€Agdaã§ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãŒã©ã‚“ãªã‚‚ã®ã‹ç´¹ä»‹ã—ãŸã„。ãã®å‰ã«ä¸€è¨€:Agdaã¯å®šç†è¨¼æ˜Žç³»ã¨ã—ã¦ç´¹ä»‹ã•ã‚Œã‚‹ã“ã¨ãŒå¤šã„。ã“ã‚Œã¯Agdaã«ã¨ã£ã¦ä¸å¹¸ãªã“ã¨ã 。確ã‹ã«Agdaã®åž‹ã‚·ã‚¹ãƒ†ãƒ ã¯å¼·åŠ›ãªã®ã§ã€ä¾‹ã®ã‚«ãƒªãƒ¼ãƒãƒ¯ãƒ¼ãƒ‰åŒåž‹ã«ã‚ˆã‚Šã€åž‹ã‚’命題ã€ãƒ—ãƒã‚°ãƒ©ãƒ を証明ã¨ã¿ãªã™ã“ã¨ãŒã§ãる。ãŸã ã—ã€ç§ã®å°è±¡ã§ã¯Agda上ã¯æ•°å¦ã®è¨¼æ˜Žã‚’ã—ã‚„ã™ã„よã†ã«ã¯ãã‚“ãªã«ã¯ã§ãã¦ã„ãªã„。Agdaã§è¨¼æ˜Žã™ã‚‹ã«ã¯ã€ã‚ã‚‹åž‹ã‚’ã‚‚ã¤å®šæ•°ãªã‚Šé–¢æ•°ã‚’定義ã™ã‚‹ã“ã¨ã«ãªã‚‹ã‚ã‘ã ãŒã€å®šç¾©ã—ãŸé–¢æ•°ãŒãã®åž‹ã‚’æŒã£ã¦ã„ã‚‹ã‹ã“ã¨ã‚’åž‹ãƒã‚§ãƒƒã‚«ã«èª¬å¾—ã™ã‚‹ãŸã‚ã«ã€åž‹ãƒã‚§ãƒƒã‚«ã®è©³ã—ã„挙動ã«ã¤ã„ã¦ç†è§£ã—ã¦ã„ãªã‘ã‚Œã°ãªã‚‰ãªã„。むã—ã‚ã€Agdaã¯ä¾å˜åž‹ã‚’ã‚‚ã¤ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¨æ€ã£ãŸæ–¹ãŒã‚ˆã„ã¨æ€ã†ã€‚ä¾å˜åž‹ã¨ã¯ãªã«ã‹ã¯ä¾‹ã‚’
純粋関数型雑記帳
TL;DR ç°¡æ½”ã§ç›´æ„Ÿçš„ã«æ‰±ãˆã‚‹ã€å®£è¨€çš„ãªRustå‘ã‘ã®ã‚³ãƒžãƒ³ãƒ‰ãƒ©ã‚¤ãƒ³å¼•æ•°ãƒ‘ーザーを作りã¾ã—ãŸã€‚ https://crates.io/crates/argopt モãƒãƒ™ãƒ¼ã‚·ãƒ§ãƒ³ Rustã«structoptã¨ã„ã†ãƒ©ã‚¤ãƒ–ラリãŒã‚ã‚Šã¾ã™ã€‚ã“ã‚Œã¯ã‚³ãƒžãƒ³ãƒ‰ãƒ©ã‚¤ãƒ³å¼•æ•°ã‚’パーズã™ã‚‹ãƒ©ã‚¤ãƒ–ラリãªã‚“ã§ã™ãŒã€åƒ•ã¯ã“ã®ãƒ©ã‚¤ãƒ–ラリãŒå¤§å¥½ããªã‚“ã§ã™ã€‚Rustã®ãƒ©ã‚¤ãƒ–ラリã®ä¸ã§ä¸€äºŒã‚’争ã†ã»ã©å¥½ãã§ã™ã€‚ãªã‚“ãªã‚‰ã‚³ãƒžãƒ³ãƒ‰ãƒ©ã‚¤ãƒ³ãƒ„ールをRustを書ãç†ç”±ã®å¤§éƒ¨åˆ†ãŒã“ã®ãƒ©ã‚¤ãƒ–ラリã®å˜åœ¨ã¨ã„ã£ã¦ã‚‚éŽè¨€ã§ã¯ãªã„ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“（éŽè¨€ã§ã™ã‘ã©ï¼‰ã€‚ ã—ã‹ã—structoptも使ã„続ã‘ã¦ã„ã‚‹ã¨ã€ã©ã†ã«ã‚‚ã‚‚ã£ã¨ä¾¿åˆ©ã«ã§ãã‚‹ã‚“ã˜ã‚ƒãªã„ã®ã‹ã¨æ€ã†éƒ¨åˆ†ãŒå‡ºã¦ãã¾ã™ã€‚structoptã§ã¯åå‰ã®é€šã‚Šã‚³ãƒžãƒ³ãƒ‰ãƒ©ã‚¤ãƒ³å¼•æ•°ã‚’structã§å®šç¾©ã—ã¦ã€ãã‚Œã«#[derive(StructOpt)] ã¨StructOptã‚’deriveã™ã‚‹ã“ã¨ã§ãƒ‘ーザーã®ã‚³
有é™ä¼šç¤¾ITプランニング(IT Planning Inc.)
Copyright (C) 2006-2007 IT Planning Inc. All Rights Reserved.
関数型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®æ¥½ã—ã¿æ–¹(Scalaç·¨)：第1回：Scalaã£ã¦æ¥½ã—ã„？ | 豆蔵ソフト工å¦ãƒ©ãƒœ
関数型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®æ¥½ã—ã¿æ–¹(Scalaç·¨) 第1回：Scalaã£ã¦æ¥½ã—ã„？ å°åˆ· æ ªå¼ä¼šç¤¾è±†è”µ BS事æ¥éƒ¨ コンサルタント　å°æž— å¥ä¸€ã€€ã€€2010/06/03 ［プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ï¼½ ã¯ã˜ã‚㫠本特集記事ã§ã¯ã€æ–°ã—ã„プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®å¯èƒ½æ€§ã‚’ä¿¡ã˜ã¦åŠªåŠ›ã™ã‚‹æ–¹ã®ãŸã‚ã«ã€ ã¡ã‚‡ã£ã¨å¤‰ã‚ã£ãŸã€ã—ã‹ã—強力ã§å®Ÿç”¨æ€§ã®ã‚るプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã€ Scalaを紹介ã—ã¾ã™ã€‚ ã“ã“最近ã€æ¥å‹™ã§ä½¿ã£ã¦ã„る言語以外ã§ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã—ã¦ã„ãªã„方〠「言語ã¯Cã€Javaã€VBã€COBOLã ã‘ãŠã•ãˆã¦ãŠã‘ã°OKã€ã¨ã„ã†æ–¹ã¯ãœã²ã€ ã“ã®æ©Ÿä¼šã«Scalaã«è§¦ã‚Œã¦ãã ã•ã„。新ã—ã„発見ãŒå±±ã»ã©ã‚ã‚Šã¾ã™ã‚ˆã€‚ 今回ã¯ã€ã¾ãšScalaã®æ¦‚è¦ã‚’紹介ã—ã¾ã™ã€‚ 言語ãªã‚“ã¦Java,C,VB,COBOLã ã‘ãŠã•ãˆã¦ãŠã‘ã°OKã§ã—ょ？ ç¾åœ¨ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®ä¸ã§å¤§ããªæ¯”率をå ã‚ã¦ã„ã‚‹ã‚‚ã®ã¨ã—ã¦Javaã€Cã€VBã€COBOLã€ã‚ã¨ã¯PHPã€R
Haskell - HaskellWiki
Haskell is an advanced purely-functional programming language. An open-source product of more than twenty years of cutting-edge research, it allows rapid development of robust, concise, correct software. With strong support for integration with other languages, built-in concurrency and parallelism, debuggers, profilers, rich libraries and an active community, Haskell makes it easier to produce fle
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
The introduction to Reactive Programming you've been missing
The slow adoption of Functional Programming in banks! - Abdul Muhit's Posts - Quora
Advanced Topics in Types and Programming Languages
{{#tags}}- {{label}}
{{/tags}}