Movatterモバイル変換

nabinnoid:nabinno

• 562,347ブックマーク
• -お気に入り
• -お気に入られ

タグ

• すべて
• .net(4584)
• accounting(387)
• activerecord(328)
• activism(394)
• adobe(3008)
• advertising(468)
• afp(552)
• aist(418)
• al-jazeera(1975)
• alexa(403)
• algorithm(2630)
• amazon(891)
• amazon-ec2(470)
• amazon-redshift(460)
• amazon-s3(483)
• amazon-web-services(2876)
• analytics(9648)
• android(993)
• angular(582)
• angular-2(420)
• angularjs(1319)
• animation(418)
• anime(487)
• apartment(327)
• api-management(355)
• apple(1136)
• application(457)
• architecture(505)
• arrest(391)
• ars-technica(1814)
• art(10128)
• art-auction(577)
• artificial-intelligence(507)
• artificial-neural-network(2535)
• asahi(1823)
• atlantic(1037)
• atmarkit(3778)
• audio(681)
• australia(502)
• authentication(735)
• automobile(497)
• aws-lambda(413)
• bank-of-japan(1487)
• banks(631)
• barack-obama(850)
• bbc(20758)
• biennale(777)
• biology(5068)
• bitbucket(514)
• bitcoin(336)
• blockchain(1195)
• blog(1329)
• bloomberg(14808)
• books(3179)
• buddhism(376)
• business-promotion(1156)
• c(385)
• c#(632)
• c++(912)
• c-family-programming-language(4906)
• cabinet-office(5201)
• cakephp(365)
• california(3265)
• canada(746)
• carnegie-mellon-university(512)
• cascading-style-sheets(909)
• central-processing-unit(2410)
• channel-9(785)
• charles-murray(612)
• chatbot(606)
• chiba(655)
• child-development(1321)
• china(4591)
• chunichi-shimbun(431)
• circleci(339)
• city(350)
• classmethod(916)
• cloud-computing(597)
• cluster-analysis(2274)
• cluster-manager(1786)
• cnet(385)
• cnn(2888)
• comfort-women(358)
• comic(392)
• commentary(413)
• commodity-market(659)
• communication(414)
• community-building(7369)
• company(5092)
• compiler(339)
• concurrent-computing(3388)
• connecticut(481)
• connpass(1322)
• conservatism(436)
• construction(4495)
• content-generating(485)
• continuous-integration(716)
• cornel-university(423)
• creative(891)
• crime(1743)
• criminology(1715)
• critic(564)
• d3.js(389)
• daiwa-institute-of-research(767)
• data-mining(377)
• data-processing(362)
• data-structure(4681)
• data-visualization(2450)
• data-warehouse(443)
• database(5631)
• death(2163)
• deep-learning(1914)
• dena(320)
• dentsu(354)
• department-of-commerce(3979)
• design(641)
• diplomat-magazine(345)
• docker(3585)
• documentation(864)
• domain-name-system(447)
• dpj(550)
• e-book(724)
• e-learning(326)
• earthquake(524)
• ec(1133)
• economic-growth(2476)
• economics(374)
• economist(1940)
• education(985)
• elasticsearch(368)
• electronica(2794)
• elixir(5940)
• emacs(1440)
• email(392)
• employee-business(647)
• employment(783)
• energy(743)
• energy-policy(1133)
• english(598)
• entertainment(688)
• environmental-policy(5774)
• erlang(3350)
• ethereum(560)
• event(698)
• examination(2943)
• facebook(4037)
• file-system(326)
• film(765)
• finance(630)
• financial-times(2291)
• firebase(325)
• fiscal-policy(462)
• food(1332)
• forbes(1883)
• forecasting(2302)
• foreign-affairs(544)
• foreign-exchange-market(1889)
• fortune(889)
• fox(354)
• france(827)
• fraud(493)
• fukushima(341)
• functional-comparison(711)
• gambling(324)
• game(1494)
• general-election(428)
• germany(529)
• gerontology(572)
• git(500)
• github(23065)
• globis(1553)
• go(2516)
• google(4029)
• google-chrome(1040)
• google-cloud(1602)
• google-play(338)
• government(629)
• graphql(1033)
• guardian(5660)
• guide(1388)
• gun-violence(397)
• hacker-news(347)
• harvard-university(876)
• hatelabo-anonymousdiary(388)
• hatena-bookmark(36560)
• havard-business-review(765)
• health(645)
• healthcare-industry(1559)
• heroku(970)
• hong-kong(547)
• house-of-councillors(365)
• housing(696)
• html(5459)
• http-server(349)
• huffington-post(631)
• hypervisor(477)
• ict(2401)
• ieice(358)
• impress(1289)
• impression-management(568)
• india(771)
• infrastructure-as-a-service(762)
• installation(682)
• intel(1343)
• intelligent-agent(1088)
• interview(535)
• investment(579)
• ios(582)
• ipa(1854)
• iphone(695)
• italy(918)
• itmedia(586)
• itochu-techno-solutions(323)
• japan(3164)
• japan-china-disputes(772)
• japan-korea-disputes(844)
• japan-research-institute(402)
• java(2741)
• javascript(11512)
• jazz(688)
• jiji-press(1558)
• jil-pt(569)
• jpcert(586)
• jquery(375)
• json(405)
• jst(1647)
• kenplatz(3461)
• keras(385)
• kernel(1335)
• kickstarter(641)
• korea(708)
• kubernetes(2174)
• kyoto-university(484)
• la-biennale(702)
• labor-economics(10218)
• language-model(773)
• laravel(721)
• law(567)
• ldp(1211)
• liberalism(641)
• libertarianism(787)
• library(704)
• line(515)
• link-building(422)
• linux(6507)
• local-government(7641)
• log-management(559)
• los-angels-times(830)
• lpi(829)
• machine-learning(8514)
• macos(451)
• mainichi(769)
• manga(399)
• market-research(2618)
• market-trend(9963)
• marketing(719)
• massachusetts(2953)
• mathematics(547)
• media(1610)
• media-art(413)
• media-manipulation(358)
• medical(762)
• meditation(484)
• medium(3169)
• meetup(2135)
• microsoft(3516)
• microsoft-azure(514)
• microsoft-developer-network(949)
• middle-east(1725)
• military(1065)
• ministry-of-economy(3894)
• ministry-of-education-culture(1010)
• ministry-of-finance(468)
• ministry-of-internal-affairs(979)
• ministry-of-land(403)
• ministry-of-welfare(12477)
• mit(2350)
• mitt-romney(693)
• mobile(603)
• mobile-app(1039)
• mobile-application-development(3572)
• module-loader(628)
• monetary-policy(2948)
• morphological-analysis(353)
• movie(19500)
• mozilla(1210)
• murder(790)
• museum(562)
• music(5944)
• mysql(1352)
• national-diet-library(4398)
• national-institute-of-health(4986)
• national-library-of-medicine(4917)
• national-vulnerability-database(3870)
• natural-language-processing(566)
• ncbi(4840)
• network(469)
• network-engineering(1156)
• neuroscience(795)
• new-york(525)
• new-york-times(5426)
• new-yorker(690)
• newsweek(1084)
• nginx(794)
• nhk(4062)
• nikkei(1479)
• nikkei-bp(4165)
• nist(3979)
• nli-research-institute(1293)
• node.js(3246)
• nomura-research-institute(460)
• nosql(686)
• note(446)
• novel(339)
• npm(334)
• npr(1561)
• ntt-data(484)
• nu-jazz(342)
• nuclear-power(518)
• nuclear-power-phase-out(692)
• nvidia(431)
• ocaml(1077)
• online-advertising(359)
• openstack(514)
• oracle(376)
• organization(1473)
• oricon(3220)
• os-level-virtualization(3223)
• osaka(719)
• package-management(508)
• paleolibertarianism(599)
• pandas(592)
• pathology(6082)
• pennsylvania(496)
• people(5692)
• peoples-daily(1524)
• performance-engineering(668)
• perl(704)
• personal-development(522)
• peter-thiel(336)
• phoenix-framework(894)
• photo(1173)
• php(2859)
• physiology(2568)
• platform-as-a-service(4280)
• plugins(1058)
• police(721)
• politics(3401)
• postgresql(1605)
• powershell(1163)
• presidential-election(551)
• privacy(813)
• product-hunt(380)
• productivity(893)
• programming(605)
• programming-language(375)
• prtimes(1281)
• psychology(548)
• public-company(645)
• public-health(462)
• pubmed.gov(4838)
• python(4911)
• qiita(14722)
• qualcomm(980)
• qualcomm-snapdragon(864)
• quora(367)
• radiation-poisoning(583)
• rakuten(704)
• ranking(399)
• rape(448)
• raspberry-pi(1341)
• rdbms(1647)
• react(789)
• react-native(1929)
• real-estate(1074)
• real-estate-economics(5497)
• recruit(868)
• reddit(412)
• redis(441)
• reference(990)
• religion(894)
• remote-procedure-call(414)
• research(1632)
• researchmap(1092)
• reuters(6164)
• review(1639)
• rieti(403)
• ril(1640)
• robotics(843)
• rspec(667)
• ruby(11863)
• ruby-family-programming-language(8524)
• ruby-on-rails(6541)
• rubyflow(1740)
• rumor(574)
• russia(1104)
• rust(1526)
• saatchi-art(436)
• sankei(2285)
• scala(1385)
• scikit-learn(344)
• search-engine(940)
• security(1104)
• security-engineering(3629)
• security-management(1250)
• senkaku-islands(716)
• seo(4747)
• serps(347)
• services(3829)
• sexology(1599)
• shinzo-abe(711)
• single-board-computer(1249)
• slideshare(438)
• smart-city(415)
• smart-contract(479)
• smartphone(898)
• social-media(507)
• social-media-marketing(1308)
• sociology(1358)
• software(1220)
• software-debugging(518)
• software-deployment(1667)
• software-design-pattern(689)
• software-engineering(3085)
• software-testing(2598)
• sothebys(354)
• soundcloud(491)
• space(363)
• speaker-deck(1918)
• sports(426)
• stack-overflow(7082)
• stanford-university(1665)
• statistics(1098)
• steelmaking(624)
• stock-market(893)
• stress-management(600)
• structured-query-language(399)
• style-sheet-language(421)
• suicide(336)
• summer-olympic-games(344)
• swift(868)
• swiss(405)
• syria(383)
• tax(386)
• tax-law(569)
• techcrunch(631)
• ted(555)
• teikoku-data-bank(593)
• telegraph(2137)
• television(551)
• temporary-work(386)
• tensorflow(1528)
• tepco(323)
• thesis(690)
• think-tank(11861)
• til(355)
• time(1888)
• titanium-mobile(606)
• tokyo(1688)
• tokyo-shoko-research(647)
• tools(5913)
• toru-hashimoto(358)
• tourism(652)
• travel(457)
• trend-micro(548)
• trial(749)
• trouble(1247)
• typescript(1114)
• ubuntu(641)
• uc-berkeley(1019)
• ucla(560)
• unit-testing(654)
• united-kingdom(2254)
• united-nations(482)
• unity(2271)
• university(2297)
• university-of-oxford(443)
• unsupervised-learning(2115)
• usa(16093)
• usa-today(775)
• value-added-tax(355)
• video-game-development(2323)
• videonews(419)
• vimeo(845)
• violence(532)
• wall-street-journal(1202)
• washington-post(902)
• weather(465)
• web-analytics(461)
• web-api(2535)
• web-based-application-framework(2082)
• web-creative(340)
• web-design(381)
• web-service(2086)
• webpack(590)
• welfare(655)
• windows(3502)
• windows-10(409)
• wired(702)
• womens-work(492)
• wordpress(516)
• workflow-management-system(1333)
• world-economic-forum(559)
• x(3207)
• xamarin(1250)
• xamarin.forms(459)
• xml-master(767)
• yahoo-textream(526)
• yale-university(456)
• yomiuri(1842)
• youtube(4166)
• zoology(1128)
• hatena-bookmark(36560)
• github(23065)
• bbc(20758)
• movie(19500)
• usa(16093)
• bloomberg(14808)
• qiita(14722)
• ministry-of-welfare(12477)
• ruby(11863)
• think-tank(11861)

