Skip to content

YoungHaKim7/Ada_Lang

Repository files navigation


alire

https://alire.ada.dev/

VSCode Ada Debugging

https://gist.github.com/1ma/8453a224ab3ba427ae746fd56a4893c4


Ada .gitignore

https://github.com/github/gitignore

/obj/
/bin/
/alire/
/config/
# Object file
*.o

# Ada Library Information
*.ali

Ada 전용 에디터 ^^

https://github.com/AdaCore/gnatstudio/releases

alr __ Ada Hello World

https://ada-lang.io/docs/learn/tutorial/hello-world


  • Alire will generate you a new project. You want to start, or initialize (init), a new project which runs an executable, which is also called a binary (bin).

$ alr init --bin my_hello_world




Ada Language Server

https://github.com/AdaCore/ada_language_server

Ada Vim Setting

https://vimhelp.org/ft_ada.txt.html#ada.vim

LSP settings

https://github.com/thindil/vim-ada

  • ident 세팅부터 맘에 드는 plugIn이 많다. ㅎ

  • help vim and ada language

https://www.reddit.com/r/vim/comments/kyjx67/help_vim_and_ada_language_coc/


Ada VIm Setting 2 여기가 잘 정리됨

https://github.com/thindil/vim-ada



debugger 1

https://github.com/idanarye/vim-vebugger


vebuger screencast

https://vimeo.com/95775461




Ada Compiler Web

coding_ground_online_Ada_Compiler


Learn Ada core

Introduction to Ada



Learn Ada core 2

  • AdaCore U Video Tutorials

https://youtube.com/playlist?list=PLkoa8uxigENkneyEEeDWVPgpMhPc9IJ7o


Learn Ada 3(alire, alr)

https://github.com/alire-project/alire/blob/master/doc/getting-started.md


WindowsOS touch 랑 비슷한 기능

$ echo $null >> hello.adb

Ada_Lang Compile

주의할 점 intel CPU에서만 되는것 같다. ㅠㅠ intel이 아닌 컴퓨터에서는 위에 있는 Ada Compiler Web을 이용해 연습하자 !!


build.sh

#!/bin/bash

gcc -c hello.adb
gnatbind -x hello.ali
gnatlink hello.ali -o hello
./hello.exe

hello.adb 예시 코드

with Ada.Text_IO; use Ada.Text_IO;

procedure Hello is
begin
    -- Print "Hello, World! Ada Lang" to the screen
    Ada.Text_IO.Put_Line ("Hello, World ! Ada Lang");
end Hello;


Windows .sh build 사용하는 방법

  1. choco 에서 git 설치하기

PowerShell에서 실행

$ choco install git

  1. Path 설정 - 윈도우 환경변수 설정
C:\Program Files\Git\bin
  1. 내가 만든 build.sh 가서
$ sh ./build.sh

build.sh 파일 예시

#!/bin/bash

gcc -c hello.adb
gnatbind -x hello.ali
gnatlink hello.ali -o hello
./hello.exe

rm -rf *.ali
rm -rf *.o

Ada to Rust

gpr-rust Gpr-Rust is a Rust binding for gpr. its goal is to provide an easy way to integrate Ada sources into the Rust build process. It allows to select and build a GNAT project file by parsing the project and providing all required information to call gprbuild and link the resulting library.


- https://blog.adacore.com/adding-ada-to-rust

https://blog.adacore.com/adding-ada-to-rust


  • Rust binding for gpr

https://github.com/jklmnn/gpr-rust


내가 공부하려고 만든 영상

  • Ada한글_강의001_HelloWorld_Ada 안전한 언어 #ada

https://youtu.be/zwFgGOSQL84




모든 언어를 무료로 공부할 수 있다.

출처 : stackoverflow.com 알게 된 링크

역시 갓 스택 오버플로우

https://stackoverflow.com/questions/38683512/why-git-shallow-clone-can-have-more-commits-than-depth/38683775#38683775

  • Github 주소

https://github.com/EbookFoundation/free-programming-books

  • EbookFoundation

https://ebookfoundation.github.io/free-programming-books/



About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published