sqlite3でsplit（もっと簡単に）
この記事で説明すること SQLアンチパターンでいうところのジェイウォークパターンになっているデータを、SQLiteを使って正規化する方法を説明します。 次の記事では再帰クエリを使って実現していま...
1
2
Comment0
25 search resultsShowing 1~20 results
Stocked
You need to log-in
Pleromaインストールバトル ～GCP無料枠編～
PleromaはActivityPubで連合する分散SNSサーバーです。サーバーはElixirで実装されていて、軽量であることを特徴としています。GCP Always Free で使える、Goo...
3
4
Comment0
#tryswiftconf で出てきたポケモンの例題をRustでやってみる
型消去の話で出てきたポケモンの例題を理解する #tryswiftconfで出てきた例をRustに移植してみます。 Gistでコードを見る Rust Playgroundで実行する trait P...
5
6
Comment0
Rustにおけるオブジェクト指向の考え方
トレイト Rustにクラスやプロトタイプチェーンは存在しない。そのかわり、トレイトを使ってオブジェクト指向プログラミングを実現する。トレイトはメソッドを集めたものだ。トレイトを型に実装することに...
118
97
Comment0
遅延評価とはなにか、そしてモナドの話
TL;DR 関数は呼び出されるまで評価されない、というのは当然の性質だ。 正格評価を行う言語でも、クロージャーがあれば遅延評価の挙動を模倣できる。 遅延評価という言葉の意味を拡大して使うのは危険...
113
102
Comment30
追加で指示する
makeコマンド打ってから、あービルド終わったらインストールもしておいてほしいな、だとか、スリープに入って欲しいな、のように思うことがあったのだけれども、追加で指示する方法が分かったので書いてお...
4
4
Comment0
復習 モナド
はじめに monad って一体なんなのって、象の絵がかいてある本とか、色々な所で色々なやり方で論じられていると思うので、適宜調べればいいと思うんですけど、やっぱり自分用のまとめも欲しい。とりあえ...
17
17
Comment1
圏論のモナドの法則からHaskellでよくみる形のモナド則を導き出す
関手 関手$F$は、次の法則を満たします。 F(f \circ g) = F(f) \circ F(g) \\ F(1_A) = 1_{F(A)} fmapは関手です[追記]1[/追記]。つまり...
20
21
Comment0
spinoza所感
spinozaがやりたいことは、自分の知っている限りではKittenみたいな、concatenativeな言語が近いんじゃないかなって思いました。 Kittenについては以前紹介しました。 Ki...
0
0
Comment1
関数型言語には遅延評価が必要
そんなものは迷信に過ぎない*1。 Elm is not lazy. — Elm FAQ It is compiled, with eager evaluation. — Idris Overvi...
5
6
Comment0
Flycheckで捗らせる
FlycheckはRustに対応しています。 捗りますね。
0
0
Comment0
Tao3Dの基幹にある謎の言語XLRに迫る
Tao3Dは、インタラクティブなスライドやアニメーションが作成できるプログラミング言語および開発プラットフォームで、Windows版, OS X版, Linux版のパッケージが用意されています。...
1
2
Comment0
Terraで正規表現マッチングエンジンの特殊化をする
Terraは、Luaを拡張し、メタプログラミングでネイティブコードを出力できるようになった言語です。どんな言語かは、以前ブログに書いた記事があるので、そちらも参照して下さい。 Thompson’...
2
2
Comment0
Haxeの式
C言語の伝統に則った言語には文 statement と式 expression の区別があり、+や,、&&といった演算子は式を作り、ifやforやreturn、;といったキーワー...
7
4
Comment0
非Prolog的Prologプログラミング
論理型プログラミング言語Prologは述語を定義してプログラミングする。でも、関数を基本単位としたプログラミングをしてきたのに、いきなり述語で書けと言われても、どうすればいいか分からない。今回は...
3
3
Comment7
（マイナー）言語の世界
1日目が空いていたので、イントロダクションやります。 無数の言語 プログラミング言語は沢山あります。こんなに沢山あると、初学者は何からプログラミングを学び始めたらよいのか困ってしまいますね。です...
3
2
Comment1
Swiftの関数の引数は、常に一つか
Swiftの関数の引数は、常に一つ 単なる用語の混乱の話なんだけど、仮引数 parameter と言ったとき、大抵の場合は、->の左側のタプル全体ではなく、その個々の要素を指しているはずな...
8
8
Comment2
半環を使った重み付き正則表現マッチャーをHaxeで実装する
Haskellでは、代数的構造を使ったプログラムがよく書かれる。このようなプログラムを、Haxeでどのように記述すればいいのかを調べた。ここでは、Weighted RegExp Matching...
4
3
Comment0
GADTを使って、より安全なアドホック多相関数をHaxeで実現する
Haxeの多相関数の型推論についてではHaxeでアドホック多相関数を実現しているが、addメソッドの引数に異なる型の値が与えられた場合でもコンパイルが通ってしまうので、実行時例外で対処している。...
7
7
Comment0
HaxeのGADT (一般化代数的データ型) を使って言語処理系を実装する
HaxeにはGADT(generalized algebraic data type; 一般化代数的データ型)という機能がある。この機能を使って、型付きのインタープリターとコンパイラーをつくろう...
12
11
Comment0
25 search resultsShowing 1~20 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles