サクサク読めて、
アプリ限定の機能も多数！
アプリで開く
●はてなブックマークって？
●アプリ・拡張の紹介
●ユーザー登録
●ログイン
●ログアウト
uehaj
id:uehaj
●
26,476
ブックマーク
●
-
お気に入り
●
-
お気に入られ
タグ
●すべて
●
.net
(2)
●
2013
(1)
●
Agile
(1)
●
Alfred
(2)
●
AltJS
(3)
●
Amazon
(1)
●
Angular
(2)
●
AngularJS
(7)
●
AtScript
(1)
●
BDD
(1)
●
BOF
(1)
●
BootStrap
(3)
●
Brainf*ck
(1)
●
C(2)
●
C++11
(1)
●
CVE-2015-3253
(1)
●
CalculusofConstructions
(1)
●
Cayenne
(1)
●
CheckerFramework
(1)
●
Chocolatey
(1)
●
Chrome
(4)
●
Chromeless
(1)
●
Clojure
(5)
●
CoC
(1)
●
D(1)
●
DDD
(1)
●
DIY
(1)
●
DOM
(1)
●
Dart
(6)
●
Datomic
(3)
●
DelegatesTo
(1)
●
Fizz
(1)
●
Flutter
(1)
●
GDK
(2)
●
GVM
(3)
●
Geb
(4)
●
Gitter
(1)
●
Go(6)
●
Google App Engine
(3)
●
Gremlin
(1)
●
HTML5
(2)
●
HTTP2
(1)
●
Hadoop
(2)
●
HatenaHaiku4J
(1)
●
Hayabusa
(1)
●
IDE
(1)
●
IntelliJ
(1)
●
IntelliJ IDEA
(2)
●
JJUG
(2)
●
JRevel
(1)
●
JVM
(17)
●
JavaScript
(26)
●
Jenkins
(2)
●
KVM
(1)
●
Key
(1)
●
Lua
(2)
●
MUI
(6)
●
MVC
(1)
●
MapDB
(1)
●
Mirage
(1)
●
MongoDB
(3)
●
MonogoDB
(1)
●
Mozilla
(1)
●
OSX
(1)
●
OpenJDK
(1)
●
PEG
(1)
●
Pandoc
(2)
●
PlantUML
(1)
●
Querydsl
(1)
●
QuickCheck
(1)
●
REST
(11)
●
React.js
(3)
●
ReactNative
(2)
●
ReactVR
(2)
●
Ruby
(7)
●
Rx(4)
●
RxJS
(3)
●
SSD
(1)
●
SVG
(1)
●
Tips
(1)
●
UI(7)
●
UI react rn react-native
(1)
●
V(1)
●
Vagrant
(1)
●
WebRTC
(2)
●
Word
(1)
●
adhd
(1)
●
advent
(3)
●
adventcalendar
(1)
●
afrp
(2)
●
alice
(1)
●
android
(27)
●
angular vue
(1)
●
angular.js
(1)
●
angular2
(2)
●
ant
(2)
●
api
(5)
●
appengine
(7)
●
apple
(1)
●
arm
(1)
●
arrow
(1)
●
asciidoc
(1)
●
asm.js
(1)
●
authentication
(1)
●
autopagerize
(1)
●
awk
(1)
●
aws
(5)
●
babel
(3)
●
base64
(1)
●
bash
(2)
●
beacon
(1)
●
bear
(1)
●
bigtable
(1)
●
book
(1)
●
boot
(3)
●
browser
(1)
●
bts
(2)
●
bug
(1)
●
buzz
(1)
●
bytecpde Dsl
(1)
●
c#
(6)
●
c++
(6)
●
cacoo
(1)
●
cat
(1)
●
choco
(1)
●
ci(1)
●
closure
(5)
●
cloud
(5)
●
cluster
(1)
●
cms
(3)
●
codemodel
(1)
●
collection
(1)
●
comonad
(1)
●
component
(1)
●
concept
(1)
●
constexpr
(1)
●
cook
(1)
●
coverage
(1)
●
css
(7)
●
dash
(1)
●
dataset
(1)
●
db(5)
●
dbm
(1)
●
dci
(2)
●
devtools
(1)
●
dialog
(1)
●
dialy
(1)
●
docker
(20)
●
dolipo
(1)
●
dry
(1)
●
dsl
(1)
●
eachParallel
(1)
●
ec2
(1)
●
eclipse
(5)
●
elasticsearch
(2)
●
electron react
(1)
●
elm
(114)
●
elm-lang
(1)
●
emacs
(13)
●
emscripten
(1)
●
english
(2)
●
enum
(1)
●
erlangの比較抜きにして
(1)
●
es6modules
(1)
●
excel
(1)
●
express
(1)
●
facebook
(2)
●
firefox
(1)
●
flowtype
(1)
●
flutter react hooks
(1)
●
flux
(4)
●
font
(1)
●
forall
(1)
●
fp(8)
●
fpl
(1)
●
framework
(10)
●
frege
(8)
●
frp
(12)
●
fu(1)
●
functinal
(1)
●
functional
(4)
●
functionalLT
(1)
●
gadvent
(10)
●
gae
(21)
●
gaelyk
(1)
●
gaevent
(1)
●
gaiden
(3)
●
gastah
(1)
●
gatsby
(1)
●
gbench
(2)
●
gc(1)
●
gcontract
(1)
●
gcp
(1)
●
gdub
(1)
●
ghc
(5)
●
git
(17)
●
github
(1)
●
glassfish
(1)
●
gmail
(1)
●
golang
(2)
●
google
(7)
●
gorm
(6)
●
gpars
(2)
●
gprof
(2)
●
gql
(1)
●
grab
(1)
●
gradle
(33)
●
graills
(2)
●
grails
(271)
●
grails3
(2)
●
grailsfw
(1)
●
grape
(2)
●
graphql
(6)
●
griffon
(1)
●
groovy
(168)
●
groovy2
(1)
●
groovy_home
(1)
●
groovyserv
(2)
●
groovyz
(1)
●
grovoyserv
(1)
●
grpc
(2)
●
gui
(1)
●
gwt
(1)
●
gyazo
(1)
●
haskell
(73)
●
heroku
(2)
●
hibernate
(2)
●
html
(2)
●
http
(3)
●
httpbuilder
(2)
●
httpd
(1)
●
hudson
(3)
●
hylang
(2)
●
idea
(1)
●
indy
(3)
●
invokedynamic
(2)
●
ios
(3)
●
ipad
(1)
●
iphone
(1)
●
iphone5ケース
(1)
●
irc
(1)
●
jacascript
(1)
●
jasmine
(1)
●
java
(84)
●
java ee
(2)
●
java7
(3)
●
java8
(14)
●
java9
(3)
●
java_7
(1)
●
javaee
(3)
●
javaee7
(1)
●
javafx
(2)
●
javaone
(4)
●
javaダメ
(1)
●
jaxrs
(1)
●
jcunit
(2)
●
jcunit junit
(1)
●
jdk
(3)
●
jdk9
(1)
●
jekyll
(1)
●
jetty
(1)
●
jggug
(25)
●
jigsaw
(3)
●
jpa
(1)
●
jquery
(2)
●
jquery,js
(1)
●
jruby
(2)
●
js(9)
●
json
(5)
●
jsoup
(1)
●
jsug
(1)
●
jsx
(1)
●
junit
(5)
●
jwt
(1)
●
kanjava
(1)
●
karma
(1)
●
keepassx
(1)
●
keybindnig
(1)
●
kotlin
(1)
●
kotolin async
(1)
●
lambda
(3)
●
lang
(2)
●
language
(1)
●
legacydb
(1)
●
lifehack
(1)
●
linux
(5)
●
lisp
(2)
●
llvm
(3)
●
logback
(2)
●
lua.vm.js
(1)
●
mabl
(1)
●
mac
(11)
●
macosx
(2)
●
markdown
(3)
●
materialui
(1)
●
math
(1)
●
maven
(2)
●
memoize
(1)
●
microsoft
(1)
●
ml(1)
●
mobile
(1)
●
mock
(2)
●
modal
(1)
●
monad
(3)
●
mono
(1)
●
mop
(1)
●
mvn
(1)
●
nacl
(1)
●
natsumi
(1)
●
netbeans
(1)
●
netflix
(1)
●
netlify worker
(1)
●
news
(1)
●
node
(8)
●
node.js
(4)
●
nosql
(1)
●
npm
(2)
●
oculus
(1)
●
onion
(1)
●
oop
(3)
●
openshift
(1)
●
optional
(1)
●
oracle
(1)
●
orm
(1)
●
osgi
(3)
●
oss
(1)
●
parser
(1)
●
parsergenerator
(1)
●
patient
(1)
●
pdf
(2)
●
performance
(3)
●
phantomjs
(1)
●
pharo
(1)
●
php
(1)
●
pi(1)
●
pitfall
(1)
●
play
(5)
●
plugin
(6)
●
poi
(1)
●
postgres
(1)
●
postgresql
(1)
●
programming
(3)
●
promise
(2)
●
purescript
(3)
●
pwa
(3)
●
python
(8)
●
rails
(5)
●
ratpack
(3)
●
rdc
(1)
●
react
(125)
●
react native
(2)
●
react jsx angular
(1)
●
react redux
(1)
●
react-native
(6)
●
react-query
(1)
●
react-spring react-hooks
(1)
●
reactfx
(1)
●
reactive
(1)
●
reasonml ml ocaml javascript fac
(1)
●
redmine
(1)
●
redux
(12)
●
restclient
(1)
●
restful
(2)
●
riot.js
(1)
●
rn(8)
●
rollup
(1)
●
roo
(1)
●
rust
(112)
●
rust-lang
(1)
●
rxjava
(1)
●
saga observable
(1)
●
scala
(18)
●
scalaz
(1)
●
scratch
(1)
●
search
(2)
●
security
(7)
●
selenium
(1)
●
servo
(4)
●
shell
(2)
●
simulation
(1)
●
sketch
(1)
●
smalltalk
(2)
●
solid
(1)
●
spa
(4)
●
spice
(1)
●
spock
(18)
●
spring
(12)
●
springboot
(1)
●
springone2gx
(1)
●
spyinx
(1)
●
sql
(5)
●
srp
(1)
●
ssr
(2)
●
storybook
(1)
●
stream
(1)
●
struts
(3)
●
sts
(1)
●
swift
(2)
●
swing
(1)
●
switch
(1)
●
tRPC
(2)
●
tail
(1)
●
tdd
(3)
●
test
(7)
●
token
(1)
●
tomcat
(1)
●
trait
(2)
●
turbo
(1)
●
twitter
(2)
●
typeannotation
(1)
●
typecheck
(1)
●
typescript
(5)
●
typesefe
(1)
●
ubuntu
(1)
●
uml
(5)
●
vaasin
(1)
●
valhalla
(1)
●
vert.x
(7)
●
vertx
(3)
●
vnc
(1)
●
vosao
(1)
●
vpc
(1)
●
vr(1)
●
vscode
(2)
●
vue
(1)
●
wai
(1)
●
webapi
(1)
●
webassembly
(3)
●
webkit
(1)
●
webpack
(1)
●
webpack react
(1)
●
websocket
(3)
●
webサービス
(1)
●
windows
(2)
●
xperia
(1)
●
yarn
(1)
●
yeoman
(1)
●
﹁Spockにある便利な機能
(1)
●
あとで
(1)
●
あとでやる
(2)
●
あとで読む
(164)
●
これはあかん
(1)
●
これはひどい
(1)
●
こんな遺産は嫌だ
(1)
●
さだ
(1)
●
すげー。
(1)
●
だから何
(1)
●
アイコン
(1)
●
アジャイル
(3)
●
イベント
(1)
●
エディタ
(1)
●
カレー
(1)
●
ガジェット
(1)
●
キーバインド
(1)
●
キーボード
(1)
●
クラウド
(2)
●
データベース
(2)
●
フェイクニュース
(2)
●
プログラミング
(3)
●
リアクティブプログラ
(2)
●
レシピ
(2)
●
型クラス
(3)
●
後で読む
(5)
●
設計
(2)
●
grails
(271)
●
groovy
(168)
●
あとで読む
(164)
●
react
(125)
●
elm
(114)
●
rust
(112)
●
java
(84)
●
haskell
(73)
●
gradle
(33)
●
android
(27)
関連タグで絞り込む (6)
●
forall
●
functional
●
GHC
●
haskell
●
Haskell
●
ios
タグの絞り込みを解除
ghcに関するuehajのブックマーク (5)
●
21 users
●
kazu-yamamoto.hatenablog.jp
●テクノロジー
次のバージョンである GHC 8.0 では、正格評価用のプラグマして Strict と StrictData が提供されます。環境を作ってみたので、少し試しました。 以下のファイルを用意します。 {-# LANGUAGE DeriveFunctor #-} module A where data List a = Nil | Cons a (List a) deriving (Eq,Functor) xs :: List Int xs = Cons 1 (Cons 2 Nil) 注意‥ トップレベルの束縛とローカルの束縛では挙動が違います。Strict が効くのは、ローカルの束縛です。なので、GHCi で let を使って試します。 評価が遅延しているかは、GHCi の :sprint コマンドで確かめられます。GHC 7.8 以降の GHCi では MonomorphismRestric
uehaj
2015/11/17
●haskell
●GHC
●
17 users
●
blog.konn-san.com
●テクノロジー
uehaj
2014/05/28
●ghc
●Haskell
●
81 users
●
www.infoq.com
●テクノロジー
Spring BootによるAPIバックエンド構築実践ガイド 第2版 何千人もの開発者が、InfoQのミニブック﹁Practical Guide to Building an API Back End with Spring Boot﹂から、Spring Bootを使ったREST API構築の基礎を学んだ。この本では、出版時に新しくリリースされたバージョンである Spring Boot 2 を使用している。しかし、Spring Boot3が最近リリースされ、重要な変...
uehaj
2014/04/27
●Haskell
●ios
●ghc
●
8 users
●
jaspervdj.be
●テクノロジー
A nicer way to browse big profile files Published on February 25, 2014 under the tag haskell Introduction GHC comes with some amazing tools to do profiling of Haskell programs. In .prof files, you can see exactly in which function most time is spent and where most allocation is done. However, at Erudify, we have a huge amount of Haskell code – and at this point .prof files can become very unwieldy
uehaj
2014/03/05
●haskell
●ghc
●
35 users
●
uehaj.hatenablog.com
●テクノロジー
Haskellのforallについて理解したことを書いておくyo!(ランクN多相限定*1 )。 前提知識のおさらい: 型・多相型・型検査・型推論… 最初に基本概念を整理しておきます。 IntやInt->Intは単相型、aやa->aは多相型である。ここでaを型変数と呼ぶ。型変数を含む型が多相型ってわけです。 言語処理系の実装上、型という概念は型変数や型コンストラクタのツリー構造として表現される。Int,Char,[],->,(,),(,,,),IO aなどが型コンストラクタ。 a,bが型変数。組合せて(a->[Int])->[b]->(a,b)とか。::の右に書くやつです。 型は、プログラムの字面上に直接的実体がある関数や変数だけではなく、値を生じさせる部分式すべてに付随し、コンパイル時に決定されるべき情報である(値あるところに型がある。*2 )。それを決定しようというのが(静的)型検査であ
uehaj
2014/01/23
●haskell
●ghc
●forall
●functional
1
お知らせ
ランキング
今週のはてなブックマーク数ランキング︵2024年6月第4週︶
ランキング
今週のはてなブックマーク数ランキング︵2024年6月第3週︶
ランキング
今週のはてなブックマーク数ランキング︵2024年6月第2週︶
もっと読む
公式Twitter
●@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
●@hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
●総合
●一般
●世の中
●政治と経済
●暮らし
●学び
●テクノロジー
●エンタメ
●アニメとゲーム
●おもしろ
●アプリ・拡張機能
●開発ブログ
●ヘルプ
●お問い合わせ
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●公式アカウント
●ホットエントリー
●はてなブログ
●はてなブログPro
●人力検索はてな
●はてなブログ タグ
●はてなニュース
●ソレドコ
Copyright © 2005-2024 Hatena. All Rights Reserved.
設定を変更しましたx
Strict Haskell - あどけない話
GHC 7.4.1 の型レベル新機能を使い倒す 〜GADTs、型族 と DataKinds、ConstraintKinds の円環〜 - これは圏です
HaskellがiOSをサポート、性能を改善
jaspervdj - Profiteur: a visualiser for Haskell GHC .prof files
Haskellのforallについて理解したことを書いておく(ランクN多相限定)。 - uehaj's blog