タグをすべて表示

関連タグで絞り込む (10)

• bucklescript
• elixir
• elmchemy
• functional-comparison
• haskell
• javascript
• krzysztof-wende
• ocaml
• qiita
• rust

タグの絞り込みを解除

elmとtype-theoryに関するnabinnoのブックマーク (2)

• Elchemy - Write type-safe Elixir code with Elm's syntax - part 1 - Introduction | HackerNoon

  • 3 users
  • hackernoon.com
  • テクノロジー

  Too Long; Didn't ReadWe all love Elixir.It’s expressive,it’s extremely readable and - first and foremost -It runs on BEAM — an incredible virtualmachine that turns concurrency into something as natural and expected as NullPointerExceptions inJava 7. Few words of introduction We all love Elixir.It’s expressive,it’s extremely readable and - first and foremost -It runs on BEAM — an incredible

  
  

  nabinno2017/06/10

  • krzysztof-wende
  • elixir
  • elm
  • javascript
  • type-theory
  • elmchemy

  リンク

• 代数的データ型とパターンマッチによる言語比較：Koka,Rust,Haxe,Swift,Elm,PureScript,Haskell,OCaml,ReasonML,ReScript,Kotlin,Scala,Dotty,Ruby,Julia,TypeScript - Qiita

  • 21 users
  • qiita.com/xmeta
  • テクノロジー

  Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

  
  

  nabinno2016/04/21

  • qiita
  • type-theory
  • functional-comparison
  • rust
  • ocaml
  • haskell
  • elm

  リンク
• 1

• 総合
• 一般
• 世の中
• 政治と経済
• 暮らし
• 学び

• テクノロジー
• エンタメ
• アニメとゲーム
• おもしろ

• アプリ・拡張機能
• 開発ブログ
• ヘルプ
• お問い合わせ
• ガイドライン
• 利用規約
• プライバシーポリシー
• 利用者情報の外部送信について

• ガイドライン
• 利用規約
• プライバシーポリシー
• 利用者情報の外部送信について

• 公式アカウント
• ホットエントリー