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
Typed Lisp, A Primer ⨠Read as PDF or See the source ; Last modified on 2019-08-21 â© Abstract Let's explore Lisp's fine-grained type hierarchy! We begin with a shallow comparison to Haskell, a rapid tour of type theory, try in vain to defend dynamic approaches, give a somewhat humorous account of history, note that you've been bamboozled âtype's have always been thereâ, then go into technical deta
ä¸è¥¿å çã®Må¼ https://qiita.com/sym_num/items/341a973aabd25781a123 Mè¨èªããS表ç¾ã¸ã®å¤æå¨ https://qiita.com/sym_num/items/566e4b13946613767131 LISP x vMotion https://qiita.com/inoko/items/d8cb9e5df07f6064fde3 Lispãå§ãããã£ããã«ãªã£ãæ å ±ãã¾ã¨ãã https://qiita.com/aimerald/items/dd91365eed7d094b1bec Little Prover "The Little Prover" åè訳 https://qiita.com/suharahiromichi/items/c7ee5e0eca23bd52b37a The Little Prover 第7ç« è§£èª¬ http
(setq ãã©ã¤ã® nil) (defun ãã³ã¿ã¤ã®(p) (not p)) (defun ãã®ããã«ãã³ã¿ã¤ã®(p) (not p)) (defun ãã¢ããä¼ããã®ã£ã¦(p) (if p 'ã¹ã 'ãã©ã¤)) (defun ä½ã ãé£ãã(p) p) (defun ãã³ã¿ã¤ã¯ï¼(p) (if (not p) 'ã¹ã 'ãã©ã¤)) (ä½ã ãé£ãã (ãã¢ããä¼ããã®ã£ã¦ (ãã®ããã«ãã³ã¿ã¤ã® (ãã³ã¿ã¤ã® (ãã³ã¿ã¤ã® (ãã³ã¿ã¤ã® (ãã³ã¿ã¤ã® ãã©ã¤ã®))))))) ; => ã¹ã # -*- coding: utf-8 -*- class Object def ãã³ã¿ã¤ã®() !self end def ãã®ããã«ãã³ã¿ã¤ã®() !self end def ãã¢ããä¼ããã®ã£ã¦() self ? :ã¹ã : :ãã©ã¤ end def ä½ã ãé£ãã() self end def
ä»æ´ãªãããEmacs ã®ã·ã§ã«ã¹ã¯ãªããã¢ã¼ãã«ã¤ãã¦ã主ã«æ§æå ¥åã«ã¤ãã¦ã¾ã¨ãã¦ã¿ã¾ãã 便å©ããã¦æã«é¦´æã¿ããã¦ããã¯ãå¿ãã¦ãã¾ãorz ã§ãæãè¦ãã¦ããã®ã§ãé çªã«æã£ã¦ã¾ã¨ãã¦ã¿ã¾ããï¼ç¬ ï¼»éè¦ãªãã¨ï¼½anything + auto-complete ãæå¹ã«ãã¦ããã¨ãç·¨éã楽ããã¾ãã ï¼»éè¦ãªãã¨ï¼½anything + auto-complete ãæå¹ã«ãã¦ããã¨ãç·¨éã楽ããã¾ãã 大äºãªãã¨ãªã®ã§ã2 åæ¸ãã¾ããã ã¡ãªã¿ã«ãå½æ¹ã®ç°å¢ã¯ VineSeed Emacs 23.2, Vine Linux 5.1 Emacs 23.1 ã§ãã ã·ã§ã«å®£è¨ï¼C-c : sh-set-shell 1è¡ç®ã® Shell: ãã決ãã¾ãã ãªãã¡ãã.shãä½ãå§ããããããã«æããC-c :ããåãã¦ãã¾ãã¾ãï¼ç¬ Shell (default /bin/bash)
2017å¹´08æ09æ¥12:27 ã«ãã´ãªEmacs helm 㨠dumb-jump ã«é¦ã£ãã ã³ã¼ãæ¸ãã¨ãï¼ æ®æ®µããemacsã§ã³ã¼ããæ¸ãã¦ã¾ãããæ¨æºæ·»ä»ã®imenuã®ä½¿ãåæãããããéçã§é£åãã¦ã¾ããã ããã§èª¿ã¹ã¦ã¿ãã helm 㨠dumb-jump ã¨ããè¯ãããªããã±ã¼ã¸ãè¦ã¤ããã®ã§ã·ã§ã¢!! ã¡ãªã¿ã« macOS ã§ã®è©±ã§ãã dumb-jump ã¯äºåãã¡ã¤ã«ã®çæãªãã«å¿«é©ãªã¿ã°ã¸ã£ã³ããæä¾ãã¦ãããããã±ã¼ã¸ã§ãã dumb ã¯ãã°ããªã»æããªãã¨ããæå³ã®åèªã§ãããå¿«é©ããã¦ä½¿ãå´ã®è³ãå£åããæãã§ãw ã¤ã³ã¹ãã¼ã«ã¯MELPAçµç±ãä¸çªç°¡åã§ãããã M-x package-install dumb-jump ãããæåã§ãªãã¨ãããããã!! ã¨ããå ´åãã¾ã以ä¸ã®ããã±ã¼ã¸ãGitHubããæ¢ãã¦.elãã¡ã¤ã«ãèªåã®ç°å¢ã«ã³ãã¼ãèªå
dired ã§æ¡ä»¶ãæºãããã¡ã¤ã«ã®ã¿ã表示ããæ¨æºã³ãã³ãã¯åå¨ãã¾ããã ãã£ã«ã¿ãªã³ã°æ©è½ä»ããããã¡ãªã¹ãã® ibuffer ãã¢ãã«ã«ä½ç³»åããã®ã ãã® dired-filter.el ã§ãã ããã使ãã¨ã ãã£ã¬ã¯ããªã®ã¿ã表示ãã (/ d) ç¹å®ã®æ¡å¼µåã®ãã¡ã¤ã«ã®ã¿ã表示ãã (/ .) æ£è¦è¡¨ç¾ã«ããããããã¡ã¤ã«ã®ã¿ã表示ãã (/ r) ããããé¤å¤ãã (/ !) ãªã©ãç°¡åã«ã§ããããã«ãªãã¾ãã ãã¨ãã°ãã£ã¬ã¯ããªãé¤å¤ããããã° / d / ! ã¨æä½ãã¾ãã ãã£ã«ã¿ãªã³ã°ã¯ã¹ã¿ãã¯ç¶ã«ãªã£ã¦ããã®ã§ ã¬ã³ã¬ã³çµãè¾¼ãã¾ãã ãã¨ãã°emacsã¨244ãå«ã¾ãããã¡ã¤ã«ã«çµãè¾¼ãã«ã¯ / r emacs / r 244 ã¨æä½ãã¾ãã ãã£ã«ã¿ãªã³ã°ããã¹ã¦è§£é¤ããã«ã¯ / / ã§ãã æ¡ä»¶ãæºãããã¡ã¤ã«ããã¼ã¯ããæ©è½ãããã¾ããã ãã£ã«ã¿ãªã³
Emacs Lispã§ããã¡ã¤ã«ããå ¥åããå¦çãCommonLispã®ããªã§æ¸ããã¨ãããã»ã»ã» >(require 'cl) >(with-open-file (in "hoge.txt" :direction :input) (with-open-file (out "fuga.txt" :direction :output) (princ (read in) out))) Debugger entered--Lisp error: (void-function with-open-file) ãã? >(open "hoge.txt") Debugger entered--Lisp error: (void-function open) ã»ã»ã»ãã? ELispã£ã¦ãã¡ã¤ã«ãªã¼ãã³ãã¦ã¹ããªã¼ã ãä½ããã¨ãã§ããªãã®ãã»ã»ã»ã 調ã¹ã¦è¦ãã¨ãããstreamã¨ãã¦ä½¿ããã®ã¯ä»¥ä¸ã®ã¨
é£ä¼ã¯Emacs Lispã«å§ã¾ãï¼Emacs Lispã«çµããããï¼ Perlã«ãããStorableï¼Rubyã«ãããMarshalï¼Pythonã«ãããPickleã®ãããªãã¼ã¿æ§é ããã®ã¾ã¾ãã³ãããä»çµã¿ã欲ããã¨ããã¨ãã«ã¯Lispã¯ä¾¿å©ï¼Så¼ããã®ã¾ã¾èªã¿æ¸ãããã°ããï¼(Så¼ã®ãã¤ããªãã³ãã§ã¯ãªãã®ã§ï¼YAMLã¨è¨ã£ãæ¹ãæ£ç¢º) Så¼ã®ä¾¿å©ãªã¨ããã¯ãã¼ã¿æ§é = è¨å·ã§ãããã¨ï¼ãã®ã¾ã¾åºåããã°ããï¼ ã¨ããããï¼é©å½ã«ãã¼ã¿ã¨ãããä¿åããé¢æ°ã¨èªã¿è¾¼ãé¢æ°ãä½ã£ã¦ã¿ãï¼ (setq data '(((name . "hoge") (id . 10)) ((name . "fuga") (id . 11)))) (defun save-data (filename) (interactive "sInput filename: ") (with-temp-buffe
ãªãªã¼ã¹ãé害æ å ±ãªã©ã®ãµã¼ãã¹ã®ãç¥ãã
ææ°ã®äººæ°ã¨ã³ããªã¼ã®é ä¿¡
å¦çãå®è¡ä¸ã§ã
j次ã®ããã¯ãã¼ã¯
kåã®ããã¯ãã¼ã¯
lãã¨ã§èªã
eã³ã¡ã³ãä¸è¦§ãéã
oãã¼ã¸ãéã
{{#tags}}- {{label}}
{{/tags}}