並び順

ブックマーク数

期間指定

  • から
  • まで

401 - 440 件 / 1249件

新着順 人気順

haskellの検索結果401 - 440 件 / 1249件

  • Starting your Computer Music Journey with Clojure and Overtone in Emacs

    Posts Starting your Computer Music Journey with Clojure and Overtone in Emacs In this post I want to write about probably the most powerful text editor there is: Emacs and how to set it up so you can begin programming and live coding with Overtone in no time. Many users would disagree and argue that vi/Vim is the king of editors, and I’m not going to get into that bickering, which has lasted for s

      Starting your Computer Music Journey with Clojure and Overtone in Emacs
    • すまん、他社行くわ (ボツ案: プログラミングを始めて10年目になるし、新卒で入った会社もやめて転職する)

      こんにちは、びしょ~じょです。 メモリアルなんでなんか書こうかなと思いました。 プログラミングをはじめて10年目になる プログラミングの旅は、大学に入ってから始まった。入学直前にDxRubyに触れ、forループを使って「hello」を出力しまくったのが、おそらく最初の経験であったと思う。大学時代、学部2年にはLinuxConに参加するなどしていたが、結局は言語系の道に進んだ。本格的にプログラミング言語自体に興味を持ち始めたのは、1年生と2年生の終わり頃にLuaでZコンビネータを書いたときだった。 それ以降、プログラミングとともに歩む日々が続いている。大学在籍中には、様々なプログラムを作成し、友人や先生からの評価も得ていた。また、自身のスキルアップのために、オンラインでの情報収集や書籍を読み漁ることも欠かさなかった。卒業後、初めて入った会社では、これまでの学びを活かし、新しいプロジェクトに取

        すまん、他社行くわ (ボツ案: プログラミングを始めて10年目になるし、新卒で入った会社もやめて転職する)
      • AWS Lambda で Python みたいな関数型言語 Coconut を動かすぞ!!!!!!!(非カスタムランタイム)

        ホームテクノロジーAWS Lambda で Python みたいな関数型言語 Coconut を動かすぞ!!!!!!!(非カスタムランタイム) AWS Lambda で Python みたいな関数型言語 Coconut を動かすぞ!!!!!!!(非カスタムランタイム)みなさんはじめまして!!!!!!!!!!!! 会津ラボで主にバックエンドの開発を担当している吉原です。他にブロックチェーン等もやってます。好きな言語は Haskell、趣味はクイズゲームです。以後お見知りおきを。 ※ ちなみに弊社には吉の字がつくバックエンド担当が2人おり、度々間違われます。当ブログをご覧になる場合はご留意ください。 さて、今日(注:執筆開始時点)はお盆です。 ……お盆も働いていたやつらだ。面構えが違う。 というのは冗談で、お盆休みをずらして取得しているため、その代わりに出勤しています。こういったことができる所

        • TypeScriptで始める簡単モナド入門 | SIOS Tech. Lab

          ◆ Live配信スケジュール ◆ サイオステクノロジーでは、Microsoft MVPの武井による「わかりみの深いシリーズ」など、定期的なLive配信を行っています。 ⇒ 詳細スケジュールはこちらから ⇒ 見逃してしまった方はYoutubeチャンネルをご覧ください 【5/21開催】Azure OpenAI ServiceによるRAG実装ガイドを公開しました 生成AIを活用したユースケースで最も一番熱いと言われているRAGの実装ガイドを公開しました。そのガイドの紹介をおこなうイベントです!! https://tech-lab.connpass.com/event/315703/ はじめにこんにちは、SIOS アプリケーションコンサルティングGの池田 透です。 この記事ではTypeScriptのfp-tsという関数型プログラミングのためのライブラリを使ってモナドについて説明してみます。 モナド

            TypeScriptで始める簡単モナド入門 | SIOS Tech. Lab
          • Overview - Crux: Cross-platform app development in Rust

            Overview Crux is an experimental approach to building cross-platform applications with better testability, higher code and behavior reuse, better safety, security, and more joy from better tools. It splits the application into two distinct parts, a Core built in Rust, which drives as much of the business logic as possible, and a Shell, built in the platform native language (Swift, Kotlin, TypeScri

            • Hylo

              Hylo (formely Val) is a programming language that leverages mutable value semantics and generic programming for high-level systems programming. Hylo aims to be: Fast by definition: Hylo is compiled ahead-of-time to machine code and relies on its type system to support in-place mutation and avoid unnecessary memory allocations. Hylo avoids hidden costs such as implicit copies and therefore avoids h

              • オブジェクト指向にとって継承とは何か?〜ストラウストラップ「「オブジェクト指向プログラミング」とは何か」〜 - Qiita

                オブジェクト指向にとって継承とは何か?〜ストラウストラップ「「オブジェクト指向プログラミング」とは何か」〜C++Haskellオブジェクト指向 オブジェクト指向とは何か?ということを真面目に調べていくと、オブジェクト指向には二種類ある、という話に突き当たる。sumim氏のQuora回答などを参照。 Smalltalkの設計者アラン・ケイによる、メッセージング重視のオブジェクト指向 C++の設計者ストラウストラップによる、クラス重視のオブジェクト指向 今回はこの後者のオブジェクト指向について、ストラウストラップの論文「「オブジェクト指向プログラミング」とは何か?」What is "Object-Oriented Programming"?(1991)の内容を(適宜行間を補いつつ)まとめてみる。 当然サンプルコードはC++(ほぼ原論文のコードのコピペです)。 ストラウストラップのオブジェクト指

                  オブジェクト指向にとって継承とは何か?〜ストラウストラップ「「オブジェクト指向プログラミング」とは何か」〜 - Qiita
                • テンソルを実装するのに表現可能関手がとても便利な件 - Qiita

                  最近hmatrixで深層学習を実装する機会があったのですが、hmatrixはベクトルと行列しか提供していないので3階以上のテンソルが必要になって困るという場面に出くわしました。そこで自分で長さ付きベクトルを組み合わせてサクッとn階テンソルが作れると便利かな〜と調べていたら(素直にrepaやmassivを使えという話ではあるのですが )表現可能関手を使うことでn階テンソルとその演算が楽に(そして抽象的に)実装できるという文献1を見つけたので備忘録も兼ねてまとめておこうと思います。 この記事で紹介したコードは以下のGistで公開しています。 https://gist.github.com/lotz84/78474ac9ee307d50376e025093316d0f 関手、つまりFunctorのことですが、表現可能関手はその中でも特別な性質を持つものです。この記事は前半と後半に分けて、前半では

                    テンソルを実装するのに表現可能関手がとても便利な件 - Qiita
                  • Learn, improve and generate code with AI | Refraction

                    with AIRefraction is a code generation tool for developers. It uses AI to generate code for you. You can use it to generate unit tests, documentation, refactor code and more. Generate code in Generate code using AI in 56 languages — ABAP, Ada, Apex, Assembly, Batch, C, C#, C++, CameLIGO, Clojure, Cobol, CoffeeScript, CSS, D Lang, Dart, Elixir, Erlang, F#, Fortran, Go, GraphQL, Groovy, Handlebars,

                      Learn, improve and generate code with AI | Refraction
                    • 弊社オフィスでElm Meetup in Summerが開催されました - Unipos engineer blog

                      技術開発本部エンジニアの泉です。 先月末8/25にElm Meetup in Summerというイベントを弊社オフィスで開催しました。 elm-jp.connpass.com 今回のイベント開催は、connpassでの募集開始から一週間と立たないうちに100人もの参加応募があるなど、ここ最近のElmの盛り上がりを大きく感じさせるものとなりました。 前回のElm Tokyo Meetup Vol.4開催ののち、かれこれ1年ほどの歳月が経過しての今回のイベントとなりましたが、弊社もオフィスを六本木グランドタワーへと移転し、より収容人数の大きい会場を提供することができるようになりました。さまざまな意味で時期の温まった素晴らしいタイミングだったのではないかなと思います。 会場を埋め尽くす参加者 オープニングとトークをするわたしと@ababupdownba氏 ライトニングトーク 今回はなんと総勢で8

                        弊社オフィスでElm Meetup in Summerが開催されました - Unipos engineer blog
                      • Haskellでグラフアルゴリズムを攻略する(WIP)

                        はじめに Haskellでは、ListやTreeがよく取り上げられる一方で、グラフの話題はあまり出てこないことがあります。これは、ListやTreeには適切な始代数があり、それに応じたコンストラクタ(パターンマッチング)がうまく機能するためです。しかし、グラフ構造でも実はmatch関数を使ったパターンマッチングで、驚くほど簡潔に各種のアルゴリズムを実装できます。 グラフの基本構造 まず、グラフの基本構造を以下に示します。 import Data.List import Data.IntMap.Strict (IntMap) import qualified Data.IntMap.Strict as IM type Gr a b = IntMap (a, IntMap b) type Node = Int type LNode a = (Node, a) type Edge = (Node

                          Haskellでグラフアルゴリズムを攻略する(WIP)
                        • Why Create a New Unix Shell? (2021)

                          Introduction Before explaining why I created Oil, let's review what it is. You can think of a Unix shell in two ways: As a text-based user interface. You communicate with the operating system by typing commands. As a language. It has variables, functions, and loops. Shell programs are text files that start with #!/bin/sh. In this document, we'll think of Unix shells as languages. The Oil project a

                          • The One Who Created Elixir

                            Creator of the functional programming language Elixir and cofounder of Plataformatec, a software consultancy specializing in Elixir and Ruby, José Valim discusses how it all started with programming, the lessons he learned while creating Elixir, and his involvement in its future. Learning how to do thingsWhen I was 8 to 10 years old, I had my first home computer, which was kind of privileged—it wa

                              The One Who Created Elixir
                            • Delimiter-first code

                              Summary I argue for wider usage of delimiter-first in the code three friends [tic, tac, toe] becomes three friends ・tic ・tac ・toe. A new top-level syntax for programming languages is proposed to show advantages of this method. New syntax is arguably as simple, but more consistent, better preserves visual structure and solves some issues in code formatting. Related: comma-first formatting A well-kn

                              • 関数を組み合わせてシステムを組む「Haskell」。クセの強さがその魅力?〜エンジニアが語る技術愛 #01〜|ミクシル

                                ミクシィには、探究心溢れるエンジニアがたくさん在籍しています。 その探究心は業務で扱う技術にとどまらず、趣味で書いているプログラムだったり、個人的に研究している言語だったりと、自身の気になった技術への追求も留まることを知りません。 そこで、社内のエンジニアに“好きな技術”について、思う存分に語ってもらうシリーズを始めました。 ルールはこの通り。 ・業務で使っている技術でも、使われていない技術でもOK ・あくまでも個人的な見解で ・その技術のどこが面白いのか ・愛を込めて語り尽くしてもらう 第1回目は、「モンスターストライク(以下モンスト)」のサーバーエンジニアの松原に、関数型プログラミング言語「Haskell」についていったい何が面白いのか、どういうものなのか、好きなだけ語ってもらいました。 有名プログラミング言語のナレッジが通用しづらい独特な「Haskell」 ━━今日は好きな技術につい

                                  関数を組み合わせてシステムを組む「Haskell」。クセの強さがその魅力?〜エンジニアが語る技術愛 #01〜|ミクシル
                                • GitHub - luke-clifton/shh: Simple shell like scripting from Haskell

                                  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 - luke-clifton/shh: Simple shell like scripting from Haskell
                                  • Little Languages Are The Future Of Programming

                                    I’ve become convinced that “little languages”—small languages designed to solve very specific problems—are the future of programming, particularly after reading Gabriella Gonzalez’s The end of history for programming and watching Alan Kay’s Programming and Scaling talk. You should go check them out because they’re both excellent, but if you stick around I’ll explain just what I mean by “little lan

                                      Little Languages Are The Future Of Programming
                                    • 高度合成数を高速に列挙する2つのアルゴリズム - Qiita

                                      競技プログラミングでの使われ方の例 たとえば$10^9$以下の最大の高度合成数は$735134400$であり、その約数の個数は$1344$個です。 よって、$N$の約数の個数の$2$乗オーダーで解けるような問題は、$N \le 10^9$の制約のもとで$2$秒以内に計算が収まる可能性が高いです。 解きたい問題 $N$ 以下の高度合成数をすべて列挙せよ。ただし$N \le 10^{100}.$ #ナイーブなアルゴリズム $N$ 以下の全ての自然数の約数の個数を求めれば、高度合成数を列挙することができます。$\tau(1),\tau(2),\tau(3),\dots$ と順番に約数の個数を計算すると大変ですが、「各$i$について、$n$が$i$の倍数ならnumber_of_div[n] += 1」とすると調和級数により$O(N \log N)$ で計算できます。 このアルゴリズムではすべての

                                        高度合成数を高速に列挙する2つのアルゴリズム - Qiita
                                      • Writing JavaScript tools in other languages – a new trend?

                                        Writing JavaScript tools in other languages – a new trend? Recently, we have seen an uptick of JavaScript tools being written in languages other than JavaScript. This blog post lists a few examples and explains the appeal of not using JavaScript. Examples  # I asked on Twitter and these are a few of the examples that people mentioned: Build tools and compilers: esbuild – Go: JavaScript bundler and

                                        • すぐにコードを書いて試せる!オンラインプログラミング実行環境8選 - paiza times

                                          StockSnapによるPixabayからの画像 こんにちは。倉内です。 初心者がプログラミング学習を始めるときにつまずきがちな環境構築ですが、今はWebブラウザ上で書いたコードをすぐに実行できる「オンライン実行環境」が充実しているので利用しない手はありません。 ほとんどのオンライン実行環境が複数の言語に対応しており、プログラミング学習はもちろん、「普段使っていない言語だけどちょっと試してみたい」といったときにも非常に便利です。 しかし無料で利用できるサービスだけでも数が多く、どれを使うとよいか迷う方もいらっしゃるかもしれません。 そこで今回は、おすすめのオンライン実行環境を対応言語や入力補完機能の有無などの項目で比較してみました。各サービスの特徴も紹介しますので、目的に合わせて使い分けてみてください! 基本項目比較 今回取り上げるのは、無料で利用できる以下の8つのサービスです。表では以下

                                            すぐにコードを書いて試せる!オンラインプログラミング実行環境8選 - paiza times
                                          • scrapscript

                                            greet <| person::ron 3 . greet : person -> text = | #cowboy -> "howdy" | #ron n -> "hi " ++ text/repeat n "a" ++ "ron" | #parent #m -> "hey mom" | #parent #f -> "greetings father" | #friend n -> "yo" |> list/repeat n |> string/join " " | #stranger "felicia" -> "bye" | #stranger name -> "hello " ++ name . person : #cowboy #ron int #parent (#m #f) #friend int #stranger text "hi aaaron" Scrapscript i

                                            • 2023年の Linear Haskell で純粋・並列 FFT を実装する──「Haskell は Rust になれるのか?」補遺

                                              この記事は Haskell Advent Calendar 2023 14 日目の記事です[1]。 更新履歴 2023-12-15 並列化のパフォーマンスに関する追記。 2023-12-14 初版公開。 はじめに 先々月、Linear Haskell のまとまりのない記事を書いたところ、思ったよりも反響を頂いてびっくりしました。 ただかなりまとまりのない長文だった結果、「長い」「結局 Rust になれるのかようわからん」といった御叱りを頂きました。本当にすいません……。 冒頭に「RustのようになるにはLinear Constraintsに期待」とか、末尾に「2023年のHaskellはまだ Rust ではないが、近い将来 Rust になれる可能性が大きい」とか書きはしましたが、全体があまりにも長いのでこの結論を見つけ出すのも大変ですし、話題があんまり散漫に過ぎまたので論拠もすごくわかりづ

                                                2023年の Linear Haskell で純粋・並列 FFT を実装する──「Haskell は Rust になれるのか?」補遺
                                              • Blazing fast Fibonacci numbers using Monoids

                                                This post illustrates a nifty application of Haskell’s standard library to solve a numeric problem. The Fibonacci series is a well-known sequence of numbers defined by the following rules: In fact, that’s not only a specification of the Fibonacci numbers: that’s also valid Haskell code (with a few gratuitous parentheses to resemble traditional mathematical notation). However, that solution is inef

                                                • Elixir版?①「プログラミングHaskell第2版」 - Qiita

                                                  fukuoka.ex/kokura.exのpiacereです ご覧いただいて、ありがとうございます 先日9/7(土)に開催した、「ElixirConf JP 2019」の準備・運営にかかりきりで、約3ヶ月弱ぶりの投稿です(ElixirConf JP 2019のレビューは追ってまとめます) さて最近、Haskellerの方々と、ご一緒することが、ちょくちょくあります ご存知の方は、ご存知ですが、元々、私の関数型初体験は、Haskellでした … それから幾つものプログラミング言語を経由して、現在、Elixirに落ち着いており、恐らく、Elixir以外の言語を選ぶことは、よほどのことが無い限り、無いと思います とはいえ、言語ヲタとして、他言語に学ぶことは多くあり、今回は、先月出たばかりの「プログラミングHaskell 第2版」の第1章を、Elixirで解釈してみようと思います(コラムは、原著の

                                                    Elixir版?①「プログラミングHaskell第2版」 - Qiita
                                                  • 自作言語でセルフホストしてみた - Qiita

                                                    はじめに 自作言語でセルフホストできたので,やったこと,考えたこと,得たこと,思ったことなどをまとめました. きっかけなど 「低レイヤを知りたい人のためのCコンパイラ作成入門」がまとまっててうれしい x86_64などのプロセッサで直接動作するアセンブリを生成してみたかった セルフホストできる程度の言語のコンパイラを実装したことがなかった 自作言語を一通り設計・実装したことがなかった 気軽に遊べる言語がほしかった 関数呼び出しで括弧を使わない世界線のRustの雰囲気を感じたかった GitLabの操作に慣れておきたかった 現実逃避 ...などなど コンパイラの名前はnecoです.HaxeのNekoと被るのでnecoにしています.言語の名前は決まってないけど拡張子は.necoにしています.necoは なんちゃら compiler の略ですと言いたいけれども略称はまだ決まってないです. コメントを

                                                      自作言語でセルフホストしてみた - Qiita
                                                    • 代数的データ型と初等代数学

                                                      「関数プログラミングとはなんですか?」と問われたときには「デ,データファースト……(震え声)」と答えることが多いのだが,実際 Haskell や OCaml などの言語を特徴付けるものとして,代数的データ型 (Algebraic Data Type; ADT) の存在は無視できないだろう.その有用性ゆえに,近年では新たな言語の策定の際にその概念が輸出され,Rust や Swift などの言語にも採用されている. 「代数的データ型とはなんですか?」と問われたときには——問われたことがないのでわからないのだが——おもむろに ghci か utop を立ち上げて,解説を始めるのではないかと思う.ひとしきり解説をした後,「つまり直積の直和なんですよ〜🙌✨」と言って話を締めくくるだろう. int 型や float 型など,「メモリ上の表現」という計算機の気持ちに極めて寄り添ったプリミティヴなデータ

                                                        代数的データ型と初等代数学
                                                      • 関数型言語初心者にこそおすすめしたい"OCaml"の特徴

                                                        2019年7月29日、Opt Technologiesが主催するイベント「Fun Fun Functional (2) 関数型言語Lightning Talks!!」が開催されました。関数型プログラミングについて楽しく学び、知見を共有することを目的に開催されている本勉強会。今回は6名のエンジニアが、関数型プログラミング言語にまつわるユニークな発表を行いました。プレゼンテーション「関数型初心者にこそおすすめしたい言語 "OCaml" 」に登壇したのは、cedretaber氏。講演資料はこちら 関数型初心者にこそおすすめしたい言語 "OCaml" cedretaber氏(以下、cedretaber):「関数型初心者にこそおすすめしたい言語 "OCaml"」ということで、またOCamlの話だということになってしまうんですが。 自己紹介、cedretaberと申します。 「ドワンゴから来ました」っ

                                                          関数型言語初心者にこそおすすめしたい"OCaml"の特徴
                                                        • 週刊Railsウォッチ(20200407後編)RubyのTracePointでデバッグ、Rubyとモナド、Gitノウハウ集、リモートワークほか|TechRacho by BPS株式会社

                                                          2020.04.07 週刊Railsウォッチ(20200407後編)RubyのTracePointでデバッグ、Rubyとモナド、Gitノウハウ集、リモートワークほか こんにちは、hachi8833です。リモートワークでは、高品質のマイクの他に高品質の椅子も重要ということが判明しつつあるようです。 各記事冒頭には⚓でパーマリンクを置いてあります: 社内やTwitterでの議論などにどうぞ 「つっつきボイス」はRailsウォッチ公開前ドラフトを(鍋のように)社内有志でつっついたときの会話の再構成です👄 毎月第一木曜日に「公開つっつき会」を開催しています: お気軽にご応募ください ⚓Ruby ⚓TracePointで変わるRubyのデバッグ 元記事: Changing the Approach to Debugging in Ruby with TracePoint | AppSignal B

                                                            週刊Railsウォッチ(20200407後編)RubyのTracePointでデバッグ、Rubyとモナド、Gitノウハウ集、リモートワークほか|TechRacho by BPS株式会社
                                                          • Arc<Mutex<T>>という形はデザインパターン - Rustコトハジメ

                                                            RustはGCのない言語なので、GCがあった時にふつうに書けていたコードが書けなくなります。その典型例はリスト・ツリー・グラフといった再帰的な構造です。 これに対してドキュメントや記事を読むと、以下のような型が出てきます。Haskellのモナドスタックの再来と怯える人もいるかも知れません。 enum List { Cons(Rc<RefCell<i32>>, Rc<List>), Nil, } pub struct NodeRef<T>(Rc<RefCell<Node<T>>>); type Link<T> = Option<Rc<RefCell<Node<T>>>>; type WeakLink<T> = Option<Weak<RefCell<Node<T>>>>; 大抵のドキュメントは、木構造を実装してみようというテーマで、上のような型がなぜ必要になるのか?を説明してから、そのマルチ

                                                              Arc<Mutex<T>>という形はデザインパターン - Rustコトハジメ
                                                            • The Death of Hype: What's Next for Scala

                                                              A recent tweet by a friend of mine noted how the public interest in the Scala programming language seems to have plateaued or waned, which matches my feeling of the latest trends and zeitgeist. This blog post will go into why I think that has happened, where Scala stands now, and what the future holds for the Scala community. About the Author: Haoyi is a software engineer, and the author of many o

                                                              • UEFN Verse事始め - Let's Enjoy Unreal Engine

                                                                先日のGDC2023でUnreal Engine 5.2の新機能とUnreal Editor for Fortnite(UEFN)が発表されました。 もちろんUE5.2にも注目するべきところなのですが、今回は特に目玉として発表されたUEFNについてを記事にしたいと思います。 UEFNはEpic Gamesが開発している大人気シューターゲーム『フォートナイト』のアドオンとして提供されるツールであり、中身はUnreal Editorをカスタマイズされたものとなっています。元々フォートナイトには『フォートナイト クリエイティブ』というゲーム内で独自のマップを制作するための仕組みが用意されていました。 フォートナイト クリエイティブ資料 このフォートナイト クリエイティブが一気に進化し、Unreal Editorで直接マップを制作、もしくは完全に独自のゲームも制作することが可能となりました。それが

                                                                  UEFN Verse事始め - Let's Enjoy Unreal Engine
                                                                • Android むけ Haskell コンパイラをリリースしました!

                                                                  4 年まえに「Haskell コンパイラを書こう!」 という記事で紹介した自作コンパイラを、いよいよリリースしますというお話です。 その記事で述べた通り、Haskell 2010 仕様を満たし、かつ、FFI をサポートしたら Version 1 にしようと思っているのですが、まだそこまで至っていないため、 今回は 0.9.0 版としてリリースします。 Bunny は、Android 上で動くアプリケーションの作成をターゲットとした Haskell コンパイラです。このコンパイラを作成するにあたって、基礎的な部分を「最新コンパイラ構成技法」という本で勉強したので、 その本の通称である Tiger Book にちなんで Bunny という名前にしました。 Bunny は、Haskell で書かれた Haskell コンパイラです。Haskell プログラムをソースコードとし、オブジェクトコード

                                                                  • IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix.

                                                                    The Haskell Framework for Non-Haskellers. Blazing fast, secure, easy to refactor and the best developer experience with everything you need - from prototype to production.

                                                                      IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix.
                                                                    • The Hamler Programming Language

                                                                      Haskell-style functional programming language running on Erlang VM. View the Project on GitHub hamler-lang/hamler The Hamler Programming Language Hamler is a strongly-typed language with compile-time typechecking and built-in support for concurrency and distribution. Hamler empowers industries to build the next generation of scalable, reliable, realtime applications, especially for 5G, IoT and edg

                                                                      • 2019年のロードマップに見るプログラミング言語「Rust」のこれから - ZDNet Japan

                                                                        印刷する メールで送る テキスト HTML 電子書籍 PDF ダウンロード テキスト 電子書籍 PDF クリップした記事をMyページから読むことができます プログラミング言語「Rust」は、「C++」のような高性能言語に代わる確かな選択肢として、ゆっくりだが着実に名を上げている。 Rustの中核チームはこのほど、今後予定している同言語の新機能と改良点をとりまとめた2019年のロードマップを公開した。 Rustの中核チームはある投稿で、「2019年は、Rustプロジェクトにとって活性化と成熟の年になる」と述べ、さらに、ガバナンスの向上、長年要求されてきた機能の作り込み、そして同言語とツールの品質向上を中心に取り組むと付け加えている。 Rustは、「C」やC++の高い性能を必要としつつ、メモリを手動で管理する煩わしさから解放されたいプログラマーに人気がある。Rustの担当チームはこれまでも、R

                                                                          2019年のロードマップに見るプログラミング言語「Rust」のこれから - ZDNet Japan
                                                                        • プログラミングHaskell 第2版

                                                                          紙書籍をお届けします(PDFがついてきます) PDFのみが必要な場合は、こちらのPDF単品をお求めください PDFは購入後すぐにダウンロード可能です 紙書籍は通常、ご注文から2~3営業日で発送します 年末年始や大型連休など、1週間から10日程度、配送のお休みをいただく場合があります。詳しくはお知らせをご覧ください プログラムが、手続きでなく、関数と型に見えてくる Graham Hutton 著、山本和彦 訳 328ページ A5判 ISBN:978-4-908686-07-8 2019年8月2日 第1版第1刷 発行 翻訳者による補足情報があります(リンク) 正誤情報 Haskellは、1990年に誕生した歴史あるプログラミング言語です。強力な型推論を備えた、静的型付きで遅延評価の純粋関数型言語として知られています。Haskellを知ることは、こうした概念の背景にある計算機の理論を知り、それが

                                                                            プログラミングHaskell 第2版
                                                                          • Defunctionalization and Freyd’s Theorem

                                                                            Defunctionalization and Freyd’s Theorem Posted by Bartosz Milewski under Category Theory, Programming [9] Comments The main idea of functional programming is to treat functions like any other data types. In particular, we want to be able to pass functions as arguments to other functions, return them as values, and store them in data structures. But what kind of data type is a function? It’s a type

                                                                              Defunctionalization and Freyd’s Theorem
                                                                            • JavaScript backend merged into GHC | IOG Engineering

                                                                              A new JavaScript backend was merged into GHC on November 30th, 2022! This means that the next release of GHC will be able to emit code that runs in web browsers without requiring any extra tools, enabling Haskell for both front-end and back-end web applications. In this post, we, the GHC DevX team at IOG, describe the challenges we faced bringing GHCJS to GHC, how we overcame those challenges, and

                                                                              • Haskell+LLVM構成で作る自作コンパイラ - Qiita

                                                                                Haskellのパーサコンビネータmegaparsecと、コンパイラ基盤であるLLVMを使って、コンパイラを作ってみます。モチベーションとしてはコンパイラはC/C++を使って作るのが定番ですが、型の恩恵を受けながら開発したいなあということでHaskellでも作れないか調べてみました。 コンパイラ作成の流れ パーサコンビネータのMegaparsecで四則演算のパーサを作成します。 LLVM IR構築のライブラリであるllvm-hs-pureでLLVM IRのコードへ変換するコンパイラを作成します。 簡単な式をコンパイルしてLLVMのインタープリタlliで実行します。 LLVMのコンパイラllcでアセンブラを生成してgccでバイナリまで生成します。 環境 あらかじめ以下をインストールしておいてください。 stack 1.9.3 Haskell 8.6.5 LLVM 9.0.0 コマンドラインで

                                                                                  Haskell+LLVM構成で作る自作コンパイラ - Qiita
                                                                                • Higher-Kinded Data (HKD) について - Qiita

                                                                                  これは Haskell Advent Calendar 12 日目の記事です。今日は 12/12+12 日です。 今回は、最近流行りの Higher-Kinded Data (HKD) について簡単に紹介したいと思います。 // 以前、某社の採用ビアバッシュ的イベントで、Haskell ほとんど知らない人の中で HKD の話をした際のスライドを公開し忘れていたので、せっかくなので多少手直しして公開します。 Haskell Day 2019 でも、@fumieval さんによる HKD のトークがあったので、そちらも参考にすると良いと思います。 https://twitter.com/fumieval/status/1193016480574500865 設定はモノイド Haskell 界隈には設定はモノイドであるべきという一派があります。 次のようなプログラムの設定を表すデータ型を例にして

                                                                                    Higher-Kinded Data (HKD) について - Qiita