• Feed
  • Discussions
OCalm

OCalm

#ocalm
0 followers·1 articles

OCalm

#ocalm·0 followers·1 articles
OCalm
Gyuhang Shim
Gyuhang Shim
plto001.hashnode.dev·Sep 16, 2024
Sep 16, 2024

Soundness of Programming Languages (Korean)

Programming Language 차원의 Soundness 와 Completeness Programming 언어의 Soundness 는 언어의 Type System 의 안정성과 신뢰성을 나타내는 개념입니다. 즉, 언어의 Type System 이 Program 의 Type 관련 오류를 모두 잡아낼 수 있다면, 그 언어는 “Sound 하다” 라고 합니다. 이는 Programming Language 가 제공하는 Satety 와 Correct...

Soundness of Programming Languages (Korean)
Discuss·36 reads
OCalm

Changelog

New steps component and improved accessibility on Hashnode's blog and docs product.

New steps component and improved accessibility on Hashnode's blog and docs product.

Nov 05, 2024·
new

Trending Articles

Revolutionizing Decentralized Finance on TON: The Tech Behind Seamless Liquidity and Cross-Chain Swaps.

Patience Uyire·46 reads

Life2App: Redefining Engagement in the New Economy.

Patience Uyire·63 reads

Reimagining Mobile Wallets: The Future of Finance in a Decentralized Web3 World.

Patience Uyire·65 reads

Top commenters this week

Writing Challenges

Melisa Parker
Melisa Parker
Edward D. Cornett
Edward D. Cornett
Clarence
Clarence
Le Li
Le Li
Mayank Arora
Mayank Arora
#2Articles1Week Challenge

Become better at technical writing; accept Hashnode's writing challenge for four weeks.

#2Articles1Week Challenge
#WomenWhoTech

Share your story, achievements, or experiences as a woman, non-binary folk in tech or as a #WomenWhoTech ally!

#WomenWhoTech
Self Starter

Publish your first article on Hashnode and become a self starter!

Self Starter
Serial Blogger

Publish an article every day for 7 days and earn a cool serial blogger badge!

Serial Blogger
Talk of the town

Write a story that drives amazing engagement on Hashnode and become the talk of the town!

Talk of the town
Word Warrior

Write an in-depth article on your Hashnode blog that's more than 2000 words and become a word warrior!

Word Warrior