- vnev.me/implementing-a-programming-language-in-c-part-1/
- hyperpolyglot.org
- www.dotnetperls.com
- programming lanugage (1962)
- GitHut - A SMALL PLACE TO DISCOVER LANGUAGES IN GITHUB
- Less is more: language features
- Building a simple expression language
- Building a (not so simple) expression language part II: Scope
- List comprehension
- 8 Considerations on Choosing a Programming Language
- What every computer science major should know
- Evaluation of performance and productivity metrics of potential programming languages in the HPC environment
- Compiling a Lazy Language in 1,000 words
- Lecture Notes on Static Analysis
- Creating a language using only assembly language
- polyglot programmers' conference
- S9 CORE - A Toolkit for Implementing Dynamic Languages
- Zero-Overhead Metaprogramming
- Programming Language Theory
- All your favorite emoticons in one place
- 왜 변수가 나쁜가?
- Punctuated Equilibrium in the Large Scale Evolution of Programming Languages
- HOW TO CHOOSE A NEW PROGRAMMING LANGUAGE
- Code Golf at Google
- timeline of programming language
- Ask HN: What are some good resources on the history of programming languages?
- Designing a Programming Language: I
- THE HACKER’S SUMMER TRAINING GUIDE – PART 1
- The worst mistake of computer science NULL
- A Comparison of Programming Languages in Economics
- programming language quiz
- Learning new programming languages
- "A History of Programming Languages for 2 Voices" by David Nolen and Michael Bernstein
- A Language is More Than A Language
- 27 languages to improve your Python
- “유명 상표를 넘어서” 새롭게 떠오르는 10가지 프로그래밍 언어
- 4190.310 Programming Languages - 이광근
- The Languages And Frameworks You Should Learn In 2016
- www.hub4tech.com/programming
- syntaxdb.com
- DuoCoder
- Programming languages
- 들어보셨나요? 한글 프로그래밍 언어 3종
- 007 - Small experimental language with a license to macro
- 8th™ is a secure, cross-platform, robust, cost-effective, extensible, and modern programming language for mobile, desktop, server and embedded application development
- Ada
- Adapton - Programming Language Abstractions for Incremental Computation
- Agda
- Albatross
- Alda - A music programming language for musicians
- Alloy Programming Language http://alloy-lang.org
- Anglican - a open source, just-in-time-compiled probablistic programming language
- Ark - a fast systems programming language
- Assembler
- Literate webserver in assembler
- Assembly-HOWTO
- MiniMagAsm is minimalistic, but powerful and flexible content management system ( CMS ), implemented entirely in assembly language
- Breakout in Assembly
- Building a Tetris Clone in x86 Assembly, pt. Ⅰ: Hello, World
- Building a Tetris Clone in x86 Assembly, pt. Ⅱ: I/O
- Assembler relaxation
- Reverse Engineering With Radare2, Part 1
- Asmcodes: SHA-3 / Keccak
- Asmcodes: SHA-256
- Assembly programming for Perl programmers
- [번역] x64 어셈블리 소개
- ARM Assembly Programming Using Raspberry Pi
- Basic
- C2lang
- Ceylon
- Céu: Structured Synchronous Reactive Programming
- Cforall (C∀) Home Page
- Chapel
- Chisel - Constructing Hardware in a Scala Embedded Language
- Crema - Crema: A Sub-Turing Programming Language
- CROBOTS is a programming game, for programmers (or aspiring programmers.)
- Crystal
- D
- Dash, a simple programming language written in C
- Delphi
- DRAKON is an algorithmic visual programming language developed within the Buran space project
- Earl Grey
- Eff
- Ela - dynamic functional language
- Electr - Interactive language for electronic formulas (on the command line)
- Elm
- Understanding Elm
- Switching from imperative to functional programming with games in Elm
- Learning FP the hard way: Experiences on the Elm language
- Elm for the Frontend, Right Now
- Optimistic UI and Reactive Programming with Elm
- Walkthrough: Introducing Elm to a JS Web App
- elm-architecture-tutorial - How to create modular Elm code that scales nicely with your app
- [HQ] 케빈 TV S02E09 - DB관리툴 / Elm (1회), FP for Frontend (2016-10-16)
- 케빈 TV S02E10 - Youtube / 방송 / Elm (2회) (2016-10-23)
- [Live] 케빈 TV S02E11 - 구인 / 구직 / 연애 꿀팁 / Elm (3회) (2016-10-30)
- [Live] 케빈 TV S02E12 - 시청자와 수다 / Elm (4회) (2016-11-06)
- [Live] 케빈 TV S02E13 - 호주 생활, 취업 / Scala소식 / Elm (5회) (2016-11-13)
- 케빈 TV S02E14 - Elm 6회 웹소켓과 시간여행 디버깅 (2016-11-20) 2부
- [Live] 케빈 TV S02E15 - 나프컨 2016 후기 / Elm 7회 Types (2016-12-11)
- [Live] 케빈 TV S02E16 - 한국 방문 후기 (1) / Elm 8회 Type Aliases / Union Types (2016-12-18)
- [Live] 크리스마스는 케빈과 함께! ;) / Elm 9회 - Linked List and Generics (2016-12-25)
- [Live] 새해 복 많이 받으세요! - Elm 10회 - Error Handling - Maybe (2017-01-01)
- [Live] GitHub 사용 보고서 / JS / Elm 11회 - Error Handling - Result (2017-01-07)
- [Live] 언어별 많이 사용된 단어 보기 / Elm 12회 JSON (2017-01-21)
- [Live] Elm 13회 JavaScript Interop / 해외 취업 관련 꿀팁 (2017-01-28)
- Aaron VonderHaar - elm the best of functional programming in your browser
- English script - English as a programming language!
- Factor - a practical stack language
- Frame is a set of Domain Specific Languages (DSLs) that take a new approach to the many challenges inherent to traditional approaches to software modeling
- Frege: a Haskell-like Language for the JVM
- :Firth - A simple Forth-like language intended for DSL creation, implemented in Lua
- Forth
- Fortress
- F*
- Genie Language
- Guile is a programming language
- Hack
- Halide - a language for image processing and computational photography
- Hello - the distributed language
- hermetic - a python-like language with hindley-milner-like type system, which is compiled to c
- Hy
- imba - programming language for web
- Idris - A Language with Dependent Types
- IfLoop Programming Language
- J Programming Language
- Jai - an imperative static/strongly typed C-style language, but with a variety of modern language that C lacks
- Joxa - a small semantically clean, functional lisp
- Klong - A Simple Array Language
- Koka is a function-oriented programming language
- Lasp - A Language for Distributed, Eventually Consistent Computations
- Literate - A Modern Literate Programming System
- LLVM
- Logo
- Lola-2: A Logic Description Language
- Lua
- Lua Missions - Lua Koans, minus the Zen stuff
- Making a toy programming language in Lua, part 1
- Making a toy programming language in Lua, part 2
- Making a toy programming language in Lua, part 3
- Making a toy programming language in Lua, part 4
- An embeddable Lua command prompt as well as a stand-alone interpreter with pretty-printing and autocompletion
- Pfmatch - a pattern-matching language for network packets, embedded in Lua
- lupa - Lua in Python http://pypi.python.org/pypi/lupa
- luasynth - Audio framework in Lua https://scott.mn/projects/luasynth.html
- Using Lua and C++ in practice. Part 1. Intro to ECS and basic principles
- Ravi Programming Language is a derivative of Lua 5.3 with limited optional static typing and LLVM based JIT compiler
- Closures in Lua
- Corona Live Builds
- 새로운 코로나[Corona] 둘러보기
- 단숨에 루아(LUA) 스크립트 배우기
- 카일루아, 하나: 태동
- 카일루아, 둘: 파서 (1)
- Lush
- Lux
- mathematica
- MATLAB
- An Introduction to MATLAB metaprogramming
- High-Performance MATLAB with GPU Acceleration
- Chebfun—numerical computing with functions
- 3 open source alternatives to MATLAB
- Track Driving Simulator in MATLAB
- Deep Learning in 11 Lines of MATLAB Code
- Simple Handshaking between Matlab and TensorFlow
- MATLAB Tutorials for beginners Module-1 | Python
- MCG: Visual Functional Programming
- MelodyScript is a melody-oriented DSL for describing melodies, which can be optionally annotated with chords
- MiningZinc: A Language for Constraint-based Mining
- mm
- MUMPS - Meet MUMPS, the Archaic Health-Care Programming Language That Predicted Big Data
- Mycroft - A prolog-like language with compound truth value logic
- Newspeak
- nf - A minimal programming language, designed as an interactive environment for my os/64
- Nile
- None - The Best Programming Language is None
- Orange
- Parsley
- Pony
- Pop11 - Introduction to Pop11 basics (pop-basics - revised)
- processing
- Prolog
- prose - a simple language inspired by Io and Ioke that compiles to Clojure and ClojureScript
- Octave
- OGDL - Ordered Graph Data Language
- Opa - The Opa Language Rapid & Secure Web Development
- Quipper is an embedded, scalable functional programming language for quantum computing
- Quorum
- Red
- Ritchie language has the power of C language and the convenience of a high level language
- RTcmix - An Open-Source, Digital Signal Processing and Sound Synthesis Language
- SARL - General-purpose Agent-Oriented Programming Language
- self
- Shen
- Skoar is a high-level language for coding music
- Snap
- Smalltalk
- Computer Programming using GNU Smalltalk
- The Art and Science of Smalltalk
- Efficient Implementation of Smalltalk Block Returns
- Design Principles Behind Smalltalk
- Why Is Smalltalk Dead
- Choosing Smalltalk On Porpoise
- redline smalltalk - smalltalk on JVM
- What Killed Smalltalk?
- Mondrian - Agile Visualization
- Reviving Smalltalk-78 - Bert Freudenberg - IWST 2014
- Squeak/Smalltalk - open-source Smalltalk programming system
- Squirrel
- Stan is a probabilistic programming language implementing full Bayesian statistical inference
- Stripes - A small, modern and innovative programming language that runs anywhere
- Strongtalk - a major re-thinking of the Smalltalk-80 programming language and system
- Tcl
- [Object Oriented Programming in Tcl](Object Oriented Programming in Tcl)
- The Jim Interpreter - A small footprint implementation of the Tcl programming language
- learnxinyminutes.com/docs/tcl
- The tclcsv extension for Tcl provides a fast and flexible means of reading text files in Comma Separated Value (CSV) format
- annual tcl/tk conference
- Unlambda - The Unlambda Programming Language
- Ur - The Ur Programming Language Family
- Varnish Goes Upstack With Varnish Modules And Varnish Configuration Language
- Wasabi
- Wolfram Language
- Yeti - ML style functional programming language, that runs on the JVM
- What is the appeal of dynamically-typed languages?
- Types: computation vs. interaction
- Bootstrapping a Type System
- Type Systems and Much More
- What To Know Before Debating Type Systems
- Dynamic Languages are Static Languages
- Logic, Languages, Compilation, and Verification
- David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On
- And that is why static types matter
- Is Python strongly typed?
- Several types of types in programming languages
- STATIC TYPING VS WEBSOCKETS
- 어떤 코드가 정적 타입 체킹 시스텀에서 컴파일을 통과 != 올바르게 동작한다는 것(Correctness)을 보장
- 실제 런타임에서 돌려 봐야 Correctness를 확인 가능
- 각각 장단점이 있지만, Haskell과 같은 정적 Type 체킹 시스템보다는 clojure.spec과 같은 동적 (Type and Value) 체킹 시스템이 더 실용적일 수 있다는 주장
- Static vs. dynamic languages: a literature review
- The broken promise of static typing
- 버그가 적은 프로그래밍은, 그 언어의 정적 타입 체킹 유무에 따르는 것이 아니라, 프로그래밍의 복잡도를 얼마나 낮춰줄 수 있는 언어인가에 달려 있다는 주장
- 정적 타입 체킹 기능이 중요하지 않다는 이야기가 아니라, 실제에 비해 그 효용이 지나치게 과대평가되어 있다는 의미
- 단순한 언어들의 공통점
- No manual memory management
- No mutex-based concurrency
- No classes
- No inheritance
- No complex type system
- No multiparadigm
- Not a lot of syntax
- Not academic
- 정적타입vs동적타입?? 단순한 언어가 최고!!